-
RADiff: Controllable Diffusion Models for Radio Astronomical Maps Generation
Authors:
Renato Sortino,
Thomas Cecconello,
Andrea DeMarco,
Giuseppe Fiameni,
Andrea Pilzer,
Andrew M. Hopkins,
Daniel Magro,
Simone Riggi,
Eva Sciacca,
Adriano Ingallinera,
Cristobal Bordiu,
Filomena Bufano,
Concetto Spampinato
Abstract:
Along with the nearing completion of the Square Kilometre Array (SKA), comes an increasing demand for accurate and reliable automated solutions to extract valuable information from the vast amount of data it will allow acquiring. Automated source finding is a particularly important task in this context, as it enables the detection and classification of astronomical objects. Deep-learning-based obj…
▽ More
Along with the nearing completion of the Square Kilometre Array (SKA), comes an increasing demand for accurate and reliable automated solutions to extract valuable information from the vast amount of data it will allow acquiring. Automated source finding is a particularly important task in this context, as it enables the detection and classification of astronomical objects. Deep-learning-based object detection and semantic segmentation models have proven to be suitable for this purpose. However, training such deep networks requires a high volume of labeled data, which is not trivial to obtain in the context of radio astronomy. Since data needs to be manually labeled by experts, this process is not scalable to large dataset sizes, limiting the possibilities of leveraging deep networks to address several tasks. In this work, we propose RADiff, a generative approach based on conditional diffusion models trained over an annotated radio dataset to generate synthetic images, containing radio sources of different morphologies, to augment existing datasets and reduce the problems caused by class imbalances. We also show that it is possible to generate fully-synthetic image-annotation pairs to automatically augment any annotated dataset. We evaluate the effectiveness of this approach by training a semantic segmentation model on a real dataset augmented in two ways: 1) using synthetic images obtained from real masks, and 2) generating images from synthetic semantic masks. We show an improvement in performance when applying augmentation, gaining up to 18% in performance when using real masks and 4% when augmenting with synthetic masks. Finally, we employ this model to generate large-scale radio maps with the objective of simulating Data Challenges.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Microarchitectures for Heterogeneous Superconducting Quantum Computers
Authors:
Samuel Stein,
Sara Sussman,
Teague Tomesh,
Charles Guinn,
Esin Tureci,
Sophia Fuhui Lin,
Wei Tang,
James Ang,
Srivatsan Chakram,
Ang Li,
Margaret Martonosi,
Fred T. Chong,
Andrew A. Houck,
Isaac L. Chuang,
Michael Austin DeMarco
Abstract:
Noisy Intermediate-Scale Quantum Computing (NISQ) has dominated headlines in recent years, with the longer-term vision of Fault-Tolerant Quantum Computation (FTQC) offering significant potential albeit at currently intractable resource costs and quantum error correction (QEC) overheads. For problems of interest, FTQC will require millions of physical qubits with long coherence times, high-fidelity…
▽ More
Noisy Intermediate-Scale Quantum Computing (NISQ) has dominated headlines in recent years, with the longer-term vision of Fault-Tolerant Quantum Computation (FTQC) offering significant potential albeit at currently intractable resource costs and quantum error correction (QEC) overheads. For problems of interest, FTQC will require millions of physical qubits with long coherence times, high-fidelity gates, and compact sizes to surpass classical systems. Just as heterogeneous specialization has offered scaling benefits in classical computing, it is likewise gaining interest in FTQC. However, systematic use of heterogeneity in either hardware or software elements of FTQC systems remains a serious challenge due to the vast design space and variable physical constraints.
This paper meets the challenge of making heterogeneous FTQC design practical by introducing HetArch, a toolbox for designing heterogeneous quantum systems, and using it to explore heterogeneous design scenarios. Using a hierarchical approach, we successively break quantum algorithms into smaller operations (akin to classical application kernels), thus greatly simplifying the design space and resulting tradeoffs. Specializing to superconducting systems, we then design optimized heterogeneous hardware composed of varied superconducting devices, abstracting physical constraints into design rules that enable devices to be assembled into standard cells optimized for specific operations. Finally, we provide a heterogeneous design space exploration framework which reduces the simulation burden by a factor of 10^4 or more and allows us to characterize optimal design points. We use these techniques to design superconducting quantum modules for entanglement distillation, error correction, and code teleportation, reducing error rates by 2.6x, 10.7x, and 3.0x compared to homogeneous systems.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Radio astronomical images object detection and segmentation: A benchmark on deep learning methods
Authors:
Renato Sortino,
Daniel Magro,
Giuseppe Fiameni,
Eva Sciacca,
Simone Riggi,
Andrea DeMarco,
Concetto Spampinato,
Andrew M. Hopkins,
Filomena Bufano,
Francesco Schillirò,
Cristobal Bordiu,
Carmelo Pino
Abstract:
In recent years, deep learning has been successfully applied in various scientific domains. Following these promising results and performances, it has recently also started being evaluated in the domain of radio astronomy. In particular, since radio astronomy is entering the Big Data era, with the advent of the largest telescope in the world - the Square Kilometre Array (SKA), the task of automati…
▽ More
In recent years, deep learning has been successfully applied in various scientific domains. Following these promising results and performances, it has recently also started being evaluated in the domain of radio astronomy. In particular, since radio astronomy is entering the Big Data era, with the advent of the largest telescope in the world - the Square Kilometre Array (SKA), the task of automatic object detection and instance segmentation is crucial for source finding and analysis. In this work, we explore the performance of the most affirmed deep learning approaches, applied to astronomical images obtained by radio interferometric instrumentation, to solve the task of automatic source detection. This is carried out by applying models designed to accomplish two different kinds of tasks: object detection and semantic segmentation. The goal is to provide an overview of existing techniques, in terms of prediction performance and computational efficiency, to scientists in the astrophysics community who would like to employ machine learning in their research.
△ Less
Submitted 25 May, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Architectures for Multinode Superconducting Quantum Computers
Authors:
James Ang,
Gabriella Carini,
Yanzhu Chen,
Isaac Chuang,
Michael Austin DeMarco,
Sophia E. Economou,
Alec Eickbusch,
Andrei Faraon,
Kai-Mei Fu,
Steven M. Girvin,
Michael Hatridge,
Andrew Houck,
Paul Hilaire,
Kevin Krsulich,
Ang Li,
Chenxu Liu,
Yuan Liu,
Margaret Martonosi,
David C. McKay,
James Misewich,
Mark Ritter,
Robert J. Schoelkopf,
Samuel A. Stein,
Sara Sussman,
Hong X. Tang
, et al. (8 additional authors not shown)
Abstract:
Many proposals to scale quantum technology rely on modular or distributed designs where individual quantum processors, called nodes, are linked together to form one large multinode quantum computer (MNQC). One scalable method to construct an MNQC is using superconducting quantum systems with optical interconnects. However, a limiting factor of these machines will be internode gates, which may be t…
▽ More
Many proposals to scale quantum technology rely on modular or distributed designs where individual quantum processors, called nodes, are linked together to form one large multinode quantum computer (MNQC). One scalable method to construct an MNQC is using superconducting quantum systems with optical interconnects. However, a limiting factor of these machines will be internode gates, which may be two to three orders of magnitude noisier and slower than local operations. Surmounting the limitations of internode gates will require a range of techniques, including improvements in entanglement generation, the use of entanglement distillation, and optimized software and compilers, and it remains unclear how improvements to these components interact to affect overall system performance, what performance from each is required, or even how to quantify the performance of each. In this paper, we employ a `co-design' inspired approach to quantify overall MNQC performance in terms of hardware models of internode links, entanglement distillation, and local architecture. In the case of superconducting MNQCs with microwave-to-optical links, we uncover a tradeoff between entanglement generation and distillation that threatens to degrade performance. We show how to navigate this tradeoff, lay out how compilers should optimize between local and internode gates, and discuss when noisy quantum links have an advantage over purely classical links. Using these results, we introduce a roadmap for the realization of early MNQCs which illustrates potential improvements to the hardware and software of MNQCs and outlines criteria for evaluating the landscape, from progress in entanglement generation and quantum memory to dedicated algorithms such as distributed quantum phase estimation. While we focus on superconducting devices with optical interconnects, our approach is general across MNQC implementations.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Chiral Phases on the Lattice
Authors:
Michael Austin DeMarco
Abstract:
While chiral quantum field theories (QFTs) describe a wide range of physical systems, from the standard model to topological quantum matter, the realization of chiral QFTs on a lattice has proved to be difficult due to the Nielsen-Ninomiya theorem and the possible presence of quantum anomalies. In this thesis, we use the connection between chiral phases of matter and chiral quantum field theories…
▽ More
While chiral quantum field theories (QFTs) describe a wide range of physical systems, from the standard model to topological quantum matter, the realization of chiral QFTs on a lattice has proved to be difficult due to the Nielsen-Ninomiya theorem and the possible presence of quantum anomalies. In this thesis, we use the connection between chiral phases of matter and chiral quantum field theories (QFTs) to define chiral QFTs on a lattice and allow a huge class of exotic field theories to be simulated numerically. Our work builds on the 'mirror fermion' approach to the problem of defining chiral theories on a lattice, which defines chiral field theories as the edge modes of chiral phases. We begin by reviewing the deep connections between chiral phases of matter, chiral field theories, and anomalies. We then develop numerical treatments of an $SU(2)$ chiral field theory, and provide a semiclassically solvable definition of Abelian $2+1$ chiral topological orders. This leads to an exactly solvable definition of chiral $U(1)$ SPT phases with zero correlation length, which we use to extract the edge chiral field theories exactly. These zero-correlation length models are vastly more simple than previous approaches to defining chiral field theories on the lattice.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Topological Mott Insulators and Discontinuous $U(1)$ $θ$-Terms
Authors:
Michael A. DeMarco,
Ethan Lake,
Xiao-Gang Wen
Abstract:
We introduce a lattice field theory that describes the transition between a superfluid (SF) and a bosonic topological Mott Insulator (tMI) -- a $U(1)$ symmetry protected topological phase labeled by an integer level $k$ and possessing an even integer $2k\frac{e^2}{h}$ quantized Hall conductance. Our model differs from the usual $2+1$d XY model by a topological term that vanishes on closed manifold…
▽ More
We introduce a lattice field theory that describes the transition between a superfluid (SF) and a bosonic topological Mott Insulator (tMI) -- a $U(1)$ symmetry protected topological phase labeled by an integer level $k$ and possessing an even integer $2k\frac{e^2}{h}$ quantized Hall conductance. Our model differs from the usual $2+1$d XY model by a topological term that vanishes on closed manifolds and in the absence of an applied gauge field, which implies that the critical exponents of the SF-tMI transition are identical to those of the well-studied $2+1$d XY transition. Our formalism predicts a "level-shift" symmetry: in the absence of an applied gauge field, the bulk correlation functions of all local operators are identical for models differing by the topological term. %, for example, near the SF-MI and SF-tMI transitions, and hence the extremely well-studied critical exponents of the $2+1$d XY model apply to the SF-tMI transition. In the presence of a background gauge field, the topological term leads to a quantized Hall response in the tMI phase, and we argue that this quantized Hall effect persists in the vicinity of the phase transition into the SF phase. Our formalism paves the way for other exact lattice descriptions of symmetry-protected-topological (SPT) phases, and map**s of critical exponents between transitions from symmetry-breaking to trivial states and transitions from symmetry-breaking to SPT states. A similar "level shift" symmetry should appear between all group cohomology SPT states protected by the same symmetry.
△ Less
Submitted 3 December, 2021; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Analysis of Data Augmentation Methods for Low-Resource Maltese ASR
Authors:
Andrea DeMarco,
Carlos Mena,
Albert Gatt,
Claudia Borg,
Aiden Williams,
Lonneke van der Plas
Abstract:
Recent years have seen an increased interest in the computational speech processing of Maltese, but resources remain sparse. In this paper, we consider data augmentation techniques for improving speech recognition for low-resource languages, focusing on Maltese as a test case. We consider three different types of data augmentation: unsupervised training, multilingual training and the use of synthe…
▽ More
Recent years have seen an increased interest in the computational speech processing of Maltese, but resources remain sparse. In this paper, we consider data augmentation techniques for improving speech recognition for low-resource languages, focusing on Maltese as a test case. We consider three different types of data augmentation: unsupervised training, multilingual training and the use of synthesized speech as training data. The goal is to determine which of these techniques, or combination of them, is the most effective to improve speech recognition for languages where the starting point is a small corpus of approximately 7 hours of transcribed speech. Our results show that combining the data augmentation techniques studied here lead us to an absolute WER improvement of 15% without the use of a language model.
△ Less
Submitted 20 January, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
The Aperture Array Verification System 1: System overview and early commissioning results
Authors:
P. Benthem,
R. Wayth,
E. de Lera Acedo,
K. Zarb Adami,
M. Alderighi,
C. Belli,
P. Bolli,
T. Booler,
J. Borg,
J. W. Broderick,
S. Chiarucci,
R. Chiello,
L. Ciani,
G. Comoretto,
B. Crosse,
D. Davidson,
A. DeMarco,
D. Emrich,
A. van Es,
D. Fierro,
A. Faulkner,
M. Gerbers,
N. Razavi-Ghods,
P. Hall,
L. Horsley
, et al. (29 additional authors not shown)
Abstract:
The design and development process for the Square Kilometre Array (SKA) radio telescope, the Low Frequency Aperture Array component, was progressed during the SKA pre-construction phase by an international consortium, with the goal of meeting requirements for a critical design review. As part of the development process a full-sized prototype SKA Low station was deployed, the Aperture Array Verific…
▽ More
The design and development process for the Square Kilometre Array (SKA) radio telescope, the Low Frequency Aperture Array component, was progressed during the SKA pre-construction phase by an international consortium, with the goal of meeting requirements for a critical design review. As part of the development process a full-sized prototype SKA Low station was deployed, the Aperture Array Verification System 1 (AAVS1). We provide a system overview and describe the commissioning results of AAVS1, which is a low frequency radio telescope with 256 dual-polarisation log-periodic dipole antennas working as a phased array. A detailed system description is provided, including an in-depth overview of relevant sub-systems, ranging from hardware, firmware, software, calibration,and control sub-systems. Early commissioning results cover initial bootstrap**, array calibration, stability testing, beam-forming,and on-sky sensitivity validation. Lessons learned are presented, along with future developments.
△ Less
Submitted 7 October, 2021;
originally announced October 2021.
-
A Comparative Study of Convolutional Neural Networks for the Detection of Strong Gravitational Lensing
Authors:
Daniel Magro,
Kristian Zarb Adami,
Andrea DeMarco,
Simone Riggi,
Eva Sciacca
Abstract:
As we enter the era of large-scale imaging surveys with the up-coming telescopes such as LSST and SKA, it is envisaged that the number of known strong gravitational lensing systems will increase dramatically. However, these events are still very rare and require the efficient processing of millions of images. In order to tackle this image processing problem, we present Machine Learning techniques…
▽ More
As we enter the era of large-scale imaging surveys with the up-coming telescopes such as LSST and SKA, it is envisaged that the number of known strong gravitational lensing systems will increase dramatically. However, these events are still very rare and require the efficient processing of millions of images. In order to tackle this image processing problem, we present Machine Learning techniques and apply them to the Gravitational Lens Finding Challenge. The Convolutional Neural Networks (CNNs) presented have been re-implemented within a new modular, and extendable framework, LEXACTUM. We report an Area Under the Curve (AUC) of 0.9343 and 0.9870, and an execution time of 0.0061s and 0.0594s per image, for the Space and Ground datasets respectively, showing that the results obtained by CNNs are very competitive with conventional methods (such as visual inspection and arc finders) for detecting gravitational lenses.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
MASRI-HEADSET: A Maltese Corpus for Speech Recognition
Authors:
Carlos Mena,
Albert Gatt,
Andrea DeMarco,
Claudia Borg,
Lonneke van der Plas,
Amanda Muscat,
Ian Padovani
Abstract:
Maltese, the national language of Malta, is spoken by approximately 500,000 people. Speech processing for Maltese is still in its early stages of development. In this paper, we present the first spoken Maltese corpus designed purposely for Automatic Speech Recognition (ASR). The MASRI-HEADSET corpus was developed by the MASRI project at the University of Malta. It consists of 8 hours of speech pai…
▽ More
Maltese, the national language of Malta, is spoken by approximately 500,000 people. Speech processing for Maltese is still in its early stages of development. In this paper, we present the first spoken Maltese corpus designed purposely for Automatic Speech Recognition (ASR). The MASRI-HEADSET corpus was developed by the MASRI project at the University of Malta. It consists of 8 hours of speech paired with text, recorded by using short text snippets in a laboratory environment. The speakers were recruited from different geographical locations all over the Maltese islands, and were roughly evenly distributed by gender. This paper also presents some initial results achieved in baseline experiments for Maltese ASR using Sphinx and Kaldi. The MASRI-HEADSET Corpus is publicly available for research/academic purposes.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
On the Dissipation Rate of Temperature Fluctuations in Stably Stratified Flows
Authors:
Sukanta Basu,
Adam W DeMarco,
** He
Abstract:
In this study, we explore several integral and outer length scales of turbulence which can be formulated by using the dissipation of temperature fluctuations ($χ$) and other relevant variables. Our analyses directly lead to simple yet non-trivial parameterizations for both $χ$ and the structure parameter of temperature ($C_T^2$). For our purposes, we make use of high-fidelity data from direct nume…
▽ More
In this study, we explore several integral and outer length scales of turbulence which can be formulated by using the dissipation of temperature fluctuations ($χ$) and other relevant variables. Our analyses directly lead to simple yet non-trivial parameterizations for both $χ$ and the structure parameter of temperature ($C_T^2$). For our purposes, we make use of high-fidelity data from direct numerical simulations of stratified channel flows.
△ Less
Submitted 24 August, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Parameterizing the Energy Dissipation Rate in Stably Stratified Flows
Authors:
Sukanta Basu,
** He,
Adam W DeMarco
Abstract:
We use a database of direct numerical simulations to evaluate parametrizations for energy dissipation rate in stably stratified flows. We show that shear-based formulations are more appropriate for stable boundary layers than commonly used buoyancy-based formulations. As part of the derivations, we explore several length scales of turbulence and investigate their dependence on local stability.
We use a database of direct numerical simulations to evaluate parametrizations for energy dissipation rate in stably stratified flows. We show that shear-based formulations are more appropriate for stable boundary layers than commonly used buoyancy-based formulations. As part of the derivations, we explore several length scales of turbulence and investigate their dependence on local stability.
△ Less
Submitted 24 August, 2020; v1 submitted 7 January, 2020;
originally announced January 2020.