-
Exploring and Improving Drafts in Blockwise Parallel Decoding
Authors:
Taehyeon Kim,
Ananda Theertha Suresh,
Kishore Papineni,
Michael Riley,
Sanjiv Kumar,
Adrian Benton
Abstract:
Despite the remarkable strides made by autoregressive language models, their potential is often hampered by the slow inference speeds inherent in sequential token generation. Blockwise parallel decoding (BPD) was proposed by Stern et al. as a method to improve inference speed of language models by simultaneously predicting multiple future tokens, termed block drafts, which are subsequently verifie…
▽ More
Despite the remarkable strides made by autoregressive language models, their potential is often hampered by the slow inference speeds inherent in sequential token generation. Blockwise parallel decoding (BPD) was proposed by Stern et al. as a method to improve inference speed of language models by simultaneously predicting multiple future tokens, termed block drafts, which are subsequently verified and conditionally accepted by the autoregressive model. This paper contributes to the understanding and improvement of block drafts in two ways. First, we analyze the token distributions produced by multiple prediction heads. Secondly, we leverage this analysis to develop algorithms to improve BPD inference speed by refining the block drafts using n-gram and neural language models. Experiments demonstrate that refined block drafts yield a +5-21% increase in block efficiency (i.e., the number of accepted tokens from the block draft) across diverse datasets.
△ Less
Submitted 5 June, 2024; v1 submitted 14 April, 2024;
originally announced April 2024.
-
A Type Theory with a Tiny Object
Authors:
Mitchell Riley
Abstract:
We present an extension of Martin-Löf Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type theory by proving various properties related to tininess internally and suggest a few potential applications.
We present an extension of Martin-Löf Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type theory by proving various properties related to tininess internally and suggest a few potential applications.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Self-supervised Adaptive Weighting for Cooperative Perception in V2V Communications
Authors:
Chenguang Liu,
Jianjun Chen,
Yunfei Chen,
Ryan Payton,
Michael Riley,
Shuang-Hua Yang
Abstract:
Perception of the driving environment is critical for collision avoidance and route planning to ensure driving safety. Cooperative perception has been widely studied as an effective approach to addressing the shortcomings of single-vehicle perception. However, the practical limitations of vehicle-to-vehicle (V2V) communications have not been adequately investigated. In particular, current cooperat…
▽ More
Perception of the driving environment is critical for collision avoidance and route planning to ensure driving safety. Cooperative perception has been widely studied as an effective approach to addressing the shortcomings of single-vehicle perception. However, the practical limitations of vehicle-to-vehicle (V2V) communications have not been adequately investigated. In particular, current cooperative fusion models rely on supervised models and do not address dynamic performance degradation caused by arbitrary channel impairments. In this paper, a self-supervised adaptive weighting model is proposed for intermediate fusion to mitigate the adverse effects of channel distortion. The performance of cooperative perception is investigated in different system settings. Rician fading and imperfect channel state information (CSI) are also considered. Numerical results demonstrate that the proposed adaptive weighting algorithm significantly outperforms the benchmarks without weighting. Visualization examples validate that the proposed weighting algorithm can flexibly adapt to various channel conditions. Moreover, the adaptive weighting algorithm demonstrates good generalization to untrained channels and test datasets from different domains.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Conway's Game of Life is Omniperiodic
Authors:
Nico Brown,
Carson Cheng,
Tanner Jacobi,
Maia Karpovich,
Matthias Merzenich,
David Raucci,
Mitchell Riley
Abstract:
In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is called omniperiodic if there exist oscillators of all periods. At the turn of the millennium, only twelve oscillator periods remained to be found in Conway's Game of Life. The search has finally ended, with the discovery o…
▽ More
In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is called omniperiodic if there exist oscillators of all periods. At the turn of the millennium, only twelve oscillator periods remained to be found in Conway's Game of Life. The search has finally ended, with the discovery of oscillators having the final two periods, 19 and 41, proving that Life is omniperiodic. Besides filling in the missing periods, we give a detailed history of the omniperiodicity problem and the strategies used to solve it, summarising the work of a large number of people in the decades since the creation of Life.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
A consistent derivation of soil stiffness from elastic wave speeds
Authors:
David M. Riley,
Itai Einav,
François Guillard
Abstract:
Elastic wave speeds are fundamental in geomechanics and have historically been described by an analytic formula that assumes linearly elastic solid medium. Empirical relations stemming from this assumption were used to determine nonlinearly elastic stiffness relations that depend on pressure, density, and other state variables. Evidently, this approach introduces a mathematical and physical discon…
▽ More
Elastic wave speeds are fundamental in geomechanics and have historically been described by an analytic formula that assumes linearly elastic solid medium. Empirical relations stemming from this assumption were used to determine nonlinearly elastic stiffness relations that depend on pressure, density, and other state variables. Evidently, this approach introduces a mathematical and physical disconnect between the derivation of the analytical wave speed (and thus stiffness) and the empirically generated stiffness constants. In our study, we derive wave speeds for energy-conserving (hyperelastic) and non-energy-conserving (hypoelastic) constitutive models that have a general dependence on pressure and density. Under isotropic compression states, the analytical solutions for both models converge to previously documented empirical relations. Conversely, in the presence of shear, hyperelasticity predicts changes in the longitudinal and transverse wave speed ratio. This prediction arises from terms that ensure energy conservation in the hyperelastic model, without needing fabric to predict such an evolution, as was sometimes assumed in previous investigations. Such insights from hyperelasticity could explain the previously unaccounted-for evolution of longitudinal wave speeds in oedometric compression. Finally, the procedure used herein is general and could be extended to account for other relevant state variables of soils, such as grain-size, grain-shape, or saturation.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Cooperative Perception with Learning-Based V2V communications
Authors:
Chenguang Liu,
Yunfei Chen,
Jianjun Chen,
Ryan Payton,
Michael Riley,
Shuang-Hua Yang
Abstract:
Cooperative perception has been widely used in autonomous driving to alleviate the inherent limitation of single automated vehicle perception. To enable cooperation, vehicle-to-vehicle (V2V) communication plays an indispensable role. This work analyzes the performance of cooperative perception accounting for communications channel impairments. Different fusion methods and channel impairments are e…
▽ More
Cooperative perception has been widely used in autonomous driving to alleviate the inherent limitation of single automated vehicle perception. To enable cooperation, vehicle-to-vehicle (V2V) communication plays an indispensable role. This work analyzes the performance of cooperative perception accounting for communications channel impairments. Different fusion methods and channel impairments are evaluated. A new late fusion scheme is proposed to leverage the robustness of intermediate features. In order to compress the data size incurred by cooperation, a convolution neural network-based autoencoder is adopted. Numerical results demonstrate that intermediate fusion is more robust to channel impairments than early fusion and late fusion, when the SNR is greater than 0 dB. Also, the proposed fusion scheme outperforms the conventional late fusion using detection outputs, and autoencoder provides a good compromise between detection accuracy and bandwidth usage.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Comprehensive Overview of Bottom-up Proteomics using Mass Spectrometry
Authors:
Yuming Jiang,
Devasahayam Arokia Balaya Rex,
Dina Schuster,
Benjamin A. Neely,
Germán L. Rosano,
Norbert Volkmar,
Amanda Momenzadeh,
Trenton M. Peters-Clarke,
Susan B. Egbert,
Simion Kreimer,
Emma H. Doud,
Oliver M. Crook,
Amit Kumar Yadav,
Muralidharan Vanuopadath,
Martín L. Mayta,
Anna G. Duboff,
Nicholas M. Riley,
Robert L. Moritz,
Jesse G. Meyer
Abstract:
Proteomics is the large scale study of protein structure and function from biological systems through protein identification and quantification. "Shotgun proteomics" or "bottom-up proteomics" is the prevailing strategy, in which proteins are hydrolyzed into peptides that are analyzed by mass spectrometry. Proteomics studies can be applied to diverse studies ranging from simple protein identificati…
▽ More
Proteomics is the large scale study of protein structure and function from biological systems through protein identification and quantification. "Shotgun proteomics" or "bottom-up proteomics" is the prevailing strategy, in which proteins are hydrolyzed into peptides that are analyzed by mass spectrometry. Proteomics studies can be applied to diverse studies ranging from simple protein identification to studies of proteoforms, protein-protein interactions, protein structural alterations, absolute and relative protein quantification, post-translational modifications, and protein stability. To enable this range of different experiments, there are diverse strategies for proteome analysis. The nuances of how proteomic workflows differ may be challenging to understand for new practitioners. Here, we provide a comprehensive overview of different proteomics methods to aid the novice and experienced researcher. We cover from biochemistry basics and protein extraction to biological interpretation and orthogonal validation. We expect this work to serve as a basic resource for new practitioners in the field of shotgun or bottom-up proteomics.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Large-scale Language Model Rescoring on Long-form Data
Authors:
Tongzhou Chen,
Cyril Allauzen,
Yinghui Huang,
Daniel Park,
David Rybach,
W. Ronny Huang,
Rodrigo Cabrera,
Kartik Audhkhasi,
Bhuvana Ramabhadran,
Pedro J. Moreno,
Michael Riley
Abstract:
In this work, we study the impact of Large-scale Language Models (LLM) on Automated Speech Recognition (ASR) of YouTube videos, which we use as a source for long-form ASR. We demonstrate up to 8\% relative reduction in Word Error Eate (WER) on US English (en-us) and code-switched Indian English (en-in) long-form ASR test sets and a reduction of up to 30\% relative on Salient Term Error Rate (STER)…
▽ More
In this work, we study the impact of Large-scale Language Models (LLM) on Automated Speech Recognition (ASR) of YouTube videos, which we use as a source for long-form ASR. We demonstrate up to 8\% relative reduction in Word Error Eate (WER) on US English (en-us) and code-switched Indian English (en-in) long-form ASR test sets and a reduction of up to 30\% relative on Salient Term Error Rate (STER) over a strong first-pass baseline that uses a maximum-entropy based language model. Improved lattice processing that results in a lattice with a proper (non-tree) digraph topology and carrying context from the 1-best hypothesis of the previous segment(s) results in significant wins in rescoring with LLMs. We also find that the gains in performance from the combination of LLMs trained on vast quantities of available data (such as C4) and conventional neural LMs is additive and significantly outperforms a strong first-pass baseline with a maximum entropy LM.
Copyright 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
△ Less
Submitted 5 September, 2023; v1 submitted 13 June, 2023;
originally announced June 2023.
-
LAST: Scalable Lattice-Based Speech Modelling in JAX
Authors:
Ke Wu,
Ehsan Variani,
Tom Bagby,
Michael Riley
Abstract:
We introduce LAST, a LAttice-based Speech Transducer library in JAX. With an emphasis on flexibility, ease-of-use, and scalability, LAST implements differentiable weighted finite state automaton (WFSA) algorithms needed for training \& inference that scale to a large WFSA such as a recognition lattice over the entire utterance. Despite these WFSA algorithms being well-known in the literature, new…
▽ More
We introduce LAST, a LAttice-based Speech Transducer library in JAX. With an emphasis on flexibility, ease-of-use, and scalability, LAST implements differentiable weighted finite state automaton (WFSA) algorithms needed for training \& inference that scale to a large WFSA such as a recognition lattice over the entire utterance. Despite these WFSA algorithms being well-known in the literature, new challenges arise from performance characteristics of modern architectures, and from nuances in automatic differentiation. We describe a suite of generally applicable techniques employed in LAST to address these challenges, and demonstrate their effectiveness with benchmarks on TPUv3 and V100 GPU.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Commuting Cohesions
Authors:
David Jaz Myers,
Mitchell Riley
Abstract:
Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out synthetically. In spatial type theory, every type carries a spatial cohesion among its points and every function is continuous with respect to this. But in mathematical pr…
▽ More
Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out synthetically. In spatial type theory, every type carries a spatial cohesion among its points and every function is continuous with respect to this. But in mathematical practice, objects may be spatial in more than one way at the same time; for example, a simplicial space has both topological and simplicial structures.
In this paper, we put forward a type theory with "commuting focuses" which allows for types to carry multiple kinds of spatial structure. The theory is a relatively painless extension of spatial type theory, and enables us to give a synthetic account of simplicial, differential, equivariant, and other cohesions carried by the same types. We demonstrate the theory by showing that the homotopy type of any differential stack may be computed from a discrete simplicial set derived from the Čech nerve of any good cover. We also give other examples of commuting cohesions, such as differential equivariant types and supergeometric types, laying the groundwork for a synthetic account of Schreiber and Sati's proper orbifold cohomology.
△ Less
Submitted 31 January, 2023;
originally announced January 2023.
-
Alignment Entropy Regularization
Authors:
Ehsan Variani,
Ke Wu,
David Rybach,
Cyril Allauzen,
Michael Riley
Abstract:
Existing training criteria in automatic speech recognition(ASR) permit the model to freely explore more than one time alignments between the feature and label sequences. In this paper, we use entropy to measure a model's uncertainty, i.e. how it chooses to distribute the probability mass over the set of allowed alignments. Furthermore, we evaluate the effect of entropy regularization in encouragin…
▽ More
Existing training criteria in automatic speech recognition(ASR) permit the model to freely explore more than one time alignments between the feature and label sequences. In this paper, we use entropy to measure a model's uncertainty, i.e. how it chooses to distribute the probability mass over the set of allowed alignments. Furthermore, we evaluate the effect of entropy regularization in encouraging the model to distribute the probability mass only on a smaller subset of allowed alignments. Experiments show that entropy regularization enables a much simpler decoding method without sacrificing word error rate, and provides better time alignment quality.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Spatial model personalization in Gboard
Authors:
Gary Sivek,
Michael Riley
Abstract:
We introduce a framework for adapting a virtual keyboard to individual user behavior by modifying a Gaussian spatial model to use personalized key center offset means and, optionally, learned covariances. Through numerous real-world studies, we determine the importance of training data quantity and weights, as well as the number of clusters into which to group keys to avoid overfitting. While past…
▽ More
We introduce a framework for adapting a virtual keyboard to individual user behavior by modifying a Gaussian spatial model to use personalized key center offset means and, optionally, learned covariances. Through numerous real-world studies, we determine the importance of training data quantity and weights, as well as the number of clusters into which to group keys to avoid overfitting. While past research has shown potential of this technique using artificially-simple virtual keyboards and games or fixed ty** prompts, we demonstrate effectiveness using the highly-tuned Gboard app with a representative set of users and their real ty** behaviors. Across a variety of top languages, we achieve small-but-significant improvements in both ty** speed and decoder accuracy.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Flash-X, a multiphysics simulation software instrument
Authors:
Anshu Dubey,
Klaus Weide,
Jared O'Neal,
Akash Dhruv,
Sean Couch,
J. Austin Harris,
Tom Klosterman,
Rajeev Jain,
Johann Rudi,
Bronson Messer,
Michael Pajkos,
Jared Carlson,
Ran Chu,
Mohamed Wahib,
Saurabh Chawdhary,
Paul M. Ricker,
Dongwook Lee,
Katie Antypas,
Katherine M. Riley,
Christopher Daley,
Murali Ganapathy,
Francis X. Timmes,
Dean M. Townsley,
Marcos Vanella,
John Bachan
, et al. (6 additional authors not shown)
Abstract:
Flash-X is a highly composable multiphysics software system that can be used to simulate physical phenomena in several scientific domains. It derives some of its solvers from FLASH, which was first released in 2000. Flash-X has a new framework that relies on abstractions and asynchronous communications for performance portability across a range of increasingly heterogeneous hardware platforms. Fla…
▽ More
Flash-X is a highly composable multiphysics software system that can be used to simulate physical phenomena in several scientific domains. It derives some of its solvers from FLASH, which was first released in 2000. Flash-X has a new framework that relies on abstractions and asynchronous communications for performance portability across a range of increasingly heterogeneous hardware platforms. Flash-X is meant primarily for solving Eulerian formulations of applications with compressible and/or incompressible reactive flows. It also has a built-in, versatile Lagrangian framework that can be used in many different ways, including implementing tracers, particle-in-cell simulations, and immersed boundary methods.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Global Normalization for Streaming Speech Recognition in a Modular Framework
Authors:
Ehsan Variani,
Ke Wu,
Michael Riley,
David Rybach,
Matt Shannon,
Cyril Allauzen
Abstract:
We introduce the Globally Normalized Autoregressive Transducer (GNAT) for addressing the label bias problem in streaming speech recognition. Our solution admits a tractable exact computation of the denominator for the sequence-level normalization. Through theoretical and empirical results, we demonstrate that by switching to a globally normalized model, the word error rate gap between streaming an…
▽ More
We introduce the Globally Normalized Autoregressive Transducer (GNAT) for addressing the label bias problem in streaming speech recognition. Our solution admits a tractable exact computation of the denominator for the sequence-level normalization. Through theoretical and empirical results, we demonstrate that by switching to a globally normalized model, the word error rate gap between streaming and non-streaming speech-recognition models can be greatly reduced (by more than 50\% on the Librispeech dataset). This model is developed in a modular framework which encompasses all the common neural speech recognition models. The modularity of this framework enables controlled comparison of modelling choices and creation of new models.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Solving Quadratic and Cubic Diophantine Equations using 2-adic Valuation Trees
Authors:
Maila Brucal-Hallare,
Eva G. Goedhart,
Ryan Max Riley,
Vaishavi Sharma,
Bianca Thompson
Abstract:
For fixed integers $D \geq 0$ and $c \geq 3$, we demonstrate how to use $2$-adic valuation trees of sequences to analyze Diophantine equations of the form $x^2+D=2^cy$ and $x^3+D=2^cy$, for $y$ odd. Further, we show for what values $D \in \mathbb{Z}^+$, the numbers $x^3+D$ will generate infinite valuation trees, which lead to infinite solutions to the above Diophantine equations.
For fixed integers $D \geq 0$ and $c \geq 3$, we demonstrate how to use $2$-adic valuation trees of sequences to analyze Diophantine equations of the form $x^2+D=2^cy$ and $x^3+D=2^cy$, for $y$ odd. Further, we show for what values $D \in \mathbb{Z}^+$, the numbers $x^3+D$ will generate infinite valuation trees, which lead to infinite solutions to the above Diophantine equations.
△ Less
Submitted 7 May, 2021;
originally announced May 2021.
-
Spectroscopic view of ultrafast charge carrier dynamics in single- and bilayer transition metal dichalcogenide semiconductors
Authors:
P. Majchrzak,
K. Volckaert,
A. G. Cabo,
D. Biswas,
M. Bianchi,
S. K. Mahatha,
M. Dendzik,
F. Andreatta,
S. S. Grønborg,
I. Marković,
J. M. Riley,
J. C. Johannsen,
D. Lizzit,
L. Bignardi,
S. Lizzit,
C. Cacho,
O. Alexander,
D. Matselyukh,
A. S. Wyatt,
R. T. Chapman,
E. Springate,
J. V. Lauritsen,
P. D. C. King,
C. E. Sanders,
J. A. Miwa
, et al. (2 additional authors not shown)
Abstract:
The quasiparticle spectra of atomically thin semiconducting transition metal dichalcogenides (TMDCs) and their response to an ultrafast optical excitation critically depend on interactions with the underlying substrate. Here, we present a comparative time- and angle-resolved photoemission spectroscopy (TR-ARPES) study of the transient electronic structure and ultrafast carrier dynamics in the sing…
▽ More
The quasiparticle spectra of atomically thin semiconducting transition metal dichalcogenides (TMDCs) and their response to an ultrafast optical excitation critically depend on interactions with the underlying substrate. Here, we present a comparative time- and angle-resolved photoemission spectroscopy (TR-ARPES) study of the transient electronic structure and ultrafast carrier dynamics in the single- and bilayer TMDCs MoS$_2$ and WS$_2$ on three different substrates: Au(111), Ag(111) and graphene/SiC. The photoexcited quasiparticle bandgaps are observed to vary over the range of 1.9-2.3 eV between our systems. The transient conduction band signals decay on a sub-100 fs timescale on the metals, signifying an efficient removal of photoinduced carriers into the bulk metallic states. On graphene, we instead observe two timescales on the order of 200 fs and 50 ps, respectively, for the conduction band decay in MoS$_2$. These multiple timescales are explained by Auger recombination involving MoS$_2$ and in-gap defect states. In bilayer TMDCs on metals we observe a complex redistribution of excited holes along the valence band that is substantially affected by interactions with the continuum of bulk metallic states.
△ Less
Submitted 31 March, 2021;
originally announced March 2021.
-
Synthetic Spectra via a Monadic and Comonadic Modality
Authors:
Mitchell Riley,
Eric Finster,
Daniel R. Licata
Abstract:
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal extensions of Homotopy Type Theory. We use this theory to develop an synthetic approach to spectra, where spectra are represented by certain types, and constructio…
▽ More
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal extensions of Homotopy Type Theory. We use this theory to develop an synthetic approach to spectra, where spectra are represented by certain types, and constructions on them by type structure: maps of spectra by ordinary functions, loop spaces by the identity type, and so on. We augment the type theory with a pair of axioms, one which implies that the spectra are stable, and the other which relates synthetic spectra to the ordinary definition of spectra in type theory as $Ω$-spectra. Finally, we show that the type theory is sound and complete for an abstract categorical semantics, in terms of a category-with-families with a weak endomorphism whose functor on contexts is a bireflection, i.e. has a counit an a unit that are a section-retraction pair.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Identification of images of COVID-19 from Chest Computed Tomography (CT) images using Deep learning: Comparing COGNEX VisionPro Deep Learning 1.0 Software with Open Source Convolutional Neural Networks
Authors:
Arjun Sarkar,
Joerg Vandenhirtz,
Jozsef Nagy,
David Bacsa,
Mitchell Riley
Abstract:
For testing patients infected with COVID-19, along with RT-PCR testing, chest radiology images are being used. For the detection of COVID-19 from radiology images, many organizations are proposing the use of Deep Learning. University of Waterloo and DarwinAI, have designed their own Deep Learning model COVIDNet-CT to detect COVID-19 from infected chest CT images. Additionally, they have introduced…
▽ More
For testing patients infected with COVID-19, along with RT-PCR testing, chest radiology images are being used. For the detection of COVID-19 from radiology images, many organizations are proposing the use of Deep Learning. University of Waterloo and DarwinAI, have designed their own Deep Learning model COVIDNet-CT to detect COVID-19 from infected chest CT images. Additionally, they have introduced a CT image dataset COVIDx-CT, from CT images collected by the China National Center for Bioinformation. COVIDx-CT contains 104,009 CT image slices across 1,489 patient cases. After obtaining remarkable results on the identification of COVID-19 from chest X-ray images by using the COGNEX VisionPro Deep Learning Software 1.0 this time we test the performance of the software on the identification of COVID-19 from CT images. COGNEX Deep Learning Software: VisionPro Deep Learning, is a Deep Learning software that is used across various domains ranging from factory automation to life sciences. In this study, we train the classification model on 82,818 chest CT training and validation images from the COVIDx-CT dataset in 3 classes - normal, pneumonia, and COVID-19 and then test the results of the classification on the 21,191 test images are compared with the results of COVIDNet-CT and various other state of the art Deep Learning models from the open-source community. Also, we test how reducing the number of images in the training set effects the results of the software. Overall, VisionPro Deep Learning gives the best results with F-scores over 99%, even as the number of images in the training set is reduced significantly. This software is by no means a stand-alone solution in the detection of COVID-19 but can aid radiologists and clinicians in achieving faster and understandable diagnosis using the full potential of Deep Learning, without the prerequisite of having to code in any programming language.
△ Less
Submitted 9 October, 2020; v1 submitted 1 October, 2020;
originally announced October 2020.
-
Identification of images of COVID-19 from Chest X-rays using Deep Learning: Comparing COGNEX VisionPro Deep Learning 1.0 Software with Open Source Convolutional Neural Networks
Authors:
Arjun Sarkar,
Joerg Vandenhirtz,
Jozsef Nagy,
David Bacsa,
Mitchell Riley
Abstract:
The COVID-19 pandemic has been having a severe and catastrophic effect on humankind and is being considered the most crucial health calamity of the century. One of the best methods of detecting COVID-19 is from radiological images, namely X-rays and Computed Tomography or CT scan images. Many companies and educational organizations have come together during this crisis and created various Deep Lea…
▽ More
The COVID-19 pandemic has been having a severe and catastrophic effect on humankind and is being considered the most crucial health calamity of the century. One of the best methods of detecting COVID-19 is from radiological images, namely X-rays and Computed Tomography or CT scan images. Many companies and educational organizations have come together during this crisis and created various Deep Learning models for the effective diagnosis of COVID-19 from chest radiography images. For example, the University of Waterloo, along with Darwin AI, has designed its Deep Learning model COVID-Net and created a dataset called COVIDx, consisting of 13,975 images. In this study, COGNEXs Deep Learning Software-VisionPro Deep Learning is used to classify these Chest X-rays from the COVIDx dataset. The results are compared with the results of COVID-Net and various other state of the art Deep Learning models from the open-source community. Deep Learning tools are often referred to as black boxes because humans cannot interpret how or why a model is classifying an image into a particular class. This problem is addressed by testing VisionPro Deep Learning with two settings, firstly by selecting the entire image, that is, selecting the entire image as the Region of Interest-ROI, and secondly by segmenting the lungs in the first step, and then doing the classification step on the segmented lungs only, instead of using the entire image. VisionPro Deep Learning results-on the entire image as the ROI it achieves an overall F-score of 94.0 percent, and on the segmented lungs, it gets an F-score of 95.3 percent, which is at par or better than COVID-Net and other state of the art open-source Deep Learning models.
△ Less
Submitted 14 October, 2020; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Learning discrete distributions: user vs item-level privacy
Authors:
Yuhan Liu,
Ananda Theertha Suresh,
Felix Yu,
Sanjiv Kumar,
Michael Riley
Abstract:
Much of the literature on differential privacy focuses on item-level privacy, where loosely speaking, the goal is to provide privacy per item or training example. However, recently many practical applications such as federated learning require preserving privacy for all items of a single user, which is much harder to achieve. Therefore understanding the theoretical limit of user-level privacy beco…
▽ More
Much of the literature on differential privacy focuses on item-level privacy, where loosely speaking, the goal is to provide privacy per item or training example. However, recently many practical applications such as federated learning require preserving privacy for all items of a single user, which is much harder to achieve. Therefore understanding the theoretical limit of user-level privacy becomes crucial.
We study the fundamental problem of learning discrete distributions over $k$ symbols with user-level differential privacy. If each user has $m$ samples, we show that straightforward applications of Laplace or Gaussian mechanisms require the number of users to be $\mathcal{O}(k/(mα^2) + k/εα)$ to achieve an $\ell_1$ distance of $α$ between the true and estimated distributions, with the privacy-induced penalty $k/εα$ independent of the number of samples per user $m$. Moreover, we show that any mechanism that only operates on the final aggregate counts should require a user complexity of the same order. We then propose a mechanism such that the number of users scales as $\tilde{\mathcal{O}}(k/(mα^2) + k/\sqrt{m}εα)$ and hence the privacy penalty is $\tildeΘ(\sqrt{m})$ times smaller compared to the standard mechanisms in certain settings of interest. We further show that the proposed mechanism is nearly-optimal under certain regimes.
We also propose general techniques for obtaining lower bounds on restricted differentially private estimators and a lower bound on the total variation between binomial distributions, both of which might be of independent interest.
△ Less
Submitted 11 January, 2021; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Observation of $γ$-vibrations and alignments built on non-ground-state configurations in 156Dy
Authors:
S. N. T. Majola,
D. J. Hartley,
L. L. Riedinger,
J. F. Sharpey-Schafer,
J. M. Allmond,
C. Beausang,
M. P. Carpenter,
C. J. Chiara,
N. Cooper,
D. Curien,
B. J. P. Gall,
P. E. Garrett,
R. V. F. Janssens,
F. G. Kondev,
W. D. Kulp,
T. Lauritsen,
E. A. McCutchan,
D. Miller,
J. Piot,
N. Redon,
M. A. Riley,
J. Simpson,
I. Stefanescu,
V. Werner,
X. Wang
, et al. (3 additional authors not shown)
Abstract:
The exact nature of the lowest $K^π=2_γ^+$ rotational bands in all deformed nuclei remains obscure. Traditionally they are assumed to be collective vibrations of the nuclear shape in the $γ$ degree of freedom perpendicular to the nuclear symmetry axis. Very few such $γ$-bands have been traced past the usual back-bending rotational alignments of high-j nucleons. We have investigated the structure o…
▽ More
The exact nature of the lowest $K^π=2_γ^+$ rotational bands in all deformed nuclei remains obscure. Traditionally they are assumed to be collective vibrations of the nuclear shape in the $γ$ degree of freedom perpendicular to the nuclear symmetry axis. Very few such $γ$-bands have been traced past the usual back-bending rotational alignments of high-j nucleons. We have investigated the structure of positive-parity bands in the N=90 nucleus 156Dy, using the 148Nd(12C,4n)156Dy reaction at 65 MeV, observing the resulting $γ$-ray transitions with the Gammasphere array. The even- and odd-spin members of the $K^π=2_γ^+$ $γ$-band are observed to 32+ and 31+ respectively. This rotational band faithfully tracks the ground-state configuration to the highest spins. The members of a possible $γ$-vibration built on the aligned yrast S-band are observed to spins 28+ and 27+. An even-spin positive-parity band, observed to spin 24+, is a candidate for an aligned S-band built on the seniority-zero configuration of the $0_2^+$ state at 676 keV. The crossing of this band with the $0_2^+$ band is at $\hbarω$= 0.28(1) MeV and is consistent with the configuration of the $0_2^+$ band not producing any blocking of the monopole pairing.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
First candidates for γ vibrational bands built on the [505]11/2- neutron orbital in odd-A Dy isotopes
Authors:
S. N. T. Majola,
M. A. Sithole,
L. Mdletshe,
D. Hartley,
J. Timar,
B. M. Nyako,
J. M. Allmond,
R. A. Bark,
C. Beausang,
L. Bianco,
T. D. Bucher,
S. P. Bvumbi,
M. P. Carpenter,
C. J. Chiara,
N. Cooper,
D. M. Cullen,
D. Curien,
T. S. Dinoko,
B. J. P. Gall,
P. E. Garrett,
P. T. Greenlees,
J. Hirvonen,
U. Jakobsson,
P. M. Jones,
R. Julin
, et al. (45 additional authors not shown)
Abstract:
Rotational structures have been measured using the Jurogam II and GAMMASPHERE arrays at low spin following the 155Gd(α,2n)157Dy and 148Nd(12C, 5n)155Dy reactions at 25 and 65 MeV, respectively. We report high-K bands, which are conjectured to be the first candidates of a Kπ= 2+ γ vibrational band, built on the [505]11/2- neutron orbital, in both odd-A 155, 157Dy isotopes. The coupling of the first…
▽ More
Rotational structures have been measured using the Jurogam II and GAMMASPHERE arrays at low spin following the 155Gd(α,2n)157Dy and 148Nd(12C, 5n)155Dy reactions at 25 and 65 MeV, respectively. We report high-K bands, which are conjectured to be the first candidates of a Kπ= 2+ γ vibrational band, built on the [505]11/2- neutron orbital, in both odd-A 155, 157Dy isotopes. The coupling of the first excited K=0+ states or the so-called \b{eta} vibrational bands at 661 and 676 keV in 154Dy and 156Dy to the [505]11/2- orbital, to produce a Kπ=11/2- band, was not observed in both 155Dy and 157Dy, respectively. The implication of these findings on the interpretation of the first excited 0+ states in the core nuclei 154Dy and 156Dy are also discussed.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
Spectroscopy of low spin states in 157Dy: Search for evidence of enhanced octupole correlations
Authors:
S. N. T. Majola,
R. A. Bark,
L. Bianco,
T. D. Bucher,
S. P. Bvumbi,
D. M. Cullen,
P. E. Garrett,
P. T. Greenlees,
D. Hartley,
J Hirvonen,
U. Jakobsson,
P. M. Jones,
R. Julin,
S. Juutinen,
S. Ketelhut,
B. V. Kheswa,
A. Korichi,
E. A. Lawrie,
P. L. Masiteng,
B. Maqabuka,
L. Mdletshe,
A. Minkova,
J. Ndayishimye,
P. Nieminen,
R. Newman
, et al. (18 additional authors not shown)
Abstract:
Low-spin states of 157Dy have been studied using the JUROGAM II array, following the 155Gd (α, 2n) reaction at a beam energy of 25 MeV. The level scheme of 157Dy has been expanded with four new bands. Rotational structures built on the [523]5/2- and [402]3/2+ neutron orbitals constitute new additions to the level scheme as do many of the inter- and intra-band transitions. This manuscript also repo…
▽ More
Low-spin states of 157Dy have been studied using the JUROGAM II array, following the 155Gd (α, 2n) reaction at a beam energy of 25 MeV. The level scheme of 157Dy has been expanded with four new bands. Rotational structures built on the [523]5/2- and [402]3/2+ neutron orbitals constitute new additions to the level scheme as do many of the inter- and intra-band transitions. This manuscript also reports the observation of cross I- to (I-1)- and I- to (I-1)+ E1 dipole transitions inter-linking structures built on the [523]5/2- (band 5) and [402]3/2+ (band 7) neutron orbitals. These interlacing band structures are interpreted as the bands of parity doublets with simplex quantum number s = -i related to possible octupole correlations.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
Hybrid Autoregressive Transducer (hat)
Authors:
Ehsan Variani,
David Rybach,
Cyril Allauzen,
Michael Riley
Abstract:
This paper proposes and evaluates the hybrid autoregressive transducer (HAT) model, a time-synchronous encoderdecoder model that preserves the modularity of conventional automatic speech recognition systems. The HAT model provides a way to measure the quality of the internal language model that can be used to decide whether inference with an external language model is beneficial or not. This artic…
▽ More
This paper proposes and evaluates the hybrid autoregressive transducer (HAT) model, a time-synchronous encoderdecoder model that preserves the modularity of conventional automatic speech recognition systems. The HAT model provides a way to measure the quality of the internal language model that can be used to decide whether inference with an external language model is beneficial or not. This article also presents a finite context version of the HAT model that addresses the exposure bias problem and significantly simplifies the overall training and inference. We evaluate our proposed model on a large-scale voice search task. Our experiments show significant improvements in WER compared to the state-of-the-art approaches.
△ Less
Submitted 12 March, 2020;
originally announced March 2020.
-
The faint radio source population at 15.7 GHz -- IV. The dominance of core emission in faint radio galaxies
Authors:
I. H. Whittam,
D. A. Green,
M. J. Jarvis,
J. M. Riley
Abstract:
We present 15-GHz Karl G. Jansky Very Large Array observations of a complete sample of radio galaxies selected at 15.7 GHz from the Tenth Cambridge (10C) survey. 67 out of the 95 sources (71 per cent) are unresolved in the new observations and lower-frequency radio observations, placing an upper limit on their angular size of ~2 arcsec. Thus compact radio galaxies, or radio galaxies with very fain…
▽ More
We present 15-GHz Karl G. Jansky Very Large Array observations of a complete sample of radio galaxies selected at 15.7 GHz from the Tenth Cambridge (10C) survey. 67 out of the 95 sources (71 per cent) are unresolved in the new observations and lower-frequency radio observations, placing an upper limit on their angular size of ~2 arcsec. Thus compact radio galaxies, or radio galaxies with very faint jets, are the dominant population in the 10C survey. This provides support for the suggestion in our previous work that low-luminosity ($L<10^{25} \, \textrm{W Hz}^{-1}$) radio galaxies are core-dominated, although higher-resolution observations are required to confirm this directly. The 10C sample of compact, high-frequency selected radio galaxies is a mixture of high-excitation and low-excitation radio galaxies and displays a range of radio spectral shapes, demonstrating that they are a mixed population of objects.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Weyl-like points from band inversions of spin-polarised surface states in NbGeSb
Authors:
I. Marković,
C. A. Hooley,
O. J. Clark,
F. Mazzola,
M. D. Watson,
J. M. Riley,
K. Volckaert,
K. Underwood,
M. S. Dyer,
P. A. E. Murgatroyd,
K. J. Murphy,
P. Le Fèvre,
F. Bertran,
J. Fujii,
I. Vobornik,
S. Wu,
T. Okuda,
J. Alaria,
P. D. C. King
Abstract:
Band inversions are key to stabilising a variety of novel electronic states in solids, from topological surface states in inverted bulk band gaps of topological insulators to the formation of symmetry-protected three-dimensional Dirac and Weyl points and nodal-line semimetals. Here, we create a band inversion not of bulk states, but rather between manifolds of surface states. We realise this by al…
▽ More
Band inversions are key to stabilising a variety of novel electronic states in solids, from topological surface states in inverted bulk band gaps of topological insulators to the formation of symmetry-protected three-dimensional Dirac and Weyl points and nodal-line semimetals. Here, we create a band inversion not of bulk states, but rather between manifolds of surface states. We realise this by aliovalent substitution of Nb for Zr and Sb for S in the ZrSiS family of nonsymmorphic semimetals. Using angle-resolved photoemission and density-functional theory, we show how two pairs of surface states, known from ZrSiS, are driven to intersect each other in the vicinity of the Fermi level in NbGeSb, as well as to develop pronounced spin-orbit mediated spin splittings. We demonstrate how mirror symmetry leads to protected crossing points in the resulting spin-orbital entangled surface band structure, thereby stabilising surface state analogues of three-dimensional Weyl points. More generally, our observations suggest new opportunities for engineering topologically and symmetry-protected states via band inversions of surface states.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Federated Learning of N-gram Language Models
Authors:
Mingqing Chen,
Ananda Theertha Suresh,
Rajiv Mathews,
Adeline Wong,
Cyril Allauzen,
Françoise Beaufays,
Michael Riley
Abstract:
We propose algorithms to train production-quality n-gram language models using federated learning. Federated learning is a distributed computation platform that can be used to train global models for portable devices such as smart phones. Federated learning is especially relevant for applications handling privacy-sensitive data, such as virtual keyboards, because training is performed without the…
▽ More
We propose algorithms to train production-quality n-gram language models using federated learning. Federated learning is a distributed computation platform that can be used to train global models for portable devices such as smart phones. Federated learning is especially relevant for applications handling privacy-sensitive data, such as virtual keyboards, because training is performed without the users' data ever leaving their devices. While the principles of federated learning are fairly generic, its methodology assumes that the underlying models are neural networks. However, virtual keyboards are typically powered by n-gram language models for latency reasons.
We propose to train a recurrent neural network language model using the decentralized FederatedAveraging algorithm and to approximate this federated model server-side with an n-gram model that can be deployed to devices for fast inference. Our technical contributions include ways of handling large vocabularies, algorithms to correct capitalization errors in user data, and efficient finite state transducer algorithms to convert word language models to word-piece language models and vice versa. The n-gram language models trained with federated learning are compared to n-grams trained with traditional server-based algorithms using A/B tests on tens of millions of users of virtual keyboard. Results are presented for two languages, American English and Brazilian Portuguese. This work demonstrates that high-quality n-gram language models can be trained directly on client mobile devices without sensitive training data ever leaving the devices.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks
Authors:
James I. Lathrop,
Jack H. Lutz,
Robyn R. Lutz,
Hugh D. Potter,
Matthew R. Riley
Abstract:
We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We sho…
▽ More
We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.
△ Less
Submitted 1 June, 2020; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Approximating probabilistic models as weighted finite automata
Authors:
Ananda Theertha Suresh,
Brian Roark,
Michael Riley,
Vlad Schogol
Abstract:
Weighted finite automata (WFA) are often used to represent probabilistic models, such as $n$-gram language models, since they are efficient for recognition tasks in time and space. The probabilistic source to be represented as a WFA, however, may come in many forms. Given a generic probabilistic model over sequences, we propose an algorithm to approximate it as a weighted finite automaton such tha…
▽ More
Weighted finite automata (WFA) are often used to represent probabilistic models, such as $n$-gram language models, since they are efficient for recognition tasks in time and space. The probabilistic source to be represented as a WFA, however, may come in many forms. Given a generic probabilistic model over sequences, we propose an algorithm to approximate it as a weighted finite automaton such that the Kullback-Leiber divergence between the source model and the WFA target model is minimized. The proposed algorithm involves a counting step and a difference of convex optimization step, both of which can be performed efficiently. We demonstrate the usefulness of our approach on various tasks, including distilling $n$-gram models from neural models, building compact language models, and building open-vocabulary character models. The algorithms used for these experiments are available in an open-source software library.
△ Less
Submitted 29 January, 2021; v1 submitted 21 May, 2019;
originally announced May 2019.
-
Robustness and Games Against Nature in Molecular Programming
Authors:
Jack H. Lutz,
Neil Lutz,
Robyn R. Lutz,
Matthew R. Riley
Abstract:
Matter, especially DNA, is now programmed to carry out useful processes at the nanoscale. As these programs and processes become more complex and their envisioned safety-critical applications approach deployment, it is essential to develop methods for engineering trustworthiness into molecular programs. Some of this can be achieved by adapting existing software engineering methods, but molecular p…
▽ More
Matter, especially DNA, is now programmed to carry out useful processes at the nanoscale. As these programs and processes become more complex and their envisioned safety-critical applications approach deployment, it is essential to develop methods for engineering trustworthiness into molecular programs. Some of this can be achieved by adapting existing software engineering methods, but molecular programming also presents new challenges that will require new methods. This paper presents a method for dealing with one such challenge, namely, the difficulty of ascertaining how robust a molecular program is to perturbations of the relative "clock speeds" of its various reactions. The method proposed here is game-theoretic. The robustness of a molecular program is quantified in terms of its ability to win (achieve its original objective) in games against other molecular programs that manipulate its relative clock speeds. This game-theoretic approach is general enough to quantify the security of a molecular program against malicious manipulations of its relative clock speeds. However, this preliminary report focuses on games against nature, games in which the molecular program's opponent perturbs clock speeds randomly (indifferently) according to the probabilities inherent in chemical kinetics.
△ Less
Submitted 16 February, 2019;
originally announced February 2019.
-
Categories of Optics
Authors:
Mitchell Riley
Abstract:
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of symmetric monoidal categories to itself. We also show that this construction enjoys a universal property: it freely adds counit morphisms to a symmetric monoidal categ…
▽ More
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of symmetric monoidal categories to itself. We also show that this construction enjoys a universal property: it freely adds counit morphisms to a symmetric monoidal category. Missing in the folklore is a general definition of 'lawfulness' that applies directly to any optic category. We provide such a definition and show that it is equivalent to the folklore profunctor optic laws.
△ Less
Submitted 7 September, 2018; v1 submitted 3 September, 2018;
originally announced September 2018.
-
9C spectral-index distributions and source-count estimates from 15 to 93 GHz - a re-assessment
Authors:
E. M. Waldram,
R. C. Bolton,
J. M. Riley,
G. G. Pooley
Abstract:
In an earlier paper (2007), we used follow-up observations of a sample of sources from the 9C survey at 15.2 GHz to derive a set of spectral-index distributions up to a frequency of 90 GHz. These were based on simultaneous measurements made at 15.2 GHz with the Ryle telescope and at 22 and 43 GHz with the Karl G. Jansky Very Large Array (VLA). We used these distributions to make empirical estimate…
▽ More
In an earlier paper (2007), we used follow-up observations of a sample of sources from the 9C survey at 15.2 GHz to derive a set of spectral-index distributions up to a frequency of 90 GHz. These were based on simultaneous measurements made at 15.2 GHz with the Ryle telescope and at 22 and 43 GHz with the Karl G. Jansky Very Large Array (VLA). We used these distributions to make empirical estimates of source counts at 22, 30, 43, 70 and 90 GHz. In a later paper (2013), we took data at 15.7 GHz from the Arcminute Microkelvin Imager (AMI) and data at 93.2 GHz from the Combined Array for Research in Millimetre-wave Astronomy (CARMA) and estimated the source count at 93.2 GHz. In this paper, we re-examine the data used in both papers and now believe that the VLA flux densities we measured at 43 GHz were significantly in error, being on average only about 70 per cent of their correct values. Here, we present strong evidence for this conclusion and discuss the effect on the source-count estimates made in the 2007 paper. The source-count prediction in the 2013 paper is also revised. We make comparisons with spectral-index distributions and source counts from other telescopes, in particular with a recent deep 95 GHz source count measured by the South Pole Telescope. We investigate reasons for the problem of the low VLA 43-GHz values and find a number of possible contributory factors, but none is sufficient on its own to account for such a large deficit.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
Fermiology and Superconductivity of Topological Surface States in PdTe$_2$
Authors:
O. J. Clark,
M. J. Neat,
K. Okawa,
L. Bawden,
I. Marković,
F. Mazzola,
J. Feng,
V. Sunko,
J. M. Riley,
W. Meevasana,
J. Fujii,
I. Vobornik,
T. K. Kim,
M. Hoesch,
T. Sasagawa,
P. Wahl,
M. S. Bahramy,
P. D. C. King
Abstract:
We study the low-energy surface electronic structure of the transition-metal dichalcogenide superconductor PdTe$_2$ by spin- and angle-resolved photoemission, scanning tunneling microscopy, and density-functional theory-based supercell calculations. Comparing PdTe$_2$ with its sister compound PtSe$_2$, we demonstrate how enhanced inter-layer hop** in the Te-based material drives a band inversion…
▽ More
We study the low-energy surface electronic structure of the transition-metal dichalcogenide superconductor PdTe$_2$ by spin- and angle-resolved photoemission, scanning tunneling microscopy, and density-functional theory-based supercell calculations. Comparing PdTe$_2$ with its sister compound PtSe$_2$, we demonstrate how enhanced inter-layer hop** in the Te-based material drives a band inversion within the anti-bonding p-orbital manifold well above the Fermi level. We show how this mediates spin-polarised topological surface states which form rich multi-valley Fermi surfaces with complex spin textures. Scanning tunneling spectroscopy reveals type-II superconductivity at the surface, and moreover shows no evidence for an unconventional component of its superconducting order parameter, despite the presence of topological surface states.
△ Less
Submitted 16 April, 2018; v1 submitted 12 December, 2017;
originally announced December 2017.
-
Maximal Rashba-like spin splitting via kinetic energy-driven inversion symmetry breaking
Authors:
Veronika Sunko,
H. Rosner,
P. Kushwaha,
S. Khim,
F. Mazzola,
L. Bawden,
O. J. Clark,
J. M. Riley,
D. Kasinathan,
M. W. Haverkort,
T. K. Kim,
M. Hoesch,
J. Fujii,
I. Vobornik,
A. P. Mackenzie,
P. D. C. King
Abstract:
Engineering and enhancing inversion symmetry breaking in solids is a major goal in condensed matter physics and materials science, as a route to advancing new physics and applications ranging from improved ferroelectrics for memory devices to materials hosting Majorana zero modes for quantum computing. Here, we uncover a new mechanism for realising a much larger energy scale of inversion symmetry…
▽ More
Engineering and enhancing inversion symmetry breaking in solids is a major goal in condensed matter physics and materials science, as a route to advancing new physics and applications ranging from improved ferroelectrics for memory devices to materials hosting Majorana zero modes for quantum computing. Here, we uncover a new mechanism for realising a much larger energy scale of inversion symmetry breaking at surfaces and interfaces than is typically achieved. The key ingredient is a pronounced asymmetry of surface hop** energies, i.e. a kinetic energy-driven inversion symmetry breaking, whose energy scale is pinned at a significant fraction of the bandwidth. We show, from spin- and angle-resolved photoemission, how this enables surface states of 3d and 4d-based transition-metal oxides to surprisingly develop some of the largest Rashba-like spin splittings that are known. Our findings open new possibilities to produce spin textured states in oxides which exploit the full potential of the bare atomic spin-orbit coupling, raising exciting prospects for oxide spintronics. More generally, the core structural building blocks which enable this are common to numerous materials, providing the prospect of enhanced inversion symmetry breaking at judiciously-chosen surfaces of a plethora of compounds, and suggesting routes to interfacial control of inversion symmetry breaking in designer heterostructures.
△ Less
Submitted 13 August, 2017;
originally announced August 2017.
-
The prevalence of core emission in faint radio galaxies in the SKA Simulated Skies
Authors:
Imogen H. Whittam,
Matt J. Jarvis,
David A. Green,
Ian Heywood,
Julia M. Riley
Abstract:
Empirical simulations based on extrapolations from well-established low-frequency ($< 5$ GHz) surveys fail to accurately model the faint, high frequency ($>10$~GHz) source population; they under-predict the number of observed sources by a factor of two below $S_{18~\rm GHz} = 10$ mJy and fail to reproduce the observed spectral index distribution. We suggest that this is because the faint radio gal…
▽ More
Empirical simulations based on extrapolations from well-established low-frequency ($< 5$ GHz) surveys fail to accurately model the faint, high frequency ($>10$~GHz) source population; they under-predict the number of observed sources by a factor of two below $S_{18~\rm GHz} = 10$ mJy and fail to reproduce the observed spectral index distribution. We suggest that this is because the faint radio galaxies are not modelled correctly in the simulations and show that by adding a flat-spectrum core component to the FRI sources in the SKA Simulated Skies, the observed 15-GHz source counts can be reproduced. We find that the observations are best matched by assuming that the fraction of the total 1.4-GHz flux density which originates from the core varies with 1.4-GHz luminosity; sources with 1.4-GHz luminosities $< 10^{25} \rm W \, Hz^{-1}$ require a core fraction $\sim 0.3$, while the more luminous sources require a much smaller core fraction of $5 \times 10^{-4}$. The low luminosity FRI sources with high core fractions which were not included in the original simulation may be equivalent to the compact `FR0' sources found in recent studies.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Mobile Keyboard Input Decoding with Finite-State Transducers
Authors:
Tom Ouyang,
David Rybach,
Françoise Beaufays,
Michael Riley
Abstract:
We propose a finite-state transducer (FST) representation for the models used to decode keyboard inputs on mobile devices. Drawing from learnings from the field of speech recognition, we describe a decoding framework that can satisfy the strict memory and latency constraints of keyboard input. We extend this framework to support functionalities typically not present in speech recognition, such as…
▽ More
We propose a finite-state transducer (FST) representation for the models used to decode keyboard inputs on mobile devices. Drawing from learnings from the field of speech recognition, we describe a decoding framework that can satisfy the strict memory and latency constraints of keyboard input. We extend this framework to support functionalities typically not present in speech recognition, such as literal decoding, autocorrections, word completions, and next word predictions.
We describe the general framework of what we call for short the keyboard "FST decoder" as well as the implementation details that are new compared to a speech FST decoder. We demonstrate that the FST decoder enables new UX features such as post-corrections. Finally, we sketch how this decoder can support advanced features such as personalization and contextualization.
△ Less
Submitted 13 April, 2017;
originally announced April 2017.
-
Narrow-band anisotropic electronic structure of ReS$_2$
Authors:
D. Biswas,
A. M. Ganose,
R. Yano,
J. M. Riley,
L. Bawden,
O. J. Clark,
J. Feng,
L. Collins-Mcintyre,
W. Meevasana,
T. K. Kim,
M. Hoesch,
J. E. Rault,
T. Sasagawa,
D. O. Scanlon,
P. D. C. King
Abstract:
We have used angle resolved photoemission spectroscopy to investigate the band structure of ReS$_2$, a transition-metal dichalcogenide semiconductor with a distorted 1T crystal structure. We find a large number of narrow valence bands, which we attribute to the combined influence of the structural distortion and spin-orbit coupling. We further image how this leads to a strong in-plane anisotropy o…
▽ More
We have used angle resolved photoemission spectroscopy to investigate the band structure of ReS$_2$, a transition-metal dichalcogenide semiconductor with a distorted 1T crystal structure. We find a large number of narrow valence bands, which we attribute to the combined influence of the structural distortion and spin-orbit coupling. We further image how this leads to a strong in-plane anisotropy of the electronic structure, with quasi-one-dimensional bands reflecting predominant hop** along zig-zag Re chains. We find that this does not persist up to the top of the valence band, where a more three-dimensional character is recovered with the fundamental band gap located away from the Brillouin zone centre along $k_z$. These experiments are in good agreement with our density-functional theory calculations, shedding new light on the bulk electronic structure of ReS$_2$, and how it can be expected to evolve when thinned to a single layer.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Ubiquitous formation of bulk Dirac cones and topological surface states from a single orbital manifold in transition-metal dichalcogenides
Authors:
M. S. Bahramy,
O. J. Clark,
B. -J. Yang,
J. Feng,
L. Bawden,
J. M. Riley,
I. Marković,
F. Mazzola,
V. Sunko,
D. Biswas,
S. P. Cooil,
M. Jorge,
J. W. Wells,
M. Leandersson,
T. Balasubramanian,
J. Fujii,
I. Vobornik,
J. E. Rault,
T. K. Kim,
M. Hoesch,
K. Okawa,
M. Asakawa,
T. Sasagawa,
T. Eknapakul,
W. Meevasana
, et al. (1 additional authors not shown)
Abstract:
Transition-metal dichalcogenides (TMDs) are renowned for their rich and varied properties. They range from metals and superconductors to strongly spin-orbit-coupled semiconductors and charge-density-wave systems, with their single-layer variants one of the most prominent current examples of two-dimensional materials beyond graphene. Their varied ground states largely depend on the transition metal…
▽ More
Transition-metal dichalcogenides (TMDs) are renowned for their rich and varied properties. They range from metals and superconductors to strongly spin-orbit-coupled semiconductors and charge-density-wave systems, with their single-layer variants one of the most prominent current examples of two-dimensional materials beyond graphene. Their varied ground states largely depend on the transition metal d-electron-derived electronic states, on which the vast majority of attention has been concentrated to date. Here, we focus on the chalcogen-derived states. From density-functional theory calculations together with spin- and angle- resolved photoemission, we find that these generically host type-II three-dimensional bulk Dirac fermions as well as ladders of topological surface states and surface resonances. We demonstrate how these naturally arise within a single p-orbital manifold as a general consequence of a trigonal crystal field, and as such can be expected across a large number of compounds. Already, we demonstrate their existence in six separate TMDs, opening routes to tune, and ultimately exploit, their topological physics.
△ Less
Submitted 19 July, 2018; v1 submitted 27 February, 2017;
originally announced February 2017.
-
Multiband one-dimensional electronic structure and spectroscopic signature of Tomonoga-Luttinger liquid behavior in K$_2$Cr$_3$As$_3$
Authors:
M. D. Watson,
Y. Feng,
C. W. Nicholson,
C. Monney,
J. M. Riley,
H. Iwasawa,
K. Refson,
V. Sacksteder,
D. T. Adroja,
J. Zhao,
M. Hoesch
Abstract:
We present Angle-Resolved Photoemission Spectroscopy measurements of the quasi-one dimensional superconductor K$_2$Cr$_3$As$_3$. We find that the Fermi surface contains two Fermi surface sheets, with linearly dispersing bands not displaying any significant band renormalizations. The one-dimensional band dispersions display a suppression of spectral intensity approaching the Fermi level according t…
▽ More
We present Angle-Resolved Photoemission Spectroscopy measurements of the quasi-one dimensional superconductor K$_2$Cr$_3$As$_3$. We find that the Fermi surface contains two Fermi surface sheets, with linearly dispersing bands not displaying any significant band renormalizations. The one-dimensional band dispersions display a suppression of spectral intensity approaching the Fermi level according to a linear power law, over an energy range of ~200 meV. This is interpreted as a signature of Tomonoga-Luttinger liquid physics, which provides a new perspective on the possibly unconventional superconductivity in this family of compounds.
△ Less
Submitted 13 October, 2016;
originally announced October 2016.
-
GMRT 610-MHz observations of the faint radio source population - and what these tell us about the higher-radio-frequency sky
Authors:
I. H. Whittam,
D. A. Green,
M. J. Jarvis,
J. M. Riley
Abstract:
We present 610-MHz Giant Metrewave Radio Telescope observations of 0.84 deg$^2$ of the AMI001 field (centred on $00^{\rm h} 23^{\rm m} 10^{\rm s}$, $+31^{\circ} 53'$) with an r.m.s. noise of 18 $μ$Jy beam$^{-1}$ in the centre of the field. 955 sources are detected, and 814 are included in the source count analysis. The source counts from these observations are consistent with previous work. We hav…
▽ More
We present 610-MHz Giant Metrewave Radio Telescope observations of 0.84 deg$^2$ of the AMI001 field (centred on $00^{\rm h} 23^{\rm m} 10^{\rm s}$, $+31^{\circ} 53'$) with an r.m.s. noise of 18 $μ$Jy beam$^{-1}$ in the centre of the field. 955 sources are detected, and 814 are included in the source count analysis. The source counts from these observations are consistent with previous work. We have used these data to study the spectral index distribution of a sample of sources selected at 15.7 GHz from the recent deep extension to the Tenth Cambridge (10C) survey. The median spectral index, $α$, (where $S \propto ν^{-α}$) between $0.08 < S_{15.7~\rm GHz} / \rm mJy < 0.2$ is $0.32 \pm 0.14$, showing that star-forming galaxies, which have much steeper spectra, are not contributing significantly to this population. This is in contrast to several models, but in agreement with the results from the 10C ultra-deep source counts; the high-frequency sky therefore continues to be dominated by radio galaxies down to $S_{15.7~\rm GHz} = 0.1$ mJy.
△ Less
Submitted 10 October, 2016;
originally announced October 2016.
-
Spin and Valley Control of Free Carriers in Single-Layer WS$_2$
Authors:
Søren Ulstrup,
Antonija Grubišić Čabo,
Deepnarayan Biswas,
Jonathon M. Riley,
Maciej Dendzik,
Charlotte E. Sanders,
Marco Bianchi,
Cephise Cacho,
Dan Matselyukh,
Richard T. Chapman,
Emma Springate,
Phil D. C. King,
Jill A. Miwa,
Philip Hofmann
Abstract:
The semiconducting single-layer transition metal dichalcogenides have been identified as ideal materials for accessing and manipulating spin- and valley-quantum numbers due to a set of favorable optical selection rules in these materials. Here, we apply time- and angle-resolved photoemission spectroscopy to directly probe optically excited free carriers in the electronic band structure of a high q…
▽ More
The semiconducting single-layer transition metal dichalcogenides have been identified as ideal materials for accessing and manipulating spin- and valley-quantum numbers due to a set of favorable optical selection rules in these materials. Here, we apply time- and angle-resolved photoemission spectroscopy to directly probe optically excited free carriers in the electronic band structure of a high quality single layer of WS$_2$. We observe that the optically generated free hole density in a single valley can be increased by a factor of 2 using a circularly polarized optical excitation. Moreover, we find that by varying the photon energy of the excitation we can tune the free carrier density in a given spin-split state around the valence band maximum of the material. The control of the photon energy and polarization of the excitation thus permits us to selectively excite free electron-hole pairs with a given spin and within a single valley.
△ Less
Submitted 21 August, 2016;
originally announced August 2016.
-
The faint source population at 15.7 GHz - III. A high-frequency study of HERGs and LERGs
Authors:
Imogen H. Whittam,
Julia M. Riley,
David A. Green,
Matt J. Jarvis
Abstract:
A complete sample of 96 faint ($S > 0.5$ mJy) radio galaxies is selected from the Tenth Cambridge (10C) survey at 15.7~GHz. Optical spectra are used to classify 17 of the sources as high-excitation or low-excitation radio galaxies (HERGs and LERGs respectively), for the remaining sources three other methods are used; these are optical compactness, X-ray observations and mid-infrared colour--colour…
▽ More
A complete sample of 96 faint ($S > 0.5$ mJy) radio galaxies is selected from the Tenth Cambridge (10C) survey at 15.7~GHz. Optical spectra are used to classify 17 of the sources as high-excitation or low-excitation radio galaxies (HERGs and LERGs respectively), for the remaining sources three other methods are used; these are optical compactness, X-ray observations and mid-infrared colour--colour diagrams. 32 sources are HERGs and 35 are LERGs while the remaining 29 sources could not be classified. We find that the 10C HERGs tend to have higher 15.7-GHz flux densities, flatter spectra, smaller linear sizes and be found at higher redshifts than the LERGs. This suggests that the 10C HERGs are more core dominated than the LERGs.
Lower-frequency radio images, linear sizes and spectral indices are used to classify the sources according to their radio morphology; 18 are Fanaroff and Riley type I or II sources, a further 13 show some extended emission, and the remaining 65 sources are compact and are referred to as FR0 sources. The FR0 sources are sub-divided into compact, steep-spectrum (CSS) sources (13 sources) or GHz-peaked spectrum (GPS) sources (10 sources) with the remaining 42 in an unclassified class. FR0 sources are more dominant in the subset of sources with 15.7-GHz flux densities $<$1 mJy, consistent with the previous result that the fainter 10C sources have flatter radio spectra.
The properties of the 10C sources are compared to the higher-flux density Australia Telescope 20 GHz (AT20G) survey. The 10C sources are found at similar redshifts to the AT20G sources but have lower luminosities. The nature of the high-frequency selected objects change as flux density decreases; at high flux densities the objects are primarily quasars, while at low flux densities radio galaxies dominate.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
Ultrafast Band Structure Control of a Two-Dimensional Heterostructure
Authors:
Søren Ulstrup,
Antonija Grubišić Čabo,
Jill A. Miwa,
Jonathon M. Riley,
Signe S. Grønborg,
Jens C. Johannsen,
Cephise Cacho,
Oliver Alexander,
Richard T. Chapman,
Emma Springate,
Marco Bianchi,
Maciej Dendzik,
Jeppe V. Lauritsen,
Phil D. C. King,
Philip Hofmann
Abstract:
The electronic structure of two-dimensional (2D) semiconductors can be significantly altered by screening effects, either from free charge carriers in the material itself, or by environmental screening from the surrounding medium. The physical properties of 2D semiconductors placed in a heterostructure with other 2D materials are therefore governed by a complex interplay of both intra- and inter-l…
▽ More
The electronic structure of two-dimensional (2D) semiconductors can be significantly altered by screening effects, either from free charge carriers in the material itself, or by environmental screening from the surrounding medium. The physical properties of 2D semiconductors placed in a heterostructure with other 2D materials are therefore governed by a complex interplay of both intra- and inter-layer interactions. Here, using time- and angle-resolved photoemission, we are able to isolate both the layer-resolved band structure and, more importantly, the transient band structure evolution of a model 2D heterostructure formed of a single layer of MoS$_2$ on graphene. Our results reveal a pronounced renormalization of the quasiparticle gap of the MoS$_2$ layer. Following optical excitation, the band gap is reduced by up to $\sim\!$400 meV on femtosecond timescales due to a persistence of strong electronic interactions despite the environmental screening by the $n$-doped graphene. This points to a large degree of tuneability of both the electronic structure and electron dynamics for 2D semiconductors embedded in a van der Waals-bonded heterostructure.
△ Less
Submitted 11 June, 2016;
originally announced June 2016.
-
Spin-valley locking in the normal state of a transition-metal dichalocogenide superconductor
Authors:
L. Bawden,
S. P. Cooil,
F. Mazzola,
J. M. Riley,
L. J. Collins-McIntyre,
V. Sunko,
K. Hunvik,
M. Leandersson,
C. M. Polley,
T. Balasubramanian,
T. K. Kim,
M. Hoesch,
J. W. Wells,
G. Balakrishnan,
M. S. Bahramy,
P. D. C. King
Abstract:
The metallic transition-metal dichalcogenides (TMDCs) are benchmark systems for studying and controlling intertwined electronic orders in solids, with superconductivity develo** upon cooling from a charge density wave state. The interplay between such phases is thought to play a critical role in the unconventional superconductivity of cuprates, Fe-based, and heavy-fermion systems, yet even for t…
▽ More
The metallic transition-metal dichalcogenides (TMDCs) are benchmark systems for studying and controlling intertwined electronic orders in solids, with superconductivity develo** upon cooling from a charge density wave state. The interplay between such phases is thought to play a critical role in the unconventional superconductivity of cuprates, Fe-based, and heavy-fermion systems, yet even for the more moderately-correlated TMDCs, their nature and origins have proved highly controversial. Here, we study a prototypical example, $2H$-NbSe$_2$, by spin- and angle-resolved photoemission and first-principles theory. We find that the normal state, from which its hallmark collective phases emerge, is characterised by quasiparticles whose spin is locked to their valley pseudospin. This results from a combination of strong spin-orbit interactions and local inversion symmetry breaking. Non-negligible interlayer coupling further drives a rich three-dimensional momentum-dependence of the underlying Fermi surface spin texture. Together, these findings necessitate a fundamental re-investigation of the nature of charge order and superconducting pairing in NbSe$_2$ and related TMDCs.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Exploring the faint source population at 15.7 GHz
Authors:
Imogen H. Whittam,
Julia M. Riley,
David A. Green,
Matt J. Jarvis
Abstract:
We discuss our current understanding of the nature of the faint, high-frequency radio sky. The Tenth Cambridge (10C) survey at 15.7 GHz is the deepest high-frequency radio survey to date, covering 12 square degrees to a completeness limit of 0.5 mJy, making it the ideal starting point from which to study this population. In this work we have matched the 10C survey to several lower-frequency radio…
▽ More
We discuss our current understanding of the nature of the faint, high-frequency radio sky. The Tenth Cambridge (10C) survey at 15.7 GHz is the deepest high-frequency radio survey to date, covering 12 square degrees to a completeness limit of 0.5 mJy, making it the ideal starting point from which to study this population. In this work we have matched the 10C survey to several lower-frequency radio catalogues and a wide range of multi-wavelength data (near- and far-infrared, optical and X-ray). We find a significant increase in the proportion of flat-spectrum sources at flux densities below 1 mJy - the median radio spectral index between 15.7 GHz and 610 MHz changes from 0.75 for flux densities greater than 1.5 mJy to 0.08 for flux densities less than 0.8 mJy. The multi-wavelength analysis shows that the vast majority (> 94 percent) of the 10C sources are radio galaxies; it is therefore likely that these faint, flat spectrum sources are a result of the cores of radio galaxies becoming dominant at high frequencies. We have used new observations to extend this study to even fainter flux densities, calculating the 15.7-GHz radio source count down to 0.1 mJy, a factor of five deeper than previous studies. There is no evidence for a new population of sources, showing that the high-frequency sky continues to be dominated by radio galaxies down to at least 0.1 mJy.
△ Less
Submitted 29 February, 2016;
originally announced February 2016.
-
Direct Evidence of Octupole Deformation in Neutron-Rich $^{144}$Ba
Authors:
B. Bucher,
S. Zhu,
C. Y. Wu,
R. V. F. Janssens,
D. Cline,
A. B. Hayes,
M. Albers,
A. D. Ayangeakaa,
P. A. Butler,
C. M. Campbell,
M. P. Carpenter,
C. J. Chiara,
J. A. Clark,
H. L. Crawford,
M. Cromaz,
H. M. David,
C. Dickerson,
E. T. Gregor,
J. Harker,
C. R. Hoffman,
B. P. Kay,
F. G. Kondev,
A. Korichi,
T. Lauritsen,
A. O. Macchiavelli
, et al. (9 additional authors not shown)
Abstract:
The neutron-rich nucleus $^{144}$Ba ($t_{1/2}$=11.5 s) is expected to exhibit some of the strongest octupole correlations among nuclei with mass numbers $A$ less than 200. Until now, indirect evidence for such strong correlations has been inferred from observations such as enhanced $E1$ transitions and interleaving positive- and negative-parity levels in the ground-state band. In this experiment,…
▽ More
The neutron-rich nucleus $^{144}$Ba ($t_{1/2}$=11.5 s) is expected to exhibit some of the strongest octupole correlations among nuclei with mass numbers $A$ less than 200. Until now, indirect evidence for such strong correlations has been inferred from observations such as enhanced $E1$ transitions and interleaving positive- and negative-parity levels in the ground-state band. In this experiment, the octupole strength was measured directly by sub-barrier, multi-step Coulomb excitation of a post-accelerated 650-MeV $^{144}$Ba beam on a 1.0-mg/cm$^2$ $^{208}$Pb target. The measured value of the matrix element, $\langle 3_1^- \| \mathcal{M}(E3) \| 0_1^+ \rangle=0.65(^{+17}_{-23})$ $e$b$^{3/2}$, corresponds to a reduced $B(E3)$ transition probability of 48($^{+25}_{-34}$) W.u. This result represents an unambiguous determination of the octupole collectivity, is larger than any available theoretical prediction, and is consistent with octupole deformation.
△ Less
Submitted 3 February, 2016;
originally announced February 2016.
-
10C continued: a deeper radio survey at 15.7 GHz
Authors:
I. H. Whittam,
J. M. Riley,
D. A. Green,
M. L. Davies,
T. M. O. Franzen,
C. Rumsey,
M. P. Schammel,
E. M. Waldram
Abstract:
We present deep 15.7-GHz observations made with the Arcminute Microkelvin Imager Large Array in two fields previously observed as part of the Tenth Cambridge (10C) survey. These observations allow the source counts to be calculated down to 0.1 mJy, a factor of five deeper than achieved by the 10C survey. The new source counts are consistent with the extrapolated fit to the 10C source count, and di…
▽ More
We present deep 15.7-GHz observations made with the Arcminute Microkelvin Imager Large Array in two fields previously observed as part of the Tenth Cambridge (10C) survey. These observations allow the source counts to be calculated down to 0.1 mJy, a factor of five deeper than achieved by the 10C survey. The new source counts are consistent with the extrapolated fit to the 10C source count, and display no evidence for either steepening or flattening of the counts. There is thus no evidence for the emergence of a significant new population of sources (e.g. starforming) at 15.7 GHz flux densities above 0.1 mJy, the flux density level at which we expect starforming galaxies to begin to contribute. Comparisons with the de Zotti et al. model and the SKADS Simulated Sky show that they both underestimate the observed number of sources by a factor of two at this flux density level. We suggest that this is due to the flat-spectrum cores of radio galaxies contributing more significantly to the counts than predicted by the models.
△ Less
Submitted 3 January, 2016;
originally announced January 2016.
-
Nearly-free electrons in a 5d delafossite oxide metal
Authors:
Pallavi Kushwaha,
Veronika Sunko,
P. J. W. Moll,
L. Bawden,
J. M. Riley,
Nabhanila Nandi,
H. Rosner,
M. P. Schmidt,
F. Arnold,
E. Hassinger,
T. K. Kim,
M. Hoesch,
A. P. Mackenzie,
P. D. C. King
Abstract:
Understanding the role of electron correlations in strong spin-orbit transition-metal oxides is key to the realisation of numerous exotic phases including spin-orbit assisted Mott insulators, correlated topological solids, and prospective new high-temperature superconductors. To date, most attention has been focussed on the $5d$ iridium-based oxides. Here, we instead consider the Pt-based delafoss…
▽ More
Understanding the role of electron correlations in strong spin-orbit transition-metal oxides is key to the realisation of numerous exotic phases including spin-orbit assisted Mott insulators, correlated topological solids, and prospective new high-temperature superconductors. To date, most attention has been focussed on the $5d$ iridium-based oxides. Here, we instead consider the Pt-based delafossite oxide PtCoO$_2$. Our transport measurements, performed on single-crystal samples etched to well-defined geometries using focussed ion-beam techniques, yield a room-temperature resistivity of only 2.1~$μΩ$cm, establishing PtCoO$_2$ as the most conductive oxide known. From angle-resolved photoemission and density-functional theory, we show that the underlying Fermi surface is a single cylinder of nearly hexagonal cross-section, with very weak dispersion along k$_z$. Despite being predominantly composed of $d$-orbital character, the conduction band is remarkably steep, with an average effective mass of only 1.14$m_e$. Moreover, the sharp spectral features observed in photoemission remain well-defined with little additional broadening for over 500~meV below E$_F$, pointing to suppressed electron-electron scattering. Together, our findings establish PtCoO$_2$ as a model nearly-free electron system in a $5d$ delafossite transition-metal oxide.
△ Less
Submitted 8 October, 2015;
originally announced October 2015.
-
Observation of Ultrafast Free Carrier Dynamics in Single Layer MoS$_2$
Authors:
Antonija Grubišić Čabo,
Jill A. Miwa,
Signe S. Grønborg,
Jonathon M. Riley,
Jens C. Johannsen,
Cephise Cacho,
Oliver Alexander,
Richard T. Chapman,
Emma Springate,
Marco Grioni,
Jeppe V. Lauritsen,
Phil D. C. King,
Philip Hofmann,
Søren Ulstrup
Abstract:
The dynamics of excited electrons and holes in single layer (SL) MoS$_2$ have so far been difficult to disentangle from the excitons that dominate the optical response of this material. Here, we use time- and angle-resolved photoemission spectroscopy for a SL of MoS$_2$ on a metallic substrate to directly measure the excited free carriers. This allows us to ascertain a direct quasiparticle band ga…
▽ More
The dynamics of excited electrons and holes in single layer (SL) MoS$_2$ have so far been difficult to disentangle from the excitons that dominate the optical response of this material. Here, we use time- and angle-resolved photoemission spectroscopy for a SL of MoS$_2$ on a metallic substrate to directly measure the excited free carriers. This allows us to ascertain a direct quasiparticle band gap of 1.95 eV and determine an ultrafast (50 fs) extraction of excited free carriers via the metal in contact with the SL MoS$_2$. This process is of key importance for optoelectronic applications that rely on separated free carriers rather than excitons.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
The faint radio source population at 15.7 GHz - II. Multi-wavelength properties
Authors:
I. H. Whittam,
J. M. Riley,
D. A. Green,
M. J. Jarvis,
M. Vaccari
Abstract:
A complete, flux density limited sample of 96 faint ($> 0.5$ mJy) radio sources is selected from the 10C survey at 15.7 GHz in the Lockman Hole. We have matched this sample to a range of multi-wavelength catalogues, including SERVS, SWIRE, UKIDSS and optical data; multi-wavelength counterparts are found for 80 of the 96 sources and spectroscopic redshifts are available for 24 sources. Photometric…
▽ More
A complete, flux density limited sample of 96 faint ($> 0.5$ mJy) radio sources is selected from the 10C survey at 15.7 GHz in the Lockman Hole. We have matched this sample to a range of multi-wavelength catalogues, including SERVS, SWIRE, UKIDSS and optical data; multi-wavelength counterparts are found for 80 of the 96 sources and spectroscopic redshifts are available for 24 sources. Photometric reshifts are estimated for the sources with multi-wavelength data available; the median redshift of the sample is 0.91 with an interquartile range of 0.84. Radio-to-optical ratios show that at least 94 per cent of the sample are radio loud, indicating that the 10C sample is dominated by radio galaxies. This is in contrast to samples selected at lower frequencies, where radio-quiet AGN and starforming galaxies are present in significant numbers at these flux density levels. All six radio-quiet sources have rising radio spectra, suggesting that they are dominated by AGN emission. These results confirm the conclusions of Paper I that the faint, flat-spectrum sources which are found to dominate the 10C sample below $\sim 1$ mJy are the cores of radio galaxies. The properties of the 10C sample are compared to the SKADS Simulated Skies; a population of low-redshift starforming galaxies predicted by the simulation is not found in the observed sample.
△ Less
Submitted 7 September, 2015; v1 submitted 13 August, 2015;
originally announced August 2015.