-
A framework for developing a knowledge management platform
Authors:
Marie Lisandra Zepeda Mendoza,
Sonali Agarwal,
James A. Blackshaw,
Vanesa Bol,
Audrey Fazzi,
Filippo Fiorini,
Amy Louise Foreman,
Nancy George,
Brett R. Johnson,
Brian Martin,
Dave McComb,
Euphemia Mutasa-Gottgens,
Helen Parkinson,
Martin Romacker,
Rolf Russell,
Valérien Ségard,
Shawn Zheng Kai Tan,
Wei Kheng Teh,
F. P. Winstanley,
Benedict Wong,
Adrian M. Smith
Abstract:
Knowledge management (KM) involves collecting, organizing, storing, and disseminating information to improve decision-making, innovation, and performance. Implementing KM at scale has become essential for organizations to effectively leverage vast accessible data. This paper is a compilation of concepts that emerged from KM workshops hosted by EMBL-EBI, attended by SMEs and industry. We provide gu…
▽ More
Knowledge management (KM) involves collecting, organizing, storing, and disseminating information to improve decision-making, innovation, and performance. Implementing KM at scale has become essential for organizations to effectively leverage vast accessible data. This paper is a compilation of concepts that emerged from KM workshops hosted by EMBL-EBI, attended by SMEs and industry. We provide guidance on envisioning, executing, evaluating, and evolving knowledge management platforms. We emphasize essential considerations such as setting knowledge domain boundaries and measuring success, as well as the importance of making knowledge accessible for downstream applications and non-computational users and highlights necessary personal and organizational skills for success. We stress the importance of collaboration and the need for convergence on shared principles and commitment to provide or seek resources to advance KM. The community is invited to join the journey of KM and contribute to the advancement of the field by applying and improving on the guidelines described.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
The subgroup structure of pseudo-reductive groups
Authors:
Michael Bate,
Ben Martin,
Gerhard Röhrle,
Damian Sercombe
Abstract:
Let $k$ be a field. We investigate the relationship between subgroups of a pseudo-reductive $k$-group $G$ and its maximal reductive quotient $G'$, with applications to the subgroup structure of $G$. Let $k'/k$ be the minimal field of definition for the geometric unipotent radical of $G$, and let $π':G_{k'} \to G'$ be the quotient map. We first characterise those smooth subgroups $H$ of $G$ for whi…
▽ More
Let $k$ be a field. We investigate the relationship between subgroups of a pseudo-reductive $k$-group $G$ and its maximal reductive quotient $G'$, with applications to the subgroup structure of $G$. Let $k'/k$ be the minimal field of definition for the geometric unipotent radical of $G$, and let $π':G_{k'} \to G'$ be the quotient map. We first characterise those smooth subgroups $H$ of $G$ for which $π'(H_{k'})=G'$. We next consider the following questions: given a subgroup $H'$ of $G'$, does there exist a subgroup $H$ of $G$ such that $π'(H_{k'})=H'$, and if $H'$ is smooth can we find such a $H$ that is smooth? We find sufficient conditions for a positive answer to these questions. In general there are various obstructions to the existence of such a subgroup $H$, which we illustrate with several examples. Finally, we apply these results to relate the maximal smooth subgroups of $G$ with those of $G'$.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
The PLATO Mission
Authors:
Heike Rauer,
Conny Aerts,
Juan Cabrera,
Magali Deleuil,
Anders Erikson,
Laurent Gizon,
Mariejo Goupil,
Ana Heras,
Jose Lorenzo-Alvarez,
Filippo Marliani,
Cesar Martin-Garcia,
J. Miguel Mas-Hesse,
Laurence O'Rourke,
Hugh Osborn,
Isabella Pagano,
Giampaolo Piotto,
Don Pollacco,
Roberto Ragazzoni,
Gavin Ramsay,
Stéphane Udry,
Thierry Appourchaux,
Willy Benz,
Alexis Brandeker,
Manuel Güdel,
Eduardo Janot-Pacheco
, et al. (801 additional authors not shown)
Abstract:
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati…
▽ More
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution.
The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
On Differential and Riemannian Calculus on Wasserstein Spaces
Authors:
André Magalhães de Sá Gomes,
Christian S. Rodrigues,
Luiz A. B. San Martin
Abstract:
In this paper we develop an intrinsic formalism to study the topology, smooth structure, and Riemannian geometry of the Wasserstein space of a closed Riemannian manifold. Our formalism allows for a new characterisation of the Weak topology via convergent sequences of the subjacent space. Applying it we also provide a new proof that Wasserstein spaces of closed manifolds are geodesically convex. Ou…
▽ More
In this paper we develop an intrinsic formalism to study the topology, smooth structure, and Riemannian geometry of the Wasserstein space of a closed Riemannian manifold. Our formalism allows for a new characterisation of the Weak topology via convergent sequences of the subjacent space. Applying it we also provide a new proof that Wasserstein spaces of closed manifolds are geodesically convex. Our framework is particularly handy to address the Wasserstein spaces of compact Lie groups, where we refine our formalism and present an explicit example.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Enhancing Exoplanet Ephemerides by Leveraging Professional and Citizen Science Data: A Test Case with WASP-77A b
Authors:
Federico R. Noguer,
Suber Corley,
Kyle A. Pearson,
Robert T. Zellem,
Molly N. Simon,
Jennifer A. Burt,
Isabela Huckabee,
Prune C. August,
Megan Weiner Mansfield,
Paul A. Dalba,
Peter C. B. Smith,
Timothy Banks,
Ira Bell,
Dominique Daniel,
Lindsay Dawson,
Jesús De Mula,
Marc Deldem,
Dimitrios Deligeorgopoulos,
Romina P. Di Sisto,
Roger Dymock,
Phil Evans,
Giulio Follero,
Martin J. F. Fowler,
Eduardo Fernández-Lajús,
Alex Hamrick
, et al. (20 additional authors not shown)
Abstract:
We present an updated ephemeris and physical parameters for the exoplanet WASP-77 A b. In this effort, we combine 64 ground- and space-based transit observations, 6 space-based eclipse observations, and 32 radial velocity observations to produce the most precise orbital solution to date for this target, aiding in the planning of James Webb Space Telescope (JWST) and Ariel observations and atmosphe…
▽ More
We present an updated ephemeris and physical parameters for the exoplanet WASP-77 A b. In this effort, we combine 64 ground- and space-based transit observations, 6 space-based eclipse observations, and 32 radial velocity observations to produce the most precise orbital solution to date for this target, aiding in the planning of James Webb Space Telescope (JWST) and Ariel observations and atmospheric studies. We report a new orbital period of 1.360029395 +- 5.7e-8 days, a new mid-transit time of 2459957.337860 +- 4.3e-5 BJDTDB (Barycentric Julian Date in the Barycentric Dynamical Time scale; arXiv:1005.4415) and a new mid-eclipse time of 2459956.658192 +- 6.7e-5 BJDTDB. Furthermore, the methods presented in this study reduce the uncertainties in the planet mass to 1.6654 +- 4.5e-3 Mjup and orbital period to 1.360029395 +- 5.7e-8 days by factors of 15.1 and 10.9, respectively. Through a joint fit analysis comparison of transit data taken by space-based and citizen science-led initiatives, our study demonstrates the power of including data collected by citizen scientists compared to a fit of the space-based data alone. Additionally, by including a vast array of citizen science data from ExoClock, Exoplanet Transit Database (ETD), and Exoplanet Watch, we can increase our observational baseline and thus acquire better constraints on the forward propagation of our ephemeris than what is achievable with TESS data alone.
△ Less
Submitted 4 June, 2024; v1 submitted 29 May, 2024;
originally announced May 2024.
-
Confirmation and Characterization of the Eccentric, Warm Jupiter TIC 393818343 b with a Network of Citizen Scientists
Authors:
Lauren A. Sgro,
Paul A. Dalba,
Thomas M. Esposito,
Franck Marchis,
Diana Dragomir,
Steven Villanueva Jr.,
Benjamin Fulton,
Mario Billiani,
Margaret Loose,
Nicola Meneghelli,
Darren Rivett,
Fadi Saibi,
Sophie Saibi,
Bryan Martin,
Georgios Lekkas,
Daniel Zaharevitz,
Robert T. Zellem,
Ivan A. Terentev,
Robert Gagliano,
Thomas Lee Jacobs,
Martti H. Kristiansen,
Daryll M. LaCourse,
Mark Omohundro,
Hans M. Schwengeler
Abstract:
NASA's Transiting Exoplanet Survey Satellite (TESS) has identified over 7,000 candidate exoplanets via the transit method, with gas giants among the most readily detected due to their large radii. Even so, long intervals between TESS observations for much of the sky lead to candidates for which only a single transit is detected in one TESS sector, leaving those candidate exoplanets with unconstrai…
▽ More
NASA's Transiting Exoplanet Survey Satellite (TESS) has identified over 7,000 candidate exoplanets via the transit method, with gas giants among the most readily detected due to their large radii. Even so, long intervals between TESS observations for much of the sky lead to candidates for which only a single transit is detected in one TESS sector, leaving those candidate exoplanets with unconstrained orbital periods. Here, we confirm the planetary nature of TIC 393818343 b, originally identified via a single TESS transit, using radial velocity data and ground-based photometric observations from citizen scientists with the Unistellar Network and Exoplanet Watch. We determine a period of $P$ = 16.24921 $\substack{+0.00010 \\ -0.00011}$ days, a mass $M_{P}$ = 4.34 $\pm$ 0.15 $M_{J}$, and semi-major axis $a$ = 0.1291 $\substack{+0.0021 \\ -0.0022}$ au, placing TIC 393818343 b in the "warm Jupiter" population of exoplanets. With an eccentricity $e$ = 0.6058 $\pm$ 0.0023, TIC 393818343 b is the most eccentric warm Jupiter to be discovered by TESS orbiting less than 0.15 au from its host star and therefore an excellent candidate for follow-up, as it may inform our future understanding of how hot and warm Jupiter populations are linked.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
PLUTO: Pathology-Universal Transformer
Authors:
Dinkar Juyal,
Harshith Padigela,
Chintan Shah,
Daniel Shenker,
Natalia Harguindeguy,
Yi Liu,
Blake Martin,
Yibo Zhang,
Michael Nercessian,
Miles Markey,
Isaac Finberg,
Kelsey Luu,
Daniel Borders,
Syed Ashar Javed,
Emma Krause,
Raymond Biju,
Aashish Sood,
Allen Ma,
Jackson Nyman,
John Shamshoian,
Guillaume Chhor,
Darpan Sanghavi,
Marc Thibault,
Limin Yu,
Fedaa Najdawi
, et al. (8 additional authors not shown)
Abstract:
Pathology is the study of microscopic inspection of tissue, and a pathology diagnosis is often the medical gold standard to diagnose disease. Pathology images provide a unique challenge for computer-vision-based analysis: a single pathology Whole Slide Image (WSI) is gigapixel-sized and often contains hundreds of thousands to millions of objects of interest across multiple resolutions. In this wor…
▽ More
Pathology is the study of microscopic inspection of tissue, and a pathology diagnosis is often the medical gold standard to diagnose disease. Pathology images provide a unique challenge for computer-vision-based analysis: a single pathology Whole Slide Image (WSI) is gigapixel-sized and often contains hundreds of thousands to millions of objects of interest across multiple resolutions. In this work, we propose PathoLogy Universal TransfOrmer (PLUTO): a light-weight pathology FM that is pre-trained on a diverse dataset of 195 million image tiles collected from multiple sites and extracts meaningful representations across multiple WSI scales that enable a large variety of downstream pathology tasks. In particular, we design task-specific adaptation heads that utilize PLUTO's output embeddings for tasks which span pathology scales ranging from subcellular to slide-scale, including instance segmentation, tile classification, and slide-level prediction. We compare PLUTO's performance to other state-of-the-art methods on a diverse set of external and internal benchmarks covering multiple biologically relevant tasks, tissue types, resolutions, stains, and scanners. We find that PLUTO matches or outperforms existing task-specific baselines and pathology-specific foundation models, some of which use orders-of-magnitude larger datasets and model sizes when compared to PLUTO. Our findings present a path towards a universal embedding to power pathology image analysis, and motivate further exploration around pathology foundation models in terms of data diversity, architectural improvements, sample efficiency, and practical deployability in real-world applications.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
The Extremely Metal-Poor SN 2023ufx: A Local Analog to High-Redshift Type II Supernovae
Authors:
Michael A. Tucker,
Jason Hinkle,
Charlotte R. Angus,
Katie Auchettl,
Willem B. Hoogendam,
Benjamin Shappee,
Christopher S. Kochanek,
Chris Ashall,
Thomas de Boer,
Kenneth C. Chambers,
Dhvanil D. Desai,
Aaron Do,
Michael D. Fulton,
Hua Gao,
Joanna Herman,
Mark Huber,
Chris Lidman,
Chien-Cheng Lin,
Thomas B. Lowe,
Eugene A. Magnier,
Bailey Martin,
Paloma Minguez,
Matt Nicholl,
Miika Pursiainen,
S. J. Smartt
, et al. (4 additional authors not shown)
Abstract:
We present extensive observations of the Type II supernova (SN II) 2023ufx which is likely the most metal-poor SN II observed to-date. It exploded in the outskirts of a low-metallicity ($Z_{\rm host} \sim 0.1~Z_\odot$) dwarf ($M_g = -13.23\pm0.15$~mag; $r_e\sim 1$~kpc) galaxy. The explosion is luminous, peaking at $M_g\approx -18.5~$mag, and shows rapid evolution. The $r$-band (pseudo-bolometric)…
▽ More
We present extensive observations of the Type II supernova (SN II) 2023ufx which is likely the most metal-poor SN II observed to-date. It exploded in the outskirts of a low-metallicity ($Z_{\rm host} \sim 0.1~Z_\odot$) dwarf ($M_g = -13.23\pm0.15$~mag; $r_e\sim 1$~kpc) galaxy. The explosion is luminous, peaking at $M_g\approx -18.5~$mag, and shows rapid evolution. The $r$-band (pseudo-bolometric) light curve has a shock-cooling phase lasting 20 (17) days followed by a 19 (23)-day plateau. The entire optically-thick phase lasts only $\approx 55~$days following explosion, indicating that the red supergiant progenitor had a thinned H envelope prior to explosion. The early spectra obtained during the shock-cooling phase show no evidence for narrow emission features and limit the pre-explosion mass-loss rate to $\dot{M} \lesssim 10^{-3}~\rm M_\odot$/yr. The photospheric-phase spectra are devoid of prominent metal absorption features, indicating a progenitor metallicity of $\lesssim 0.1~Z_\odot$. The semi-nebular ($\sim 60-130~$d) spectra reveal weak Fe II, but other metal species typically observed at these phases (Ti II, Sc II, Ba II) are conspicuously absent. The late-phase optical and near-infrared spectra also reveal broad ($\approx 10^4~\rm{km}~\rm s^{-1}$) double-peaked H$α$, P$β$, and P$γ$ emission profiles suggestive of a fast outflow launched during the explosion. Outflows are typically attributed to rapidly-rotating progenitors which also prefer metal-poor environments. This is only the second SN II with $\lesssim 0.1~Z_\odot$ and both exhibit peculiar evolution, suggesting a sizable fraction of metal-poor SNe II have distinct properties compared to nearby metal-enriched SNe II. These observations lay the groundwork for modeling the metal-poor SNe II expected in the early Universe.
△ Less
Submitted 30 April, 2024;
originally announced May 2024.
-
NOISe: Nuclei-Aware Osteoclast Instance Segmentation for Mouse-to-Human Domain Transfer
Authors:
Sai Kumar Reddy Manne,
Brendan Martin,
Tyler Roy,
Ryan Neilson,
Rebecca Peters,
Meghana Chillara,
Christine W. Lary,
Katherine J. Motyl,
Michael Wan
Abstract:
Osteoclast cell image analysis plays a key role in osteoporosis research, but it typically involves extensive manual image processing and hand annotations by a trained expert. In the last few years, a handful of machine learning approaches for osteoclast image analysis have been developed, but none have addressed the full instance segmentation task required to produce the same output as that of th…
▽ More
Osteoclast cell image analysis plays a key role in osteoporosis research, but it typically involves extensive manual image processing and hand annotations by a trained expert. In the last few years, a handful of machine learning approaches for osteoclast image analysis have been developed, but none have addressed the full instance segmentation task required to produce the same output as that of the human expert led process. Furthermore, none of the prior, fully automated algorithms have publicly available code, pretrained models, or annotated datasets, inhibiting reproduction and extension of their work. We present a new dataset with ~2*10^5 expert annotated mouse osteoclast masks, together with a deep learning instance segmentation method which works for both in vitro mouse osteoclast cells on plastic tissue culture plates and human osteoclast cells on bone chips. To our knowledge, this is the first work to automate the full osteoclast instance segmentation task. Our method achieves a performance of 0.82 mAP_0.5 (mean average precision at intersection-over-union threshold of 0.5) in cross validation for mouse osteoclasts. We present a novel nuclei-aware osteoclast instance segmentation training strategy (NOISe) based on the unique biology of osteoclasts, to improve the model's generalizability and boost the mAP_0.5 from 0.60 to 0.82 on human osteoclasts. We publish our annotated mouse osteoclast image dataset, instance segmentation models, and code at github.com/michaelwwan/noise to enable reproducibility and to provide a public tool to accelerate osteoporosis research.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Graph Homomorphism, Monotone Classes and Bounded Pathwidth
Authors:
Tala Eagling-Vose,
Barnaby Martin,
Daniel Paulusma,
Mark Siggers,
Siani Smith
Abstract:
A recent paper describes a framework for studying the computational complexity of graph problems on monotone classes, that is those omitting a set of graphs as a subgraph. If the problems lie in the framework, and many do, then the computational complexity can be described for all monotone classes defined by a finite set of omitted subgraphs. It is known that certain homomorphism problems, e.g.…
▽ More
A recent paper describes a framework for studying the computational complexity of graph problems on monotone classes, that is those omitting a set of graphs as a subgraph. If the problems lie in the framework, and many do, then the computational complexity can be described for all monotone classes defined by a finite set of omitted subgraphs. It is known that certain homomorphism problems, e.g. $C_5$-Colouring, do not sit in the framework. By contrast, we show that the more general problem of Graph Homomorphism does sit in the framework.
The original framework had examples where hard versus easy were NP-complete versus P, or at least quadratic versus almost linear. We give the first example of a problem in the framework such that hardness is in the polynomial hierarchy above NP. Considering a variant of the colouring game as studied by Bodlaender, we show that with the restriction of bounded alternation, the list version of this problem is contained in the framework. The hard cases are $Π_{2k}^\mathrm{P}$-complete and the easy cases are in P.
The cases in P comprise those classes for which the pathwidth is bounded. Bodlaender explains that Sequential $3$-Colouring Construction Game is in P on classes with bounded vertex separation number, which coincides with bounded pathwidth on unordered graphs. However, these graphs are ordered with a playing order for the two players, which corresponds to a prefix pattern in a quantified formula. We prove that Sequential $3$-Colouring Construction Game is Pspace-complete on some class of bounded pathwidth, using a celebrated result of Atserias and Oliva.
We consider several locally constrained variants of the homomorphism problem. Like $C_5$-Colouring, none of these is in the framework. However, when we consider the bounded-degree restrictions, we prove that each of these problems is in our framework.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
A Hormetic Approach to the Value-Loading Problem: Preventing the Paperclip Apocalypse?
Authors:
Nathan I. N. Henry,
Mangor Pedersen,
Matt Williams,
Jamin L. B. Martin,
Liesje Donkin
Abstract:
The value-loading problem is a significant challenge for researchers aiming to create artificial intelligence (AI) systems that align with human values and preferences. This problem requires a method to define and regulate safe and optimal limits of AI behaviors. In this work, we propose HALO (Hormetic ALignment via Opponent processes), a regulatory paradigm that uses hormetic analysis to regulate…
▽ More
The value-loading problem is a significant challenge for researchers aiming to create artificial intelligence (AI) systems that align with human values and preferences. This problem requires a method to define and regulate safe and optimal limits of AI behaviors. In this work, we propose HALO (Hormetic ALignment via Opponent processes), a regulatory paradigm that uses hormetic analysis to regulate the behavioral patterns of AI. Behavioral hormesis is a phenomenon where low frequencies of a behavior have beneficial effects, while high frequencies are harmful. By modeling behaviors as allostatic opponent processes, we can use either Behavioral Frequency Response Analysis (BFRA) or Behavioral Count Response Analysis (BCRA) to quantify the hormetic limits of repeatable behaviors. We demonstrate how HALO can solve the 'paperclip maximizer' scenario, a thought experiment where an unregulated AI tasked with making paperclips could end up converting all matter in the universe into paperclips. Our approach may be used to help create an evolving database of 'values' based on the hedonic calculus of repeatable behaviors with decreasing marginal utility. This positions HALO as a promising solution for the value-loading problem, which involves embedding human-aligned values into an AI system, and the weak-to-strong generalization problem, which explores whether weak models can supervise stronger models as they become more intelligent. Hence, HALO opens several research avenues that may lead to the development of a computational value system that allows an AI algorithm to learn whether the decisions it makes are right or wrong.
△ Less
Submitted 13 February, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
$G$-complete reducibility and saturation
Authors:
Michael Bate,
Sören Böhm,
Alastair Litterick,
Benjamin Martin,
Gerhard Roehrle
Abstract:
Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first principal theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our second main th…
▽ More
Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first principal theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our second main theorem shows that if $K$ is $H$-completely reducible, then the saturation of $K$ in $G$ is completely reducible in the saturation of $H$ in $G$ (which is again a connected reductive subgroup of $G$), under suitable restrictions on $p$, again generalising the known instance for $G = GL(V)$. We also study saturation of finite subgroups of Lie type in $G$. We show that saturation is compatible with standard Frobenius endomorphisms, and we use this to generalise a result due to Nori from 1987 in case $G = GL(V)$.
△ Less
Submitted 27 March, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
HiER: Highlight Experience Replay for Boosting Off-Policy Reinforcement Learning Agents
Authors:
Dániel Horváth,
Jesús Bujalance Martín,
Ferenc Gábor Erdős,
Zoltán Istenes,
Fabien Moutarde
Abstract:
Even though reinforcement-learning-based algorithms achieved superhuman performance in many domains, the field of robotics poses significant challenges as the state and action spaces are continuous, and the reward function is predominantly sparse. Furthermore, on many occasions, the agent is devoid of access to any form of demonstration. Inspired by human learning, in this work, we propose a metho…
▽ More
Even though reinforcement-learning-based algorithms achieved superhuman performance in many domains, the field of robotics poses significant challenges as the state and action spaces are continuous, and the reward function is predominantly sparse. Furthermore, on many occasions, the agent is devoid of access to any form of demonstration. Inspired by human learning, in this work, we propose a method named highlight experience replay (HiER) that creates a secondary highlight replay buffer for the most relevant experiences. For the weights update, the transitions are sampled from both the standard and the highlight experience replay buffer. It can be applied with or without the techniques of hindsight experience replay (HER) and prioritized experience replay (PER). Our method significantly improves the performance of the state-of-the-art, validated on 8 tasks of three robotic benchmarks. Furthermore, to exploit the full potential of HiER, we propose HiER+ in which HiER is enhanced with an arbitrary data collection curriculum learning method. Our implementation, the qualitative results, and a video presentation are available on the project site: http://www.danielhorvath.eu/hier/.
△ Less
Submitted 9 July, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
The Fundamental Limits of Light-Wave Sensing for Non-Contact Respiration Monitoring
Authors:
Brenden Martin,
Md Zobaer Islam,
Carly Gotcher,
Tyler Martinez,
Sabit Ekin,
John F. O'Hara
Abstract:
An experimental testbed has been constructed to assess the capabilities of Light-Wave Sensing, a promising new vitals monitoring approach. A Light-Wave Sensing apparatus utilizes infrared radiation to contactlessly monitor the subtle respiratory motions of a subject from meters away. A respiration-simulating robot was programmed to produce controllable, humanlike chest displacement patterns for ac…
▽ More
An experimental testbed has been constructed to assess the capabilities of Light-Wave Sensing, a promising new vitals monitoring approach. A Light-Wave Sensing apparatus utilizes infrared radiation to contactlessly monitor the subtle respiratory motions of a subject from meters away. A respiration-simulating robot was programmed to produce controllable, humanlike chest displacement patterns for accuracy analysis. Estimation of respiration rate within tenths of a breath per minute has been demonstrated with the testbed, establishing the tenability of the method for use in commercial non-contact respiration monitoring equipment, and setting practical expectations on the usable range of this sensing modality. An analytical model is then presented to guide hardware selection, and used to derive the absolute range limitations of Light-Wave Sensing.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
Respiratory Anomaly Detection using Reflected Infrared Light-wave Signals
Authors:
Md Zobaer Islam,
Brenden Martin,
Carly Gotcher,
Tyler Martinez,
John F. O'Hara,
Sabit Ekin
Abstract:
In this study, we present a non-contact respiratory anomaly detection method using incoherent light-wave signals reflected from the chest of a mechanical robot that can breathe like human beings. In comparison to existing radar and camera-based sensing systems for vitals monitoring, this technology uses only a low-cost ubiquitous infrared light source and sensor. This light-wave sensing system rec…
▽ More
In this study, we present a non-contact respiratory anomaly detection method using incoherent light-wave signals reflected from the chest of a mechanical robot that can breathe like human beings. In comparison to existing radar and camera-based sensing systems for vitals monitoring, this technology uses only a low-cost ubiquitous infrared light source and sensor. This light-wave sensing system recognizes different breathing anomalies from the variations of light intensity reflected from the chest of the robot within a 0.5m-1.5m range with an average classification accuracy of up to 96.6% using machine learning.
△ Less
Submitted 22 April, 2024; v1 submitted 2 November, 2023;
originally announced November 2023.
-
Reaction Theory
Authors:
Brady J. Martin,
Wayne N. Polyzou
Abstract:
Background: Nuclear reactions are complex, with a large number of possible channels. Understanding how different channels contribute to a given reaction is investigated by perturbing the continuous spectrum.
Purpose: To develop tools to investigate reaction mechanisms by identifying the contributions from each reaction channel.
Method: Cluster decomposition methods, along with the spectral the…
▽ More
Background: Nuclear reactions are complex, with a large number of possible channels. Understanding how different channels contribute to a given reaction is investigated by perturbing the continuous spectrum.
Purpose: To develop tools to investigate reaction mechanisms by identifying the contributions from each reaction channel.
Method: Cluster decomposition methods, along with the spectral theory of proper subsystem problems, is used to identify the part of the nuclear Hamiltonian responsible for scattering into each channel.
Results: The result is an expression of the nuclear Hamiltonian as a sum over all scattering channels of channel Hamiltonians. Each channel Hamiltonian is constructed from solutions of proper subsystem problems. Retaining any subset of channel Hamiltonians results in a truncated Hamiltonian where the scattering wave functions for the retained channels differ from the wave functions of the full Hamiltonian by $N$-body correlations. The scattering operator for the truncated Hamiltonian satisfies an optical theorem in the retained channels. Because different channel Hamiltonians do not commute, how they interact determines their contribution to the full dynamics.
△ Less
Submitted 26 June, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Music Augmentation and Denoising For Peak-Based Audio Fingerprinting
Authors:
Kamil Akesbi,
Dorian Desblancs,
Benjamin Martin
Abstract:
Audio fingerprinting is a well-established solution for song identification from short recording excerpts. Popular methods rely on the extraction of sparse representations, generally spectral peaks, and have proven to be accurate, fast, and scalable to large collections. However, real-world applications of audio identification often happen in noisy environments, which can cause these systems to fa…
▽ More
Audio fingerprinting is a well-established solution for song identification from short recording excerpts. Popular methods rely on the extraction of sparse representations, generally spectral peaks, and have proven to be accurate, fast, and scalable to large collections. However, real-world applications of audio identification often happen in noisy environments, which can cause these systems to fail. In this work, we tackle this problem by introducing and releasing a new audio augmentation pipeline that adds noise to music snippets in a realistic way, by stochastically mimicking real-world scenarios. We then propose and release a deep learning model that removes noisy components from spectrograms in order to improve peak-based fingerprinting systems' accuracy. We show that the addition of our model improves the identification performance of commonly used audio fingerprinting systems, even under noisy conditions.
△ Less
Submitted 29 October, 2023; v1 submitted 20 October, 2023;
originally announced October 2023.
-
The inhomogeneous multispecies PushTASEP: Dynamics and symmetry
Authors:
Arvind Ayyer,
James B. Martin
Abstract:
We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using tim…
▽ More
We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
Detection of the 2021 Outburst of RS Ophiuchi with the LST-1
Authors:
Yukiho Kobayashi,
Arnau Aguasca-Cabot,
María Isabel Bernardos Martín,
David Green,
Rubén López-Coto
Abstract:
Novae are luminous explosions in close binaries which host a white dwarf and a companion donor star. They are triggered by a thermonuclear runaway when the white dwarf accretes a critical amount of matter from the secondary. Though novae are established as high-energy gamma-ray emitters through observations by the Fermi Large Area Telescope (LAT), the origin of the gamma-ray emission, whether it i…
▽ More
Novae are luminous explosions in close binaries which host a white dwarf and a companion donor star. They are triggered by a thermonuclear runaway when the white dwarf accretes a critical amount of matter from the secondary. Though novae are established as high-energy gamma-ray emitters through observations by the Fermi Large Area Telescope (LAT), the origin of the gamma-ray emission, whether it is hadronic or leptonic, had been under intense debate until very recently. RS Ophiuchi (RS Oph) is a well-known recurrent symbiotic nova with a recurrence time scale of 15 years. The most recent outburst of RS Oph in 2021 brought the first detection of very-high-energy (VHE) gamma rays from a nova ever. The first Large-Sized Telescope prototype (LST-1) of the Cherenkov Telescope Array observed this historic event along with H.E.S.S. and MAGIC. The LST-1 observations in the first days after the burst onset show a clear VHE gamma-ray signal from RS Oph. The low energy threshold of LST-1 allows us to reconstruct the RS Oph gamma-ray spectrum down to $\sim$30 GeV, providing the best connection of the VHE gamma-ray data to the Fermi LAT energy range. The results from the analysis of the LST-1 observations are consistent with those obtained with H.E.S.S. and MAGIC, and also support a hadronic origin for the observed gamma-ray fluxes. In this contribution, we will present the analysis results of the LST-1 observations of the 2021 outburst of RS Oph.
△ Less
Submitted 14 October, 2023;
originally announced October 2023.
-
Reversible primes
Authors:
Cécile Dartyge,
Bruno Martin,
Joël Rivat,
Igor E. Shparlinski,
Cathy Swaenepoel
Abstract:
For an $n$-bit positive integer $a$ written in binary as $$ a = \sum_{j=0}^{n-1} \varepsilon_{j}(a) \,2^j $$ where, $\varepsilon_j(a) \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $\varepsilon_{n-1}(a)=1$, let us define $$ \overleftarrow{a} = \sum_{j=0}^{n-1} \varepsilon_j(a)\,2^{n-1-j}, $$ the digital reversal of $a$. Also let $\mathcal{B}_n = \{2^{n-1}\leq a<2^n:~a \text{ odd}\}.$ With a sieve argumen…
▽ More
For an $n$-bit positive integer $a$ written in binary as $$ a = \sum_{j=0}^{n-1} \varepsilon_{j}(a) \,2^j $$ where, $\varepsilon_j(a) \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $\varepsilon_{n-1}(a)=1$, let us define $$ \overleftarrow{a} = \sum_{j=0}^{n-1} \varepsilon_j(a)\,2^{n-1-j}, $$ the digital reversal of $a$. Also let $\mathcal{B}_n = \{2^{n-1}\leq a<2^n:~a \text{ odd}\}.$ With a sieve argument, we obtain an upper bound of the expected order of magnitude for the number of $p \in \mathcal{B}_n$ such that $p$ and $\overleftarrow{p}$ are prime. We also prove that for sufficiently large $n$, $$ \left|\{a \in \mathcal{B}_n:~ \max \{Ω(a), Ω(\overleftarrow{a})\}\le 8 \}\right| \ge c\, \frac{2^n}{n^2}, $$ where $Ω(n)$ denotes the number of prime factors counted with multiplicity of $n$ and $c > 0$ is an absolute constant. Finally, we provide an asymptotic formula for the number of $n$-bit integers $a$ such that $a$ and $\overleftarrow{a}$ are both squarefree. Our method leads us to provide various estimates for the exponential sum $$ \sum_{a \in \mathcal{B}_n} \exp\left(2πi (αa + \vartheta \overleftarrow{a})\right) \quad(α,\vartheta \in\mathbb{R}). $$
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Approaches to lowering the cost of large space telescopes
Authors:
Ewan S Douglas,
Greg Aldering,
Greg W. Allan,
Ramya Anche,
Roger Angel,
Cameron C. Ard,
Supriya Chakrabarti,
Laird M. Close,
Kevin Derby,
Jerry Edelstein,
John Ford,
Jessica Gersh-Range,
Sebastiaan Y. Haffert,
Patrick J. Ingraham,
Hyukmo Kang,
Douglas M. Kelly,
Daewook Kim,
Michael Lesser,
Jarron M. Leisenring,
Yu-Chia Lin,
Jared R. Males,
Buddy Martin,
Bianca Alondra Payan,
Sai Krishanth P. M.,
David Rubin
, et al. (4 additional authors not shown)
Abstract:
New development approaches, including launch vehicles and advances in sensors, computing, and software, have lowered the cost of entry into space, and have enabled a revolution in low-cost, high-risk Small Satellite (SmallSat) missions. To bring about a similar transformation in larger space telescopes, it is necessary to reconsider the full paradigm of space observatories. Here we will review the…
▽ More
New development approaches, including launch vehicles and advances in sensors, computing, and software, have lowered the cost of entry into space, and have enabled a revolution in low-cost, high-risk Small Satellite (SmallSat) missions. To bring about a similar transformation in larger space telescopes, it is necessary to reconsider the full paradigm of space observatories. Here we will review the history of space telescope development and cost drivers, and describe an example conceptual design for a low cost 6.5 m optical telescope to enable new science when operated in space at room temperature. It uses a monolithic primary mirror of borosilicate glass, drawing on lessons and tools from decades of experience with ground-based observatories and instruments, as well as flagship space missions. It takes advantage, as do large launch vehicles, of increased computing power and space-worthy commercial electronics in low-cost active predictive control systems to maintain stability. We will describe an approach that incorporates science and trade study results that address driving requirements such as integration and testing costs, reliability, spacecraft jitter, and wavefront stability in this new risk-tolerant "LargeSat" context.
△ Less
Submitted 19 October, 2023; v1 submitted 10 September, 2023;
originally announced September 2023.
-
A Cryogenic Tune and Match Circuit for Magnetic Resonance Microscopy at 15.2T
Authors:
Benjamin M. Hardy,
Gary Drake,
Shuyang Chai,
Bibek Dhakal,
Jonathan B. Martin,
Junzhong Xu,
Mark D. Does,
Adam W. Anderson,
Xinqiang Yan,
John C. Gore
Abstract:
Signal to noise ratios (SNR) in magnetic resonance microscopy images are limited by acquisition times and the decreasing number of spins in smaller voxels. Significant SNR gains from cooling of the RF receiver are only realized when the Johnson noise generated within the RF hardware is large compared to the electromagnetic noise produced by the sample. Cryogenic cooling of imaging probes is common…
▽ More
Signal to noise ratios (SNR) in magnetic resonance microscopy images are limited by acquisition times and the decreasing number of spins in smaller voxels. Significant SNR gains from cooling of the RF receiver are only realized when the Johnson noise generated within the RF hardware is large compared to the electromagnetic noise produced by the sample. Cryogenic cooling of imaging probes is common in high field systems but proves difficult to insulate the sample from extreme temperatures. We designed a chamber to cool only the tune and match circuitry to show it is possible to achieve much of the available SNR gain available for cooled coils. We designed a microcoil circuit to resonate at 650 MHz for imaging on a 15.2 T scanner. Surface loops and solenoids of varying diameters were tested to determine the largest diameter coil that demonstrated significant SNR gains from cooling. A liquid N2 cryochamber was designed to cool the circuitry while leaving the RF coil in ambient air. As the cryochamber was filled with liquid N2, Q-factors were measured on the bench while monitoring the coil's surface temperature. Improvements of SNR on images of solutions were demonstrated via cooling the tune and match circuit in the magnet bore. At 650 MHz, loops and solenoids < 3 mm in diameter showed significant improvements in quality factor on the bench. The resistance of the variable capacitors and the coaxial cable were measured to be 45% and 32% of room temperature values near the Larmor frequency. Images obtained with a 2 turn, 3 mm diameter loop with the matching circuit at room temperature and then cooled with liquid nitrogen demonstrated SNR improvements of a factor of 2. By cooling the tune and match circuit and leaving the surface loop in ambient air, SNR was improved by a factor of 2. The results are significant because it allows for more space to insulate the sample from extreme temperatures.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
On the friable mean-value of the Erdős-Hooley Delta function
Authors:
Bruno Martin,
Gérald Tenenbaum,
Julie Wetzer
Abstract:
For integer $n$ and real $u$, define $Δ(n,u):= |\{d : d \mid n,\,{\rm e}^u <d\leqslant {\rm e}^{u+1} \}|$. Then, put $ Δ(n):=\max_{u\in{\mathbb R}} Δ(n,u).$ We provide uniform upper and lower bounds for the mean-value of $Δ(n)$ over friable integers, i.e. integers free of large prime factors.
For integer $n$ and real $u$, define $Δ(n,u):= |\{d : d \mid n,\,{\rm e}^u <d\leqslant {\rm e}^{u+1} \}|$. Then, put $ Δ(n):=\max_{u\in{\mathbb R}} Δ(n,u).$ We provide uniform upper and lower bounds for the mean-value of $Δ(n)$ over friable integers, i.e. integers free of large prime factors.
△ Less
Submitted 28 March, 2024; v1 submitted 7 July, 2023;
originally announced July 2023.
-
An Orbital Solution for WASP-12 b: Updated Ephemeris and Evidence for Decay Leveraging Citizen Science Data
Authors:
Avinash S. Nediyedath,
Martin J. Fowler,
A. Norris,
Shivaraj R. Maidur,
Kyle A. Pearson,
S. Dixon,
P. Lewin,
Andre O. Kovacs,
A. Odasso,
K. Davis,
M. Primm,
P. Das,
Bryan E. Martin,
D. Lalla
Abstract:
NASA Citizen Scientists have used Exoplanet Transit Interpretation Code (EXOTIC) to reduce 40 sets of time-series images of WASP-12 taken by privately owned telescopes and a 6-inch telescope operated by the Center for Astrophysics | Harvard & Smithsonian MicroObservatory (MOBs). Of these sets, 24 result in clean transit light curves of WASP-12 b which are included in the NASA Exoplanet Watch websi…
▽ More
NASA Citizen Scientists have used Exoplanet Transit Interpretation Code (EXOTIC) to reduce 40 sets of time-series images of WASP-12 taken by privately owned telescopes and a 6-inch telescope operated by the Center for Astrophysics | Harvard & Smithsonian MicroObservatory (MOBs). Of these sets, 24 result in clean transit light curves of WASP-12 b which are included in the NASA Exoplanet Watch website. We use priors from the NASA Exoplanet Archive to calculate the ephemeris of the planet and combine it with ETD (Exoplanet Transit Database), ExoClock, and TESS (Transiting Exoplanet Survey Satellite) observations. Combining these datasets gives an updated ephemeris for the WASP-12 b system of 2454508.97923 +/- 0.000051 BJDTDB with an orbital period of 1.09141935 +/- 2.16e-08 days which can be used to inform the efficient scheduling of future space telescope observations. The orbital decay of the planet was found to be -6.89e-10 +/- 4.01e-11 days/epoch. These results show the benefits of long-term observations by amateur astronomers that citizen scientists can analyze to augment the field of Exoplanet research.
△ Less
Submitted 10 November, 2023; v1 submitted 30 June, 2023;
originally announced June 2023.
-
Combining Matrix Product States and Noisy Quantum Computers for Quantum Simulation
Authors:
Baptiste Anselme Martin,
Thomas Ayral,
François Jamet,
Marko J. Rančić,
Pascal Simon
Abstract:
Matrix Product States (MPS) and Operators (MPO) have been proven to be a powerful tool to study quantum many-body systems but are restricted to moderately entangled states as the number of parameters scales exponentially with the entanglement entropy. While MPS can efficiently find ground states of 1D systems, their capacities are limited when simulating their dynamics, where the entanglement can…
▽ More
Matrix Product States (MPS) and Operators (MPO) have been proven to be a powerful tool to study quantum many-body systems but are restricted to moderately entangled states as the number of parameters scales exponentially with the entanglement entropy. While MPS can efficiently find ground states of 1D systems, their capacities are limited when simulating their dynamics, where the entanglement can increase ballistically with time. On the other hand, quantum devices appear as a natural platform to encode and perform the time evolution of correlated many-body states. However, accessing the regime of long-time dynamics is hampered by quantum noise. In this study we use the best of worlds: the short-time dynamics is efficiently performed by MPSs, compiled into short-depth quantum circuits, and is performed further in time on a quantum computer thanks to efficient MPO-optimized quantum circuits. We quantify the capacities of this hybrid classical-quantum scheme in terms of fidelities taking into account a noise model. We show that using classical knowledge in the form of tensor networks provides a way to better use limited quantum resources and lowers drastically the noise requirements to reach a practical quantum advantage. Finally we successfully demonstrate our approach with an experimental realization of the technique. Combined with efficient circuit transpilation we simulate a 10-qubit system on an actual quantum device over a longer time scale than low-bond-dimension MPSs and purely quantum Trotter evolution.
△ Less
Submitted 8 January, 2024; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Edifices: Building-like spaces associated to linear algebraic groups
Authors:
Michael Bate,
Benjamin Martin,
Gerhard Roehrle
Abstract:
Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $Δ_G$, and one can interpret the geometric realisation $Δ_G(\mathbb R)$ of $Δ_G$ in terms of cocharacters of $G$. The aim of this paper is to extend this construction to the case when $G$ is an arbitrary connected linear algebraic group; we call the resulting object $Δ_G(\mathbb R)$ the spherical edifice of $G$. We als…
▽ More
Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $Δ_G$, and one can interpret the geometric realisation $Δ_G(\mathbb R)$ of $Δ_G$ in terms of cocharacters of $G$. The aim of this paper is to extend this construction to the case when $G$ is an arbitrary connected linear algebraic group; we call the resulting object $Δ_G(\mathbb R)$ the spherical edifice of $G$. We also define an object $V_G(\mathbb R)$ which is an analogue of the vector building for a semisimple group; we call $V_G(\mathbb R)$ the vector edifice. The notions of a linear map and an isomorphism between edifices are introduced; we construct some linear maps arising from natural group-theoretic operations. We also devise a family of metrics on $V_G(\mathbb R)$ and show they are all bi-Lipschitz equivalent to each other; with this extra structure, $V_G(\mathbb R)$ becomes a complete metric space. Finally, we present some motivation in terms of geometric invariant theory and variations on the Tits Centre Conjecture.
△ Less
Submitted 1 September, 2023; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
Authors:
Hans L. Bodlaender,
Matthew Johnson,
Barnaby Martin,
Jelle J. Oostveen,
Sukanya Pandey,
Daniel Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the…
▽ More
We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the complexity of Steiner Forest on $H$-subgraph-free graphs remained tantalizingly open. In this paper, we make significant progress towards determining the complexity of Steiner Forest on $H$-subgraph-free graphs. Our main results are four novel polynomial-time algorithms for different excluded graphs $H$ that are central to further understand its complexity. Along the way, we study the complexity of Steiner Forest for graphs with a small $c$-deletion set, that is, a small set $S$ of vertices such that each component of $G-S$ has size at most $c$. Using this parameter, we give two noteworthy algorithms that we later employ as subroutines. First, we prove Steiner Forest is FPT parameterized by $|S|$ when $c=1$ (i.e. the vertex cover number). Second, we prove Steiner Forest is polynomial-time solvable for graphs with a 2-deletion set of size at most 2. The latter result is tight, as the problem is NP-complete for graphs with a 3-deletion set of size 2.
△ Less
Submitted 15 October, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs
Authors:
Matthew Johnson,
Barnaby Martin,
Sukanya Pandey,
Daniël Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work an…
▽ More
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most~$3$ and examine their complexity on $H$-subgraph-free graph classes where $H$ is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems.
We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree $3$. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Complete reducibility for Lie subalgebras and semisimplification
Authors:
Michael Bate,
Sören Böhm,
Benjamin Martin,
Gerhard Roehrle,
Laura Voggesberger
Abstract:
Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$…
▽ More
Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$ of $\mathfrak h$; $\mathfrak h'$ is a Lie subalgebra of $\mathfrak g$ associated to $\mathfrak h$ which is $G$-completely reducible over $k$. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that $\mathfrak h'$ is unique up to $Ad(G(k))$-conjugacy in $\mathfrak g$. Moreover, we prove that the two concepts are compatible: for $H$ a closed subgroup of $G$ and $H'$ a $k$-semisimplification of $H$, the Lie algebra $Lie(H')$ is a $k$-semisimplification of $Lie(H)$.
△ Less
Submitted 26 October, 2023; v1 submitted 1 May, 2023;
originally announced May 2023.
-
Anderson impurity solver integrating tensor network methods with quantum computing
Authors:
Francois Jamet,
Connor Lenihan,
Lachlan P. Lindoy,
Abhishek Agarwal,
Enrico Fontana,
Baptiste Anselme Martin,
Ivan Rungger
Abstract:
Solving the Anderson impurity model typically involves a two-step process, where one first calculates the ground state of the Hamiltonian, and then computes its dynamical properties to obtain the Green's function. Here we propose a hybrid classical/quantum algorithm where the first step is performed using a classical computer to obtain the tensor network ground state as well as its quantum circuit…
▽ More
Solving the Anderson impurity model typically involves a two-step process, where one first calculates the ground state of the Hamiltonian, and then computes its dynamical properties to obtain the Green's function. Here we propose a hybrid classical/quantum algorithm where the first step is performed using a classical computer to obtain the tensor network ground state as well as its quantum circuit representation, and the second step is executed on the quantum computer to obtain the Green's function. Our algorithm exploits the efficiency of tensor networks for preparing ground states on classical computers, and takes advantage of quantum processors for the evaluation of the time evolution, which can become intractable on classical computers. We demonstrate the algorithm using 20 qubits on a quantum computing emulator for SrVO3 with a multi-orbital Anderson impurity model within the dynamical mean field theory. The tensor network based ground state quantum circuit preparation algorithm can also be performed for up to 40 qubits with our available computing resources, while the state vector emulation of the quantum algorithm for time evolution is beyond what is accessible with such resources. We show that, provided the tensor network calculation is able to accurately obtain the ground state energy, this scheme does not require a perfect reproduction of the ground state wave function on the quantum circuit to give an accurate Green's function. This hybrid approach may lead to quantum advantage in materials simulations where the ground state can be computed classically, but where the dynamical properties cannot.
△ Less
Submitted 10 September, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
GPT-4 Technical Report
Authors:
OpenAI,
Josh Achiam,
Steven Adler,
Sandhini Agarwal,
Lama Ahmad,
Ilge Akkaya,
Florencia Leoni Aleman,
Diogo Almeida,
Janko Altenschmidt,
Sam Altman,
Shyamal Anadkat,
Red Avila,
Igor Babuschkin,
Suchir Balaji,
Valerie Balcom,
Paul Baltescu,
Haiming Bao,
Mohammad Bavarian,
Jeff Belgum,
Irwan Bello,
Jake Berdine,
Gabriel Bernadett-Shapiro,
Christopher Berner,
Lenny Bogdonoff,
Oleg Boiko
, et al. (256 additional authors not shown)
Abstract:
We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers. GPT-4 is a Transformer-based mo…
▽ More
We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers. GPT-4 is a Transformer-based model pre-trained to predict the next token in a document. The post-training alignment process results in improved performance on measures of factuality and adherence to desired behavior. A core component of this project was developing infrastructure and optimization methods that behave predictably across a wide range of scales. This allowed us to accurately predict some aspects of GPT-4's performance based on models trained with no more than 1/1,000th the compute of GPT-4.
△ Less
Submitted 4 March, 2024; v1 submitted 15 March, 2023;
originally announced March 2023.
-
D{é}monstration d'une conjecture de Kruyswijk et Meijer sur le plus petit d{é}nominateur des nombres rationnels d'un intervalle
Authors:
Michel Balazard,
Bruno Martin
Abstract:
The average value of the smallest denominator of a rational number belonging to the interval $](j-1)/N,j/N]$, where~$j=1,\dots, N$, is proved to be asymptotically equivalent to~$16π^{-2}\sqrt{N}$, when $N$ tends to infinity. The result had been conjectured in 1977 by Kruyswijk and Meijer.
The average value of the smallest denominator of a rational number belonging to the interval $](j-1)/N,j/N]$, where~$j=1,\dots, N$, is proved to be asymptotically equivalent to~$16π^{-2}\sqrt{N}$, when $N$ tends to infinity. The result had been conjectured in 1977 by Kruyswijk and Meijer.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Effective field theory analysis of the Coulomb breakup of the one-neutron halo nucleus 19C
Authors:
Pierre Capel,
Daniel R. Phillips,
Andrew Andis,
Mirko Bagnarol,
Behnaz Behzadmoghaddam,
Francesca Bonaiti,
Rishabh Bubna,
Ylenia Capitani,
Pierre-Yves Duerinck,
Victoria Durant,
Niklas Döpper,
Aya El Boustani,
Roland Farrell,
Maurus Geiger,
Michael Gennari,
Nitzan Goldberg,
Jakub Herko,
Tanja Kirchner,
Live-Palm Kubushishi,
Zhen Li,
Simone S. Li Muli,
Alexander Long,
Brady Martin,
Kamyar Mohseni,
Imane Moumene
, et al. (7 additional authors not shown)
Abstract:
We analyse the Coulomb breakup of 19C measured at 67A MeV at RIKEN. We use the Coulomb-Corrected Eikonal (CCE) approximation to model the reaction and describe the one-neutron halo nucleus 19C within Halo Effective Field Theory (EFT). At leading order we obtain a fair reproduction of the measured cross section as a function of energy and angle. The description is insensitive to the choice of optic…
▽ More
We analyse the Coulomb breakup of 19C measured at 67A MeV at RIKEN. We use the Coulomb-Corrected Eikonal (CCE) approximation to model the reaction and describe the one-neutron halo nucleus 19C within Halo Effective Field Theory (EFT). At leading order we obtain a fair reproduction of the measured cross section as a function of energy and angle. The description is insensitive to the choice of optical potential, as long as it accurately represents the size of 18C. It is also insensitive to the interior of the 19C wave function. Comparison between theory and experiment thus enables us to infer asymptotic properties of the ground state of 19C: these data put constraints on the one-neutron separation energy of this nucleus and, for a given binding energy, can be used to extract an asymptotic normalisation coefficient (ANC). These results are confirmed by CCE calculations employing next-to-leading order Halo EFT descriptions of 19C: at this order the results for the Coulomb breakup cross section are completely insensitive to the choice of the regulator. Accordingly, this reaction can be used to constrain the one-neutron separation energy and ANC of 19C.
△ Less
Submitted 28 October, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Scalable synthesis and characterization of multilayer $γ$-graphyne, new carbon crystals with a small direct bandgap
Authors:
Victor G. Desyatkin,
William B. Martin,
Ali E. Aliev,
Nathaniel E. Chapman,
Alexandre F. Fonseca,
Douglas S. Galvão,
E. Roy Miller,
Kevin H. Stone,
Zhong Wang,
Dante Zakhidov,
F. Ted Limpoco,
Sarah R. Almahdali,
Shane M. Parker,
Ray H. Baughman,
Valentin O. Rodionov
Abstract:
$γ$-Graphyne is the most symmetric sp2/sp1 allotrope of carbon, which can be viewed as graphene uniformly expanded through insertion of two-carbon acetylenic units between all the aromatic rings. To date, synthesis of bulk $γ$-graphyne has remained a challenge. We here report the synthesis of multilayer $γ…
▽ More
$γ$-Graphyne is the most symmetric sp2/sp1 allotrope of carbon, which can be viewed as graphene uniformly expanded through insertion of two-carbon acetylenic units between all the aromatic rings. To date, synthesis of bulk $γ$-graphyne has remained a challenge. We here report the synthesis of multilayer $γ$-graphyne through crystallization-assisted irreversible cross-coupling polymerization. Comprehensive characterization of this new carbon phase is described, including synchrotron X-ray diffraction, electron diffraction, lateral force microscopy, Raman and infrared spectroscopy, and cyclic voltammetry. Experiments indicate that $γ$-graphyne is a 0.48 eV bandgap semiconductor, with a hexagonal a-axis spacing of 6.88 Å and an interlayer spacing of 3.48 Å, which is consistent with theoretical predictions. The observed crystal structure has an aperiodic sheet stacking. The material is thermally stable up to 240 $^\circ$C but undergoes a transformation at higher temperatures. While conventional 2D polymerizations and reticular chemistry rely on error correction through reversibility, we demonstrate that a periodic covalent lattice can be synthesized under purely kinetic control. The reported methodology is scalable and inspires extension to other allotropes of the graphyne family.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Noncontact Respiratory Anomaly Detection Using Infrared Light-Wave Sensing
Authors:
Md Zobaer Islam,
Brenden Martin,
Carly Gotcher,
Tyler Martinez,
John F. O'Hara,
Sabit Ekin
Abstract:
Human respiratory rate and its pattern convey essential information about the physical and psychological states of the subject. Abnormal breathing can indicate fatal health issues leading to further diagnosis and treatment. Wireless light-wave sensing (LWS) using incoherent infrared light shows promise in safe, discreet, efficient, and non-invasive human breathing monitoring without raising privac…
▽ More
Human respiratory rate and its pattern convey essential information about the physical and psychological states of the subject. Abnormal breathing can indicate fatal health issues leading to further diagnosis and treatment. Wireless light-wave sensing (LWS) using incoherent infrared light shows promise in safe, discreet, efficient, and non-invasive human breathing monitoring without raising privacy concerns. The respiration monitoring system needs to be trained on different types of breathing patterns to identify breathing anomalies.The system must also validate the collected data as a breathing waveform, discarding any faulty data caused by external interruption, user movement, or system malfunction. To address these needs, this study simulated normal and different types of abnormal respiration using a robot that mimics human breathing patterns. Then, time-series respiration data were collected using infrared light-wave sensing technology. Three machine learning algorithms, decision tree, random forest and XGBoost, were applied to detect breathing anomalies and faulty data. Model performances were evaluated through cross-validation, assessing classification accuracy, precision and recall scores. The random forest model achieved the highest classification accuracy of 96.75% with data collected at a 0.5m distance. In general, ensemble models like random forest and XGBoost performed better than a single model in classifying the data collected at multiple distances from the light-wave sensing setup.
△ Less
Submitted 16 April, 2024; v1 submitted 9 January, 2023;
originally announced January 2023.
-
Experimental demonstration of diffusion limitations on resolution and SNR in MR microscopy
Authors:
Benjamin M. Hardy,
Yue Zhu,
Kevin D. Harkins,
Bibek Dhakal,
Jonathan B. Martin,
Jingping Xie,
Junzhong Xu,
Mark D. Does,
Adam W. Anderson,
John C. Gore
Abstract:
Magnetic resonance microscopy images at cellular resolution (< 10 microns) are limited by diffusion. SNR and spatial resolution suffer from the dephasing of transverse magnetization caused by diffusion of spins in strong gradients. Such effects may be reduced by using phase encoding instead of frequency encoding readout gradients. Demonstration of the benefits of phase encoding are lacking, and th…
▽ More
Magnetic resonance microscopy images at cellular resolution (< 10 microns) are limited by diffusion. SNR and spatial resolution suffer from the dephasing of transverse magnetization caused by diffusion of spins in strong gradients. Such effects may be reduced by using phase encoding instead of frequency encoding readout gradients. Demonstration of the benefits of phase encoding are lacking, and the conditions in which it is preferred are not clearly established. We quantify when phase encoding outperforms a readout gradient with emphasis on the detrimental effects of diffusion on SNR and resolution. A 15.2T MRI scanner, with 1 T/m gradients, and micro solenoid RF coils < 1 mm in diameter, were used to quantify diffusion effects on resolution and SNR of frequency and phase encoded acquisitions. Frequency and phase encoding resolution and SNR per square root time were calculated and measured for images at the diffusion limited resolution. The point-spread-function was measured for phase and frequency encoding using additional constant time gradients with voxels 3-15 microns. The effect of diffusion during the readout gradient on SNR was experimentally demonstrated. The achieved resolutions of frequency and phase encoded acquisitions were measured via the point-spread-function. SNR per square root time and actual resolution were calculated for a wide range of gradient amplitudes, diffusion coefficients, and relaxation properties. The results provide a practical guide on how to choose between phase and frequency encoding. Images of excised rat spinal cord at 10 x 10 microns in-plane demonstrate benefits of phase encoding in the form of higher measured resolution and SNR vs the same image acquired with a conventional readout. We demonstrate the extent to which phase encoding outperforms readout gradients in SNR and resolution over a wide range of voxel sizes, sample, and hardware properties.
△ Less
Submitted 3 January, 2023; v1 submitted 2 January, 2023;
originally announced January 2023.
-
Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs
Authors:
Vadim Lozin,
Barnaby Martin,
Sukanya Pandey,
Daniel Paulusma,
Mark Siggers,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal H}$-subgraph-free graphs (for finite sets ${\cal H}$) for problems that are solvable in polynomial time on graph classes of bounded treewidth, NP-complete on subcub…
▽ More
For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal H}$-subgraph-free graphs (for finite sets ${\cal H}$) for problems that are solvable in polynomial time on graph classes of bounded treewidth, NP-complete on subcubic graphs, and whose NP-hardness is preserved under edge subdivision. While a lot of problems satisfy these conditions, there are also many problems that do not satisfy all three conditions and for which the complexity in ${\cal H}$-subgraph-free graphs is unknown. We study problems for which only the first two conditions of the framework hold (they are solvable in polynomial time on classes of bounded treewidth and NP-complete on subcubic graphs, but NP-hardness is not preserved under edge subdivision). In particular, we make inroads into the classification of the complexity of four such problems: Hamilton Cycle, $k$-Induced Disjoint Paths, $C_5$-Colouring and Star $3$-Colouring. Although we do not complete the classifications, we show that the boundary between polynomial time and NP-complete differs among our problems and also from problems that do satisfy all three conditions of the framework, in particular when we forbid certain subdivisions of the ``H''-graph (the graph that looks like the letter ``H''). Hence, we exhibit a rich complexity landscape among problems for ${\cal H}$-subgraph-free graph classes.
△ Less
Submitted 4 May, 2024; v1 submitted 25 November, 2022;
originally announced November 2022.
-
Complexity Framework For Forbidden Subgraphs I: The Framework
Authors:
Matthew Johnson,
Barnaby Martin,
Jelle J. Oostveen,
Sukanya Pandey,
Daniël Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-fr…
▽ More
For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-free if $G$ does not contain any of graph from $H$ as a subgraph. Our conditions are easy to state. A graph problem must be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness must be preserved under edge subdivision of subcubic graphs. Our meta-classification says that if a graph problem satisfies all three conditions, then for every finite set $HH$, it is ``efficiently solvable'' on $HH$-subgraph-free graphs if $HH$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). The proposed framework thus gives a simple pathway to determine the complexity of graph problems on $HH$-subgraph-free graphs. This is confirmed even more by the fact that along the way, we uncover and resolve several open questions from the literature.
△ Less
Submitted 20 July, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Edge Multiway Cut and Node Multiway Cut are NP-complete on subcubic graphs
Authors:
Matthew Johnson,
Barnaby Martin,
Siani Smith,
Sukanya Pandey,
Daniel Paulusma,
Erik Jan van Leeuwen
Abstract:
We show that Edge Multiway Cut (also called Multiterminal Cut) and Node Multiway Cut are NP-complete on graphs of maximum degree $3$ (also known as subcubic graphs). This improves on a previous degree bound of $11$. Our NP-completeness result holds even for subcubic graphs that are planar.
We show that Edge Multiway Cut (also called Multiterminal Cut) and Node Multiway Cut are NP-complete on graphs of maximum degree $3$ (also known as subcubic graphs). This improves on a previous degree bound of $11$. Our NP-completeness result holds even for subcubic graphs that are planar.
△ Less
Submitted 9 February, 2024; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Exchanging Keys with Authentication and Identity Protection for Secure Voice Communication without Side-channel
Authors:
Piotr Krasnowski,
Jerome Lebrun,
Bruno Martin
Abstract:
Motivated by an increasing need for privacy-preserving voice communications, we investigate here the original idea of sending encrypted data and speech in the form of pseudo-speech signals in the audio domain. Being less constrained than military ``Crypto Phones'' and allowing genuine public evaluation, this approach is quite promising for public unsecured voice communication infrastructures, such…
▽ More
Motivated by an increasing need for privacy-preserving voice communications, we investigate here the original idea of sending encrypted data and speech in the form of pseudo-speech signals in the audio domain. Being less constrained than military ``Crypto Phones'' and allowing genuine public evaluation, this approach is quite promising for public unsecured voice communication infrastructures, such as 3G cellular network and VoIP.A cornerstone of secure voice communications is the authenticated exchange of cryptographic keys with sole resource the voice channel, and neither Public Key Infrastructure (PKI) nor Certificate Authority (CA). In this paper, we detail our new robust double authentication mechanism based on signatures and Short Authentication Strings (SAS) ensuring strong authentication between the users while mitigating errors caused by unreliable voice channels and also identity protection against passive eavesdroppers. As symbolic model, our protocol has been formally proof-checked for security and fully validated by Tamarin Prover.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Complexity Classification Transfer for CSPs via Algebraic Products
Authors:
Manuel Bodirsky,
Peter Jonsson,
Barnaby Martin,
Antoine Mottet,
Žaneta Semanišinová
Abstract:
We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of the CSPs of first-order expansions of another structure $\mathfrak B$. We exploit a product of structures (the algebraic product) that corresponds to the produ…
▽ More
We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of the CSPs of first-order expansions of another structure $\mathfrak B$. We exploit a product of structures (the algebraic product) that corresponds to the product of the respective polymorphism clones and present a complete complexity classification of the CSPs for first-order expansions of the $n$-fold algebraic power of $(\mathbb{Q};<)$. This is proved by various algebraic and logical methods in combination with knowledge of the polymorphisms of the tractable first-order expansions of $(\mathbb{Q};<)$ and explicit descriptions of the expressible relations in terms of syntactically restricted first-order formulas. By combining our classification result with general classification transfer techniques, we obtain surprisingly strong new classification results for highly relevant formalisms such as Allen's Interval Algebra, the $n$-dimensional Block Algebra, and the Cardinal Direction Calculus, even if higher-arity relations are allowed. Our results confirm the infinite-domain tractability conjecture for classes of structures that have been difficult to analyse with older methods. For the special case of structures with binary signatures, the results can be substantially strengthened and tightly connected to Ord-Horn formulas; this solves several longstanding open problems from the AI literature.
△ Less
Submitted 7 June, 2024; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Development of a Cobalt Electrochemical Sensor for Measuring Phosphate in Municipal Wastewaters
Authors:
Saif S. S. Al Wahaibi,
Benjamin D. Martin,
Ana Soares
Abstract:
The introduction of the Water Framework directive sets stringent limits on phosphorous discharge from wastewater treatment plants to maintain the complex interdependent relationship between water tributaries and the ecosystem. This paper studies a cobalt based electrochemical sensor for phosphate detection in wastewater. An evaluation of the sensors operational envelope, impact of pH, detection li…
▽ More
The introduction of the Water Framework directive sets stringent limits on phosphorous discharge from wastewater treatment plants to maintain the complex interdependent relationship between water tributaries and the ecosystem. This paper studies a cobalt based electrochemical sensor for phosphate detection in wastewater. An evaluation of the sensors operational envelope, impact of pH, detection limits, linearity of response, accuracy and reproducibility in a single ion solution was conducted. An indirect method was employed to assess the effect of all of these parameters; the parameter was kept constant, while the phosphate concertation was varied. Tests on real wastewater samples verified the effect of the interfering factors, as phosphate measurements from three different sampling points (influent, activated sludge mixed liquors and effluent) did not correlate favourably with measurements acquired from a specialised laboratory. The success of this sensor is probably dependent on the simultaneous measurement of, or the calibration for, interfering parameters. However, the former approach would most likely require additional probes to measure these interfering parameters and the latter would probably require a complex calibrating matrix to account for all the interfering parameters. Nonetheless, variations of such sensors reviewed in this paper and their encouraging results offer an optimistic field of improvement on the design of the sensor studied in this paper for it to be employed on real wastewater systems.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
CyRSoXS: A GPU-accelerated virtual instrument for Polarized Resonant Soft X-ray Scattering (P-RSoXS)
Authors:
Kumar Saurabh,
Peter J. Dudenas,
Eliot Gann,
Veronica G. Reynolds,
Subhrangsu Mukherjee,
Daniel Sunday,
Tyler B. Martin,
Peter A. Beaucage,
Michael L. Chabinyc,
Dean M. DeLongchamp,
Adarsh Krishnamurthy,
Baskar Ganapathysubramanian
Abstract:
Polarized Resonant Soft X-ray scattering (P-RSoXS) has emerged as a powerful synchrotron-based tool that combines principles of X-ray scattering and X-ray spectroscopy. P-RSoXS provides unique sensitivity to molecular orientation and chemical heterogeneity in soft materials such as polymers and biomaterials. Quantitative extraction of orientation information from P-RSoXS pattern data is challengin…
▽ More
Polarized Resonant Soft X-ray scattering (P-RSoXS) has emerged as a powerful synchrotron-based tool that combines principles of X-ray scattering and X-ray spectroscopy. P-RSoXS provides unique sensitivity to molecular orientation and chemical heterogeneity in soft materials such as polymers and biomaterials. Quantitative extraction of orientation information from P-RSoXS pattern data is challenging because the scattering processes originate from sample properties that must be represented as energy-dependent three-dimensional tensors with heterogeneities at nanometer to sub-nanometer length scales. We overcome this challenge by developing an open-source virtual instrument that uses GPUs to simulate P-RSoXS patterns from real-space material representations with nanoscale resolution. Our computational framework CyRSoXS (https://github.com/usnistgov/cyrsoxs) is designed to maximize GPU performance. We demonstrate the accuracy and robustness of our approach by validating against an extensive set of test cases, which include both analytical solutions and numerical comparisons, demonstrating a speedup of over three orders relative to the current state-of-the-art simulation software. Such fast simulations open up a variety of applications that were previously computationally infeasible, including (a) pattern fitting, (b) co-simulation with the physical instrument for operando analytics, data exploration, and decision support, (c) data creation and integration into machine learning workflows, and (d) utilization in multi-modal data assimilation approaches. Finally, we abstract away the complexity of the computational framework from the end-user by exposing CyRSoXS to Python using Pybind. This eliminates I/O requirements for large-scale parameter exploration and inverse design, and democratizes usage by enabling seamless integration with a Python ecosystem (https://github.com/usnistgov/nrss).
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
Powers of commutators in linear algebraic groups
Authors:
Benjamin Martin
Abstract:
Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $γ, δ\in G$ such that $γ$ is a commutator and $\langle δ\rangle= \langle γ\rangle$ then $δ$ is a commutator. This generalises a result of Honda for finite groups. Our proof uses t…
▽ More
Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $γ, δ\in G$ such that $γ$ is a commutator and $\langle δ\rangle= \langle γ\rangle$ then $δ$ is a commutator. This generalises a result of Honda for finite groups. Our proof uses the Lefschetz Principle from first-order model theory.
△ Less
Submitted 23 April, 2024; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Modified Macdonald polynomials and the multispecies zero range process: II
Authors:
Arvind Ayyer,
Olya Mandelshtam,
James B. Martin
Abstract:
In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the queue inversion (quinv) statistic. In this paper we establish a link between these combinatorial objects and a class of multispecies totally asymmetric zero-range processes (mTAZRP) on a ring, with site-dependent jump-rates. We con…
▽ More
In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the queue inversion (quinv) statistic. In this paper we establish a link between these combinatorial objects and a class of multispecies totally asymmetric zero-range processes (mTAZRP) on a ring, with site-dependent jump-rates. We construct a Markov chain on the space of tableaux of a given shape, which projects to the mTAZRP, and whose stationary distribution can be expressed in terms of quinv-weighted tableaux. We deduce that the mTAZRP has a partition function given by the modified Macdonald polynomial $\widetilde{H}_λ(X;1,t)$, and we obtain interesting symmetry properties of the mTAZRP probabilities under permutation of the jump-rates between the sites. We explore a number of interesting special cases of the mTAZRP, and give explicit formulas for particle densities and correlations of the process purely in terms of modified Macdonald polynomials.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Ontologizing Health Systems Data at Scale: Making Translational Discovery a Reality
Authors:
Tiffany J. Callahan,
Adrianne L. Stefanski,
Jordan M. Wyrwa,
Chenjie Zeng,
Anna Ostropolets,
Juan M. Banda,
William A. Baumgartner Jr.,
Richard D. Boyce,
Elena Casiraghi,
Ben D. Coleman,
Janine H. Collins,
Sara J. Deakyne-Davies,
James A. Feinstein,
Melissa A. Haendel,
Asiyah Y. Lin,
Blake Martin,
Nicolas A. Matentzoglu,
Daniella Meeker,
Justin Reese,
Jessica Sinclair,
Sanya B. Taneja,
Katy E. Trinkley,
Nicole A. Vasilevsky,
Andrew Williams,
Xingman A. Zhang
, et al. (7 additional authors not shown)
Abstract:
Background: Common data models solve many challenges of standardizing electronic health record (EHR) data, but are unable to semantically integrate all the resources needed for deep phenotyping. Open Biological and Biomedical Ontology (OBO) Foundry ontologies provide computable representations of biological knowledge and enable the integration of heterogeneous data. However, mapping EHR data to OB…
▽ More
Background: Common data models solve many challenges of standardizing electronic health record (EHR) data, but are unable to semantically integrate all the resources needed for deep phenotyping. Open Biological and Biomedical Ontology (OBO) Foundry ontologies provide computable representations of biological knowledge and enable the integration of heterogeneous data. However, mapping EHR data to OBO ontologies requires significant manual curation and domain expertise. Objective: We introduce OMOP2OBO, an algorithm for mapping Observational Medical Outcomes Partnership (OMOP) vocabularies to OBO ontologies. Results: Using OMOP2OBO, we produced mappings for 92,367 conditions, 8611 drug ingredients, and 10,673 measurement results, which covered 68-99% of concepts used in clinical practice when examined across 24 hospitals. When used to phenotype rare disease patients, the mappings helped systematically identify undiagnosed patients who might benefit from genetic testing. Conclusions: By aligning OMOP vocabularies to OBO ontologies our algorithm presents new opportunities to advance EHR-based deep phenotyping.
△ Less
Submitted 30 January, 2023; v1 submitted 10 September, 2022;
originally announced September 2022.
-
Algebraic groups and $G$-complete reducibility: a geometric approach
Authors:
Benjamin Martin
Abstract:
The notion of a \emph{$G$-completely reducible} subgroup is important in the study of algebraic groups and their subgroup structure. It generalizes the usual idea of complete reducibility from representation theory: a subgroup $H$ of a general linear group $G= {\rm GL}_n(k)$ is $G$-completely reducible if and only if the inclusion map $i\colon H\rightarrow {\rm GL}_n(k)$ is a completely reducible…
▽ More
The notion of a \emph{$G$-completely reducible} subgroup is important in the study of algebraic groups and their subgroup structure. It generalizes the usual idea of complete reducibility from representation theory: a subgroup $H$ of a general linear group $G= {\rm GL}_n(k)$ is $G$-completely reducible if and only if the inclusion map $i\colon H\rightarrow {\rm GL}_n(k)$ is a completely reducible representation of $H$. In these notes I give an introduction to the theory of complete reducibility and its applications, and explain an approach to the subject using geometric invariant theory.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Predicting polaron mobility in organic semiconductors with the Feynman variational approach
Authors:
Bradley A. A. Martin,
Jarvist Moore Frost
Abstract:
We extend the Feynman variational method applied to the parabolic-band Fröhlich (continuum) large polaron~\cite{Feynman1955} to a Holstein (lattice) small polaron, with a parabolic-band. This new theory shows a discrete localisation as a function of coupling strength. Having build the theory with the same quasi-particle Lagrangian as the 1955 work, we can directly use the FHIP~\cite{Feynman1962} r…
▽ More
We extend the Feynman variational method applied to the parabolic-band Fröhlich (continuum) large polaron~\cite{Feynman1955} to a Holstein (lattice) small polaron, with a parabolic-band. This new theory shows a discrete localisation as a function of coupling strength. Having build the theory with the same quasi-particle Lagrangian as the 1955 work, we can directly use the FHIP~\cite{Feynman1962} response theory to calculate DC mobility and complex conductivity. We show that we can take matrix elements from electronic structure calculations on real materials, by modelling charge-carrier mobility in crystalline Rubrene. Good agreement is found to measurement, with a predicted mobility of $μ= 47.72$~\si{cm^2 V^{-1} s^{-1}} at $300$~\si{K}.
△ Less
Submitted 12 June, 2024; v1 submitted 14 July, 2022;
originally announced July 2022.
-
Joint lifetime modelling with matrix distributions
Authors:
Albrecher Hansjörg,
Bladt Martin,
Alaric J. A Müller
Abstract:
Acyclic phase-type (PH) distributions have been a popular tool in survival analysis, thanks to their natural interpretation in terms of ageing towards its inevitable absorption. In this paper, we consider an extension to the bivariate setting for the modelling of joint lifetimes. In contrast to previous models in the literature that were based on a separate estimation of the marginal behavior and…
▽ More
Acyclic phase-type (PH) distributions have been a popular tool in survival analysis, thanks to their natural interpretation in terms of ageing towards its inevitable absorption. In this paper, we consider an extension to the bivariate setting for the modelling of joint lifetimes. In contrast to previous models in the literature that were based on a separate estimation of the marginal behavior and the dependence structure through a copula, we propose a new time-inhomogeneous version of a multivariate PH class (mIPH) that leads to a model for joint lifetimes without that separation. We study properties of mIPH class members and provide an adapted estimation procedure that allows for right-censoring and covariate information. We show that initial distribution vectors in our construction can be tailored to reflect the dependence of the random variables, and use multinomial regression to determine the influence of covariates on starting probabilities. Moreover, we highlight the flexibility and parsimony, in terms of needed phases, introduced by the time-inhomogeneity. Numerical illustrations are given for the famous data set of joint lifetimes of Frees et al. [15], where 10 phases turn out to be sufficient for a reasonable fitting performance. As a by-product, the proposed approach enables a natural causal interpretation of the association in the ageing mechanism of joint lifetimes that goes beyond a statistical fit.
△ Less
Submitted 3 October, 2022; v1 submitted 4 July, 2022;
originally announced July 2022.
-
Multiple phonon modes in Feynman path-integral variational polaron mobility
Authors:
Bradley A. A. Martin,
Jarvist Moore Frost
Abstract:
The Feynman path-integral variational approach to the polaron problem\cite{Feynman1955}, along with the associated FHIP linear-response mobility theory\cite{Feynman1962}, provides a computationally amenable method to predict the frequency-resolved temperature-dependent charge-carrier mobility, and other experimental observables in polar semiconductors. We show that the FHIP mobility theory predict…
▽ More
The Feynman path-integral variational approach to the polaron problem\cite{Feynman1955}, along with the associated FHIP linear-response mobility theory\cite{Feynman1962}, provides a computationally amenable method to predict the frequency-resolved temperature-dependent charge-carrier mobility, and other experimental observables in polar semiconductors. We show that the FHIP mobility theory predicts non-Drude transport behaviour, and shows remarkably good agreement with the recent diagrammatic Monte-Carlo mobility simulations of Mishchenko et al.\cite{Mishchenko2019} for the abstract Fröhlich Hamiltonian.
We extend this method to multiple phonon modes in the Fröhlich model action. This enables a slightly better variational solution, as inferred from the resulting energy. We carry forward this extra complexity into the mobility theory, where it shows richer structure in the frequency and temperature dependent mobility, due to the different phonon modes activating at different energies.
The method provides a computationally efficient and fully quantitative method of predicting polaron mobility and response in real materials.
△ Less
Submitted 22 December, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.