Skip to main content

Showing 1–50 of 85 results for author: Riley, M

.
  1. arXiv:2404.09221  [pdf, other

    cs.CL cs.AI cs.LG

    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

    Submitted 5 June, 2024; v1 submitted 14 April, 2024; originally announced April 2024.

  2. arXiv:2403.01939  [pdf, other

    math.CT cs.PL math.LO

    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.

    Submitted 4 March, 2024; originally announced March 2024.

    Comments: 29 pages

  3. arXiv:2312.10342  [pdf, other

    cs.CV cs.LG eess.SP

    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

    Submitted 16 December, 2023; originally announced December 2023.

    Comments: accepted by IEEE Transactions on Intelligent Vehicles

  4. arXiv:2312.02799  [pdf, other

    math.CO nlin.CG

    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

    Submitted 5 December, 2023; originally announced December 2023.

    Comments: 32 pages, numerous figures

  5. arXiv:2312.01666  [pdf, other

    physics.class-ph cond-mat.soft

    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

    Submitted 4 December, 2023; originally announced December 2023.

    Comments: 10 pages, 6 figures

  6. 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

    Submitted 17 November, 2023; originally announced November 2023.

    Journal ref: in IEEE Wireless Communications Letters, vol. 12, no. 11, pp. 1831-1835, Nov. 2023

  7. arXiv:2311.07791  [pdf

    q-bio.QM

    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

    Submitted 13 November, 2023; originally announced November 2023.

  8. arXiv:2306.08133  [pdf, ps, other

    eess.AS cs.CL

    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

    Submitted 5 September, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

    Comments: 5 pages, accepted in ICASSP 2023

    Journal ref: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

  9. arXiv:2304.13134  [pdf, ps, other

    cs.CL

    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

    Submitted 25 April, 2023; originally announced April 2023.

  10. arXiv:2301.13780  [pdf, other

    math.CT math.AT math.LO

    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

    Submitted 31 January, 2023; originally announced January 2023.

  11. arXiv:2212.12442  [pdf, ps, other

    cs.CL cs.LG

    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

    Submitted 22 December, 2022; originally announced December 2022.

  12. 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

    Submitted 22 September, 2022; originally announced September 2022.

    Comments: 17 pages, to be published in the Proceedings of the 24th International Conference on Mobile Human-Computer Interaction (MobileHCI 2022)

  13. arXiv:2208.11630  [pdf, other

    physics.comp-ph astro-ph.IM cs.MS

    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

    Submitted 24 August, 2022; originally announced August 2022.

    Comments: 16 pages, 5 Figures, published open access in SoftwareX

    Journal ref: SoftwareX, Volume 19, 2022, 101168,ISSN 2352-7110

  14. arXiv:2205.13674  [pdf, ps, other

    cs.LG cs.AI cs.CL

    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

    Submitted 26 May, 2022; originally announced May 2022.

  15. arXiv:2105.03352  [pdf, ps, other

    math.NT

    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.

    Submitted 7 May, 2021; originally announced May 2021.

    Comments: 18 pages, 10 figures, 3 tables

  16. arXiv:2103.16975  [pdf, other

    cond-mat.mtrl-sci

    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

    Submitted 31 March, 2021; originally announced March 2021.

    Comments: 10 pages, 4 figures

  17. arXiv:2102.04099  [pdf, other

    math.CT math.AT math.LO

    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

    Submitted 8 February, 2021; originally announced February 2021.

    Comments: 75 pages

  18. arXiv:2010.00958  [pdf

    eess.IV

    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

    Submitted 9 October, 2020; v1 submitted 1 October, 2020; originally announced October 2020.

    Comments: 21 pages, 20 figures, 6 tables. arXiv admin note: substantial text overlap with arXiv:2008.00597

  19. arXiv:2008.00597  [pdf

    eess.IV

    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

    Submitted 14 October, 2020; v1 submitted 2 August, 2020; originally announced August 2020.

    Comments: 18 pages, 15 figures, 4 tables

  20. arXiv:2007.13660  [pdf, other

    cs.LG cs.CR cs.DS cs.IT stat.ML

    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

    Submitted 11 January, 2021; v1 submitted 27 July, 2020; originally announced July 2020.

    Comments: NeurIPS 2020, 38 pages

  21. 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

    Submitted 10 May, 2020; originally announced May 2020.

    Comments: Published in Physics Review C

    Journal ref: Phys. Rev. C 91, 034330 (2015)

  22. 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

    Submitted 10 May, 2020; originally announced May 2020.

    Comments: Published in Physical Rev C

    Journal ref: Phys. Rev. C 101, 044312 (2020)

  23. 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

    Submitted 10 May, 2020; originally announced May 2020.

    Comments: Published in Physical Review C (2019)

    Journal ref: Phys. Rev. C 100, 034322 (2019)

  24. arXiv:2003.07705  [pdf, ps, other

    eess.AS cs.CL cs.LG cs.SD

    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

    Submitted 12 March, 2020; originally announced March 2020.

  25. 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

    Submitted 29 January, 2020; originally announced January 2020.

    Comments: 15 pages, 13 figures. Accepted for publication in MNRAS

  26. arXiv:1911.08631  [pdf, other

    cond-mat.mtrl-sci cond-mat.mes-hall

    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

    Submitted 19 November, 2019; originally announced November 2019.

    Comments: In press at Nature Communications. This is the originally submitted manuscript prior to changes during the review process. Contains 20+6 pages, including Supplementary Information

  27. arXiv:1910.03432  [pdf, other

    cs.CL cs.LG

    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

    Submitted 8 October, 2019; originally announced October 2019.

    Comments: 10 pages

  28. arXiv:1909.05390  [pdf, other

    cs.ET q-bio.MN

    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

    Submitted 1 June, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

    Comments: 30 pages, 3 figures

  29. arXiv:1905.08701  [pdf, other

    cs.CL cs.FL cs.IT

    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

    Submitted 29 January, 2021; v1 submitted 21 May, 2019; originally announced May 2019.

  30. arXiv:1902.06171  [pdf, ps, other

    cs.GT cs.ET cs.SE

    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

    Submitted 16 February, 2019; originally announced February 2019.

  31. arXiv:1809.00738  [pdf, ps, other

    math.CT

    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

    Submitted 7 September, 2018; v1 submitted 3 September, 2018; originally announced September 2018.

    Comments: 51 pages. v2: typos/minor fixes

  32. 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

    Submitted 6 March, 2018; originally announced March 2018.

    Comments: 9 pages, 5 figures

    Journal ref: MNRAS 473, 1317-1324 (2018)

  33. arXiv:1712.04184  [pdf, other

    cond-mat.supr-con cond-mat.mtrl-sci

    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

    Submitted 16 April, 2018; v1 submitted 12 December, 2017; originally announced December 2017.

    Comments: 6 pages, 3 figures

    Journal ref: Phys. Rev. Lett. 120, 156401 (2018)

  34. arXiv:1708.03887  [pdf, other

    cond-mat.str-el cond-mat.mtrl-sci

    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

    Submitted 13 August, 2017; originally announced August 2017.

    Journal ref: Nature 549, 492-496 (2017)

  35. 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

    Submitted 20 June, 2017; originally announced June 2017.

    Comments: 6 pages, 5 figures, accepted for publication in MNRAS

  36. arXiv:1704.03987  [pdf, other

    cs.CL

    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

    Submitted 13 April, 2017; originally announced April 2017.

  37. 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

    Submitted 14 March, 2017; originally announced March 2017.

    Journal ref: Phys. Rev. B 96, 085205 (2017)

  38. arXiv:1702.08177  [pdf, other

    cond-mat.mtrl-sci cond-mat.supr-con

    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

    Submitted 19 July, 2018; v1 submitted 27 February, 2017; originally announced February 2017.

    Comments: 10 pages, 4 figures

    Journal ref: Nature Materials 17, 21-28 (2018) (DOI 10.1038/nmat5031)

  39. arXiv:1610.04157  [pdf, other

    cond-mat.supr-con cond-mat.str-el

    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

    Submitted 13 October, 2016; originally announced October 2016.

    Journal ref: Phys. Rev. Lett. 118, 097002 (2017)

  40. 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

    Submitted 10 October, 2016; originally announced October 2016.

    Comments: 12 pages, 14 figures, accepted for publication in MNRAS

  41. 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

    Submitted 21 August, 2016; originally announced August 2016.

    Comments: 5 pages, 4 figures

    Journal ref: Phys. Rev. B 95, 041405 (2017)

  42. 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

    Submitted 13 July, 2016; originally announced July 2016.

    Comments: 16 pages, 13 figures, accepted for publication in MNRAS

  43. arXiv:1606.03555  [pdf, ps, other

    cond-mat.mtrl-sci cond-mat.mes-hall

    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

    Submitted 11 June, 2016; originally announced June 2016.

    Comments: 22 pages, 5 figures, Published in ACS Nano 2016

  44. arXiv:1603.05207  [pdf, other

    cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el

    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

    Submitted 16 March, 2016; originally announced March 2016.

    Comments: 7 pages, 4 figures

    Journal ref: Nature Communications 7, 11711 (2016)

  45. arXiv:1602.09121  [pdf, other

    astro-ph.GA astro-ph.CO

    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

    Submitted 29 February, 2016; originally announced February 2016.

    Comments: 8 pages, 4 figures, to be published in the proceedings of the conference "The Many Facets of Extragalactic Radio Surveys: Towards New Scientific Challenges", Bologna 20-23, 2015

  46. 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

    Submitted 3 February, 2016; originally announced February 2016.

    Comments: 5 pages, 2 figures, 1 table, Physical Review Letters 2016

    Journal ref: Phys. Rev. Lett. 116, 112503 (2016)

  47. arXiv:1601.00282  [pdf, other

    astro-ph.GA astro-ph.CO

    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

    Submitted 3 January, 2016; originally announced January 2016.

    Comments: 11 pages, 11 figures. Accepted for publication in MNRAS

  48. arXiv:1510.02439  [pdf, other

    cond-mat.str-el

    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

    Submitted 8 October, 2015; originally announced October 2015.

    Comments: Accepted in Science Advances. arXiv admin note: text overlap with arXiv:1411.6162

  49. 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

    Submitted 28 August, 2015; originally announced August 2015.

    Comments: 15 pages, 4 Figures. To appear in Nano Letters, 2015

  50. arXiv:1508.03237  [pdf, other

    astro-ph.GA astro-ph.CO

    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

    Submitted 7 September, 2015; v1 submitted 13 August, 2015; originally announced August 2015.

    Comments: 21 pages, 24 figures, accepted by MNRAS