Showing 1–50 of 53 results for author: Gustafson, J

Towards Efficient Quantum Computation of Molecular Ground State Energies using Bayesian Optimization with Priors over Surface Topology

Authors: Farshud Sorourifar, Mohamed Taha Rouabah, Nacer Eddine Belaloui, Mohamed Messaoud Louamri, Diana Chamaki, Erik J. Gustafson, Norm M. Tubman, Joel A. Paulson, David E. Bernal Neira

Abstract: Variational Quantum Eigensolvers (VQEs) represent a promising approach to computing molecular ground states and energies on modern quantum computers. These approaches use a classical computer to optimize the parameters of a trial wave function, while the quantum computer simulates the energy by preparing and measuring a set of bitstring observations, referred to as shots, over which an expected va… ▽ More Variational Quantum Eigensolvers (VQEs) represent a promising approach to computing molecular ground states and energies on modern quantum computers. These approaches use a classical computer to optimize the parameters of a trial wave function, while the quantum computer simulates the energy by preparing and measuring a set of bitstring observations, referred to as shots, over which an expected value is computed. Although more shots improve the accuracy of the expected ground state, it also increases the simulation cost. Hence, we propose modifications to the standard Bayesian optimization algorithm to leverage few-shot circuit observations to solve VQEs with fewer quantum resources. We demonstrate the effectiveness of our proposed approach, Bayesian optimization with priors on surface topology (BOPT), by comparing optimizers for molecular systems and demonstrate how current quantum hardware can aid in finding ground state energies. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 28 pages, 9 figures

Evaluation of Posits for Spectral Analysis Using a Software-Defined Dataflow Architecture

Authors: Sameer Deshmukh, Daniel Khankin, William Killian, John Gustafson, Elad Raz

Abstract: Spectral analysis plays an important role in detection of damage in structures and deep learning. The choice of a floating-point format plays a crucial role in determining the accuracy and performance of spectral analysis. The IEEE Std 754\textsuperscript{TM} floating-point format (IEEE~754 for short) is supported by most major hardware vendors for ``normal'' floats. However, it has several limita… ▽ More Spectral analysis plays an important role in detection of damage in structures and deep learning. The choice of a floating-point format plays a crucial role in determining the accuracy and performance of spectral analysis. The IEEE Std 754\textsuperscript{TM} floating-point format (IEEE~754 for short) is supported by most major hardware vendors for ``normal'' floats. However, it has several limitations. Previous work has attempted to evaluate posit format with respect to accuracy and performance. The accuracy of the posit has been established over IEEE~754 for a variety of applications. For example, our analysis of the Fast Fourier Transform shows 2x better accuracy when using a 32-bit posit vs. a 32-bit IEEE754 format. For spectral analysis, 32-bit posits are substantially more accurate than 32-bit IEEE~754 floats. Although posit has shown better accuracy than IEEE~754, a fair evaluation of posit with IEEE~754 format using a real hardware implementation has been lacking so far. A software simulation of posit format on an x86 CPU is about $\mathbf{69.3\times}$ slower than native IEEE~754 hardware for normal floats for a Fast Fourier Transform (FFT) of $\mathbf{2^{28}}$ points. We propose the use of a software-defined dataflow architecture to evaluate performance and accuracy of posits in spectral analysis. Our dataflow architecture uses reconfigurable logical elements that express algorithms using only integer operations. Our architecture does not have an FPU, and we express both IEEE~754 and posit arithmetic using the same integer operations within the hardware. On our dataflow architecture, the posit format is only $\mathbf{1.8\times}$ slower than IEEE~754 for a Fast Fourier Transform (FFT) of $\mathbf{2^{28}\approx 268}$ million points. With this implementation, we empirically propose a new lower bound for the performance of posit compared to IEEE~754 format. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Primitive Quantum Gates for an SU(3) Discrete Subgroup: $Σ(36\times3)$

Authors: Erik J. Gustafson, Yao Ji, Henry Lamm, Edison M. Murairi, Shuchen Zhu

Abstract: We construct the primitive gate set for the digital quantum simulation of the 108-element $Σ(36\times3)$ group. This is the first time a nonabelian crystal-like subgroup of $SU(3)$ has been constructed for quantum simulation. The gauge link registers and necessary primitives -- the inversion gate, the group multiplication gate, the trace gate, and the $Σ(36\times3)$ Fourier transform -- are presen… ▽ More We construct the primitive gate set for the digital quantum simulation of the 108-element $Σ(36\times3)$ group. This is the first time a nonabelian crystal-like subgroup of $SU(3)$ has been constructed for quantum simulation. The gauge link registers and necessary primitives -- the inversion gate, the group multiplication gate, the trace gate, and the $Σ(36\times3)$ Fourier transform -- are presented for both an eight-qubit encoding and a heterogeneous three-qutrit plus two-qubit register. For the latter, a specialized compiler was developed for decomposing arbitrary unitaries onto this architecture. △ Less

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

Comments: 15 pages, 11 Figures, 6 Tables

Report number: FERMILAB-PUB-24-0132-SQMS-T; TUM-HEP-1506/24

Surrogate optimization of variational quantum circuits

Authors: Erik J. Gustafson, Juha Tiihonen, Diana Chamaki, Farshud Sorourifar, J. Wayne Mullinax, Andy C. Y. Li, Filip B. Maciejewski, Nicolas PD Sawaya, Jaron T. Krogel, David E. Bernal Neira, Norm M. Tubman

Abstract: Variational quantum eigensolvers are touted as a near-term algorithm capable of impacting many applications. However, the potential has not yet been realized, with few claims of quantum advantage and high resource estimates, especially due to the need for optimization in the presence of noise. Finding algorithms and methods to improve convergence is important to accelerate the capabilities of near… ▽ More Variational quantum eigensolvers are touted as a near-term algorithm capable of impacting many applications. However, the potential has not yet been realized, with few claims of quantum advantage and high resource estimates, especially due to the need for optimization in the presence of noise. Finding algorithms and methods to improve convergence is important to accelerate the capabilities of near-term hardware for VQE or more broad applications of hybrid methods in which optimization is required. To this goal, we look to use modern approaches developed in circuit simulations and stochastic classical optimization, which can be combined to form a surrogate optimization approach to quantum circuits. Using an approximate (classical CPU/GPU) state vector simulator as a surrogate model, we efficiently calculate an approximate Hessian, passed as an input for a quantum processing unit or exact circuit simulator. This method will lend itself well to parallelization across quantum processing units. We demonstrate the capabilities of such an approach with and without sampling noise and a proof-of-principle demonstration on a quantum processing unit utilizing 40 qubits. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 7 pages, + appendix

Model-independent description of $B\rightarrow D π\ell ν$ decays

Authors: Erik J. Gustafson, Florian Herren, Ruth S. Van de Water, Raynette van Tonder, Michael L. Wagman

Abstract: In this contribution we present a novel, model-independent description of semileptonic $B\rightarrow D π\ell ν$ decays. In addition, we discuss recent developments in the understanding of coupled-channel $D π$-$D η$-$D_s K$ S-wave scattering and, for the first time, apply them to semileptonic decays. We not only obtain model-independent predictions for kinematic distributions in… ▽ More In this contribution we present a novel, model-independent description of semileptonic $B\rightarrow D π\ell ν$ decays. In addition, we discuss recent developments in the understanding of coupled-channel $D π$-$D η$-$D_s K$ S-wave scattering and, for the first time, apply them to semileptonic decays. We not only obtain model-independent predictions for kinematic distributions in $B\rightarrow D π\ell ν$ decays, but also rule out the hypothesis that the gap between the inclusive $B\rightarrow X\ellν$ branching fraction and the sum over exclusive channels is made up predominantly by $B\rightarrow D^{(\ast)} η\ell ν$ decays. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: Presented at the 12th Workshop on the CKM Unitarity Triangle, 18-22 September 2023, Santiago de Compostela

Report number: ZU-TH 17/24

Algorithm-Hardware Co-Design of Distribution-Aware Logarithmic-Posit Encodings for Efficient DNN Inference

Authors: Akshat Ramachandran, Zishen Wan, Geonhwa Jeong, John Gustafson, Tushar Krishna

Abstract: Traditional Deep Neural Network (DNN) quantization methods using integer, fixed-point, or floating-point data types struggle to capture diverse DNN parameter distributions at low precision, and often require large silicon overhead and intensive quantization-aware training. In this study, we introduce Logarithmic Posits (LP), an adaptive, hardware-friendly data type inspired by posits that dynamica… ▽ More Traditional Deep Neural Network (DNN) quantization methods using integer, fixed-point, or floating-point data types struggle to capture diverse DNN parameter distributions at low precision, and often require large silicon overhead and intensive quantization-aware training. In this study, we introduce Logarithmic Posits (LP), an adaptive, hardware-friendly data type inspired by posits that dynamically adapts to DNN weight/activation distributions by parameterizing LP bit fields. We also develop a novel genetic-algorithm based framework, LP Quantization (LPQ), to find optimal layer-wise LP parameters while reducing representational divergence between quantized and full-precision models through a novel global-local contrastive objective. Additionally, we design a unified mixed-precision LP accelerator (LPA) architecture comprising of processing elements (PEs) incorporating LP in the computational datapath. Our algorithm-hardware co-design demonstrates on average <1% drop in top-1 accuracy across various CNN and ViT models. It also achieves ~ 2x improvements in performance per unit area and 2.2x gains in energy efficiency compared to state-of-the-art quantization accelerators using different data types. △ Less

Submitted 26 March, 2024; v1 submitted 8 March, 2024; originally announced March 2024.

Comments: 2024 61st IEEE/ACM Design Automation Conference (DAC)

Primitive Quantum Gates for an $SU(2)$ Discrete Subgroup: Binary Octahedral

Authors: Erik J. Gustafson, Henry Lamm, Felicity Lovelace

Abstract: We construct a primitive gate set for the digital quantum simulation of the 48-element binary octahedral ($\mathbb{BO}$) group. This nonabelian discrete group better approximates $SU(2)$ lattice gauge theory than previous work on the binary tetrahedral group at the cost of one additional qubit -- for a total of six -- per gauge link. The necessary primitives are the inversion gate, the group multi… ▽ More We construct a primitive gate set for the digital quantum simulation of the 48-element binary octahedral ($\mathbb{BO}$) group. This nonabelian discrete group better approximates $SU(2)$ lattice gauge theory than previous work on the binary tetrahedral group at the cost of one additional qubit -- for a total of six -- per gauge link. The necessary primitives are the inversion gate, the group multiplication gate, the trace gate, and the $\mathbb{BO}$ Fourier transform. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 8 pages, 5 figures

Report number: FERMILAB-PUB-23-753-SQMS-T

Monte Carlo Simulation Development and Implementation of the GiBUU Model for Neutrino Experiments

Authors: Leonidas Aliaga Soplin, Raquel Castillo Fernandez, Jasper Gustafson, Declan Quinn, Shweta Yadav

Abstract: This paper introduces a Monte Carlo simulation generated with the GiBUU model for neutrino experiments. The simulation generates realistic neutrino event samples, contributing to the prediction and interpretation of experimental outcomes. The results showcase the performance of the GiBUU-based simulation framework, emphasizing its fidelity to the original GiBUU cross-section model. This first impl… ▽ More This paper introduces a Monte Carlo simulation generated with the GiBUU model for neutrino experiments. The simulation generates realistic neutrino event samples, contributing to the prediction and interpretation of experimental outcomes. The results showcase the performance of the GiBUU-based simulation framework, emphasizing its fidelity to the original GiBUU cross-section model. This first implementation enables future work on develo** the infrastructure to propagate systematic uncertainties. These contributions enhance the precision of experimental predictions and provide a platform for further exploration in future studies. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 7 pages, 6 figures

A model independent description of $B\rightarrow D π\ell ν$ decays

Authors: Erik J. Gustafson, Florian Herren, Ruth S. Van de Water, Raynette van Tonder, Michael L. Wagman

Abstract: We introduce a new parameterization of $B\rightarrow D π\ell ν$ form factors using a partial-wave expansion and derive bounds on the series coefficients using analyticity and unitarity. This is the first generalization of the model-independent formalism developed by Boyd, Grinstein, and Lebed for $B \to D \ell ν$ to semileptonic decays with multi-hadron final states, and enables data-driven form f… ▽ More We introduce a new parameterization of $B\rightarrow D π\ell ν$ form factors using a partial-wave expansion and derive bounds on the series coefficients using analyticity and unitarity. This is the first generalization of the model-independent formalism developed by Boyd, Grinstein, and Lebed for $B \to D \ell ν$ to semileptonic decays with multi-hadron final states, and enables data-driven form factor determinations with robust, systematically-improvable uncertainties. Using this formalism, we extract the form-factor parameters for $B \to D_2^\ast(\to Dπ) \ell ν$ decays in a model-independent way from fits of data from the Belle Experiment, and, for the first time, study the two-pole structure in the $Dπ$ S-wave in semileptonic decays employing lineshapes from unitarized chiral perturbation theory. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: 10 pages, 3 wonderful figures

Report number: FERMILAB-PUB-23-662-T, ZU-TH 67/23

Robust Finite-Temperature Many-Body Scarring on a Quantum Computer

Authors: Jean-Yves Desaules, Erik J. Gustafson, Andy C. Y. Li, Zlatko Papić, Jad C. Halimeh

Abstract: Mechanisms for suppressing thermalization in disorder-free many-body systems, such as Hilbert space fragmentation and quantum many-body scars, have recently attracted much interest in foundations of quantum statistical physics and potential quantum information processing applications. However, their sensitivity to realistic effects such as finite temperature remains largely unexplored. Here, we ha… ▽ More Mechanisms for suppressing thermalization in disorder-free many-body systems, such as Hilbert space fragmentation and quantum many-body scars, have recently attracted much interest in foundations of quantum statistical physics and potential quantum information processing applications. However, their sensitivity to realistic effects such as finite temperature remains largely unexplored. Here, we have utilized IBM's Kolkata quantum processor to demonstrate an unexpected robustness of quantum many-body scars at finite temperatures when the system is prepared in a thermal Gibbs ensemble. We identify such robustness in the PXP model, which describes quantum many-body scars in experimental systems of Rydberg atom arrays and ultracold atoms in tilted Bose--Hubbard optical lattices. By contrast, other theoretical models which host exact quantum many-body scars are found to lack such robustness, and their scarring properties quickly decay with temperature. Our study sheds light on the important differences between scarred models in terms of their algebraic structures, which impacts their resilience to finite temperature. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: $7+7$ pages, $4+8$ figures

On the Use of Self-Supervised Speech Representations in Spontaneous Speech Synthesis

Authors: Siyang Wang, Gustav Eje Henter, Joakim Gustafson, Éva Székely

Abstract: Self-supervised learning (SSL) speech representations learned from large amounts of diverse, mixed-quality speech data without transcriptions are gaining ground in many speech technology applications. Prior work has shown that SSL is an effective intermediate representation in two-stage text-to-speech (TTS) for both read and spontaneous speech. However, it is still not clear which SSL and which la… ▽ More Self-supervised learning (SSL) speech representations learned from large amounts of diverse, mixed-quality speech data without transcriptions are gaining ground in many speech technology applications. Prior work has shown that SSL is an effective intermediate representation in two-stage text-to-speech (TTS) for both read and spontaneous speech. However, it is still not clear which SSL and which layer from each SSL model is most suited for spontaneous TTS. We address this shortcoming by extending the scope of comparison for SSL in spontaneous TTS to 6 different SSLs and 3 layers within each SSL. Furthermore, SSL has also shown potential in predicting the mean opinion scores (MOS) of synthesized speech, but this has only been done in read-speech MOS prediction. We extend an SSL-based MOS prediction framework previously developed for scoring read speech synthesis and evaluate its performance on synthesized spontaneous speech. All experiments are conducted twice on two different spontaneous corpora in order to find generalizable trends. Overall, we present comprehensive experimental results on the use of SSL in spontaneous TTS and MOS prediction to further quantify and understand how SSL can be used in spontaneous TTS. Audios samples: https://www.speech.kth.se/tts-demos/sp_ssl_tts △ Less

Submitted 11 July, 2023; originally announced July 2023.

Comments: 7 pages, 2 figures. 12th ISCA Speech Synthesis Workshop (SSW) 2023

Automatic Evaluation of Turn-taking Cues in Conversational Speech Synthesis

Authors: Erik Ekstedt, Siyang Wang, Éva Székely, Joakim Gustafson, Gabriel Skantze

Abstract: Turn-taking is a fundamental aspect of human communication where speakers convey their intention to either hold, or yield, their turn through prosodic cues. Using the recently proposed Voice Activity Projection model, we propose an automatic evaluation approach to measure these aspects for conversational speech synthesis. We investigate the ability of three commercial, and two open-source, Text-To… ▽ More Turn-taking is a fundamental aspect of human communication where speakers convey their intention to either hold, or yield, their turn through prosodic cues. Using the recently proposed Voice Activity Projection model, we propose an automatic evaluation approach to measure these aspects for conversational speech synthesis. We investigate the ability of three commercial, and two open-source, Text-To-Speech (TTS) systems ability to generate turn-taking cues over simulated turns. By varying the stimuli, or controlling the prosody, we analyze the models performances. We show that while commercial TTS largely provide appropriate cues, they often produce ambiguous signals, and that further improvements are possible. TTS, trained on read or spontaneous speech, produce strong turn-hold but weak turn-yield cues. We argue that this approach, that focus on functional aspects of interaction, provides a useful addition to other important speech metrics, such as intelligibility and naturalness. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: Accepted at INTERSPEECH 2023, 5 pages, 2 figures, 4 tables

Simulating $\mathbb{Z}_2$ lattice gauge theory on a quantum computer

Authors: Clement Charles, Erik J. Gustafson, Elizabeth Hardt, Florian Herren, Norman Hogan, Henry Lamm, Sara Starecheski, Ruth S. Van de Water, Michael L. Wagman

Abstract: The utility of quantum computers for simulating lattice gauge theories is currently limited by the noisiness of the physical hardware. Various quantum error mitigation strategies exist to reduce the statistical and systematic uncertainties in quantum simulations via improved algorithms and analysis strategies. We perform quantum simulations of $1+1d$ $\mathbb{Z}_2$ gauge theory with matter to stud… ▽ More The utility of quantum computers for simulating lattice gauge theories is currently limited by the noisiness of the physical hardware. Various quantum error mitigation strategies exist to reduce the statistical and systematic uncertainties in quantum simulations via improved algorithms and analysis strategies. We perform quantum simulations of $1+1d$ $\mathbb{Z}_2$ gauge theory with matter to study the efficacy and interplay of different error mitigation methods: readout error mitigation, randomized compiling, rescaling, and dynamical decoupling. We compute Minkowski correlation functions in this confining gauge theory and extract the mass of the lightest spin-1 state from fits to their time dependence. Quantum error mitigation extends the range of times over which our correlation function calculations are accurate by a factor of six and is therefore essential for obtaining reliable masses. △ Less

Submitted 27 October, 2023; v1 submitted 3 May, 2023; originally announced May 2023.

Comments: 20 Pages, 18 Figures

Report number: FERMILAB-PUB-23-171-SQMS-T

A Comparative Study of Self-Supervised Speech Representations in Read and Spontaneous TTS

Authors: Siyang Wang, Gustav Eje Henter, Joakim Gustafson, Éva Székely

Abstract: Recent work has explored using self-supervised learning (SSL) speech representations such as wav2vec2.0 as the representation medium in standard two-stage TTS, in place of conventionally used mel-spectrograms. It is however unclear which speech SSL is the better fit for TTS, and whether or not the performance differs between read and spontaneous TTS, the later of which is arguably more challenging… ▽ More Recent work has explored using self-supervised learning (SSL) speech representations such as wav2vec2.0 as the representation medium in standard two-stage TTS, in place of conventionally used mel-spectrograms. It is however unclear which speech SSL is the better fit for TTS, and whether or not the performance differs between read and spontaneous TTS, the later of which is arguably more challenging. This study aims at addressing these questions by testing several speech SSLs, including different layers of the same SSL, in two-stage TTS on both read and spontaneous corpora, while maintaining constant TTS model architecture and training settings. Results from listening tests show that the 9th layer of 12-layer wav2vec2.0 (ASR finetuned) outperforms other tested SSLs and mel-spectrogram, in both read and spontaneous TTS. Our work sheds light on both how speech SSL can readily improve current TTS systems, and how SSLs compare in the challenging generative task of TTS. Audio examples can be found at https://www.speech.kth.se/tts-demos/ssr_tts △ Less

Submitted 10 July, 2023; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: 5 pages, 2 figures. ICASSP Workshop SASB (Self-Supervision in Audio, Speech and Beyond)2023

MSC Class: 68T05 ACM Class: I.2.7; I.2.6; H.5.5

Journal ref: Proceedings of the 2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops (ICASSPW)

Quantum mean estimation for lattice field theory

Authors: Erik J. Gustafson, Henry Lamm, Judah Unmuth-Yockey

Abstract: We demonstrate the quantum mean estimation algorithm on Euclidean lattice field theories. This shows a quadratic advantage over Monte Carlo methods which persists even in presence of a sign problem, and is insensitive to critical slowing down. The algorithm is used to compute $π$ with and without a sign problem, a toy U(1) gauge theory model, and the Ising model. The effect of $R_{Z}$-gate synthes… ▽ More We demonstrate the quantum mean estimation algorithm on Euclidean lattice field theories. This shows a quadratic advantage over Monte Carlo methods which persists even in presence of a sign problem, and is insensitive to critical slowing down. The algorithm is used to compute $π$ with and without a sign problem, a toy U(1) gauge theory model, and the Ising model. The effect of $R_{Z}$-gate synthesis errors on a future fault-tolerant quantum computer is investigated. △ Less

Submitted 28 February, 2023; originally announced March 2023.

Comments: 14 pages, 18 figures

Report number: FERMILAB-PUB-23-095-QIS-T

Robustness of Gauge Digitization to Quantum Noise

Authors: Erik J. Gustafson, Henry Lamm

Abstract: Quantum noise limits the use of quantum memory in high energy physics simulations. In particular, it breaks the gauge symmetry of stored quantum states. We examine this effect for abelian and nonabelian theories and demonstrate that optimizing the digitization of gauge theories to quantum memory to account for noise channels can extend the lifetime before complete loss of gauge symmetry by… ▽ More Quantum noise limits the use of quantum memory in high energy physics simulations. In particular, it breaks the gauge symmetry of stored quantum states. We examine this effect for abelian and nonabelian theories and demonstrate that optimizing the digitization of gauge theories to quantum memory to account for noise channels can extend the lifetime before complete loss of gauge symmetry by $2-10\times$ over some other digitizations. These constructions also allow for quantum error correction to integrate the symmetries of quantum fields and prioritize the largest gauge violations. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 5 pages, 3 figures, 4 tables

Report number: FERMILAB-PUB-23-018-SQMS-T

Preparing quantum many-body scar states on quantum computers

Authors: Erik J. Gustafson, Andy C. Y. Li, Abid Khan, Joonho Kim, Doga Murat Kurkcuoglu, M. Sohaib Alam, Peter P. Orth, Armin Rahmani, Thomas Iadecola

Abstract: Quantum many-body scar states are highly excited eigenstates of many-body systems that exhibit atypical entanglement and correlation properties relative to typical eigenstates at the same energy density. Scar states also give rise to infinitely long-lived coherent dynamics when the system is prepared in a special initial state having finite overlap with them. Many models with exact scar states hav… ▽ More Quantum many-body scar states are highly excited eigenstates of many-body systems that exhibit atypical entanglement and correlation properties relative to typical eigenstates at the same energy density. Scar states also give rise to infinitely long-lived coherent dynamics when the system is prepared in a special initial state having finite overlap with them. Many models with exact scar states have been constructed, but the fate of scarred eigenstates and dynamics when these models are perturbed is difficult to study with classical computational techniques. In this work, we propose state preparation protocols that enable the use of quantum computers to study this question. We present protocols both for individual scar states in a particular model, as well as superpositions of them that give rise to coherent dynamics. For superpositions of scar states, we present both a system-size-linear depth unitary and a finite-depth nonunitary state preparation protocol, the latter of which uses measurement and postselection to reduce the circuit depth. For individual scarred eigenstates, we formulate an exact state preparation approach based on matrix product states that yields quasipolynomial-depth circuits, as well as a variational approach with a polynomial-depth ansatz circuit. We also provide proof of principle state-preparation demonstrations on superconducting quantum hardware. △ Less

Submitted 2 November, 2023; v1 submitted 19 January, 2023; originally announced January 2023.

Comments: 20 Pages, 15 Figures, 2 Tables. V2: corrected typos

Report number: FERMILAB-PUB-22-904-SQMS

Journal ref: Quantum 7, 1171 (2023)

Prosody-controllable spontaneous TTS with neural HMMs

Authors: Harm Lameris, Shivam Mehta, Gustav Eje Henter, Joakim Gustafson, Éva Székely

Abstract: Spontaneous speech has many affective and pragmatic functions that are interesting and challenging to model in TTS. However, the presence of reduced articulation, fillers, repetitions, and other disfluencies in spontaneous speech make the text and acoustics less aligned than in read speech, which is problematic for attention-based TTS. We propose a TTS architecture that can rapidly learn to speak… ▽ More Spontaneous speech has many affective and pragmatic functions that are interesting and challenging to model in TTS. However, the presence of reduced articulation, fillers, repetitions, and other disfluencies in spontaneous speech make the text and acoustics less aligned than in read speech, which is problematic for attention-based TTS. We propose a TTS architecture that can rapidly learn to speak from small and irregular datasets, while also reproducing the diversity of expressive phenomena present in spontaneous speech. Specifically, we add utterance-level prosody control to an existing neural HMM-based TTS system which is capable of stable, monotonic alignments for spontaneous speech. We objectively evaluate control accuracy and perform perceptual tests that demonstrate that prosody control does not degrade synthesis quality. To exemplify the power of combining prosody control and ecologically valid data for reproducing intricate spontaneous speech phenomena, we evaluate the system's capability of synthesizing two types of creaky voice. Audio samples are available at https://www.speech.kth.se/tts-demos/prosodic-hmm/ △ Less

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

Comments: 5 pages, 3 figures, Published at ICASSP 2023

MSC Class: 68T07 ACM Class: I.2.7; I.2.6; G.3; H.5.5

Stout Smearing on a Quantum Computer

Authors: Erik J. Gustafson

Abstract: Smearing of gauge-field configurations in lattice field theory improves the results of lattice simulations by suppressing high energy modes from correlation functions. In quantum simulations, high kinetic energy eigenstates are introduced when the time evolution operator is approximated such as Trotterization. While improved Trotter product formulae exist to reduce the errors, they have diminishin… ▽ More Smearing of gauge-field configurations in lattice field theory improves the results of lattice simulations by suppressing high energy modes from correlation functions. In quantum simulations, high kinetic energy eigenstates are introduced when the time evolution operator is approximated such as Trotterization. While improved Trotter product formulae exist to reduce the errors, they have diminishing accuracy returns with respect to resource costs. Therefore having an algorithm that has fewer resources than an improved Trotter formula is desirable. In this work I develop a representation agnostic method for quantum smearing and show that it reduces the coupling to high energy modes in the discrete nonabelian gauge theory $D_4$ △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 4+5 pages, 7 Figures

Report number: FERMILAB-PUB-22-838-T

Neutron Tagging following Atmospheric Neutrino Events in a Water Cherenkov Detector

Authors: K. Abe, Y. Haga, Y. Hayato, K. Hiraide, K. Ieki, M. Ikeda, S. Imaizumi, K. Iyogi, J. Kameda, Y. Kanemura, Y. Kataoka, Y. Kato, Y. Kishimoto, S. Miki, S. Mine, M. Miura, T. Mochizuki, S. Moriyama, Y. Nagao, M. Nakahata, T. Nakajima, Y. Nakano, S. Nakayama, T. Okada, K. Okamoto , et al. (281 additional authors not shown)

Abstract: We present the development of neutron-tagging techniques in Super-Kamiokande IV using a neural network analysis. The detection efficiency of neutron capture on hydrogen is estimated to be 26%, with a mis-tag rate of 0.016 per neutrino event. The uncertainty of the tagging efficiency is estimated to be 9.0%. Measurement of the tagging efficiency with data from an Americium-Beryllium calibration agr… ▽ More We present the development of neutron-tagging techniques in Super-Kamiokande IV using a neural network analysis. The detection efficiency of neutron capture on hydrogen is estimated to be 26%, with a mis-tag rate of 0.016 per neutrino event. The uncertainty of the tagging efficiency is estimated to be 9.0%. Measurement of the tagging efficiency with data from an Americium-Beryllium calibration agrees with this value within 10%. The tagging procedure was performed on 3,244.4 days of SK-IV atmospheric neutrino data, identifying 18,091 neutrons in 26,473 neutrino events. The fitted neutron capture lifetime was measured as 218 \pm 9 μs. △ Less

Submitted 20 September, 2022; v1 submitted 18 September, 2022; originally announced September 2022.

Journal ref: JINST 17 P10029 (2022)

Primitive Quantum Gates for an SU(2) Discrete Subgroup: BT

Authors: Erik J. Gustafson, Henry Lamm, Felicity Lovelace, Damian Musk

Abstract: We construct a primitive gate set for the digital quantum simulation of the binary tetrahedral ($\mathbb{BT}$) group on two quantum architectures. This nonabelian discrete group serves as a crude approximation to $SU(2)$ lattice gauge theory while requiring five qubits or one quicosotetrit per gauge link. The necessary basic primitives are the inversion gate, the group multiplication gate, the tra… ▽ More We construct a primitive gate set for the digital quantum simulation of the binary tetrahedral ($\mathbb{BT}$) group on two quantum architectures. This nonabelian discrete group serves as a crude approximation to $SU(2)$ lattice gauge theory while requiring five qubits or one quicosotetrit per gauge link. The necessary basic primitives are the inversion gate, the group multiplication gate, the trace gate, and the $\mathbb{BT}$ Fourier transform over $\mathbb{BT}$. We experimentally benchmark the inversion and trace gates on ibm nairobi, with estimated fidelities between $14-55\%$, depending on the input state. △ Less

Submitted 1 September, 2022; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 14 Pages, 5 Tables, 13 Figures

Report number: FERMILAB-PUB-22-583-SQMS-T

Gauge Theory Couplings on Anisotropic Lattices

Authors: Marcela Carena, Erik J. Gustafson, Henry Lamm, Ying-Ying Li, Wanqiang Liu

Abstract: The advantage of simulating lattice field theory with quantum computers is hamstrung by the limited resources that induce large errors from finite volume and sizable lattice spacings. Previous work has shown how classical simulations near the Hamiltonian limit can be used for setting the lattice spacings in real-time through analytical continuation, thereby reducing errors in quantum simulations.… ▽ More The advantage of simulating lattice field theory with quantum computers is hamstrung by the limited resources that induce large errors from finite volume and sizable lattice spacings. Previous work has shown how classical simulations near the Hamiltonian limit can be used for setting the lattice spacings in real-time through analytical continuation, thereby reducing errors in quantum simulations. In this work, we derive perturbative relations between bare and renormalized quantities in Euclidean spacetime at any anisotropy factor -- the ratio of spatial to temporal lattice spacings -- and in any spatial dimension for $U(N)$ and $SU(N)$. This reduces the required classical preprocessing for quantum simulations. We find less than $10\%$ discrepancy between our perturbative results and those from existing nonperturbative determinations of the anisotropy for $SU(2)$ and $U(1)$ gauge theories. For the discrete groups $\mathbb{Z}_{10}$, $\mathbb{Z}_{100}$ and $\mathbb{BI}$, we perform lattice Monte Carlo simulations to extract anisotropy factors and observe similar agreement with our perturbative results. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 10 pages, 8 figures

Report number: FERMILAB-PUB-21-702-T

Quantum computing hardware for HEP algorithms and sensing

Authors: M. Sohaib Alam, Sergey Belomestnykh, Nicholas Bornman, Gustavo Cancelo, Yu-Chiu Chao, Mattia Checchin, Vinh San Dinh, Anna Grassellino, Erik J. Gustafson, Roni Harnik, Corey Rae Harrington McRae, Ziwen Huang, Keshav Kapoor, Taeyoon Kim, James B. Kowalkowski, Matthew J. Kramer, Yulia Krasnikova, Prem Kumar, Doga Murat Kurkcuoglu, Henry Lamm, Adam L. Lyon, Despina Milathianaki, Akshay Murthy, Josh Mutus, Ivan Nekrashevich , et al. (15 additional authors not shown)

Abstract: Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several ins… ▽ More Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several institutions (including Fermilab) of quantum hardware capable of demonstrating quantum advantage in multiple domains, from quantum computing to communications, to sensing. The Superconducting Quantum Materials and Systems (SQMS) Center, led by Fermilab, is dedicated to providing breakthroughs in quantum computing and sensing, mediating quantum engineering and HEP based material science. The main goal of the Center is to deploy quantum systems with superior performance tailored to the algorithms used in high energy physics. In this Snowmass paper, we discuss the two most promising superconducting quantum architectures for HEP algorithms, i.e. three-level systems (qutrits) supported by transmon devices coupled to planar devices and multi-level systems (qudits with arbitrary N energy levels) supported by superconducting 3D cavities. For each architecture, we demonstrate exemplary HEP algorithms and identify the current challenges, ongoing work and future opportunities. Furthermore, we discuss the prospects and complexities of interconnecting the different architectures and individual computational nodes. Finally, we review several different strategies of error protection and correction and discuss their potential to improve the performance of the two architectures. This whitepaper seeks to reach out to the HEP community and drive progress in both HEP research and QIS hardware. △ Less

Submitted 29 April, 2022; v1 submitted 18 April, 2022; originally announced April 2022.

Comments: contribution to Snowmass 2021

Report number: FERMILAB-PUB-22-260-SQMS

Integrated Speech and Gesture Synthesis

Authors: Siyang Wang, Simon Alexanderson, Joakim Gustafson, Jonas Beskow, Gustav Eje Henter, Éva Székely

Abstract: Text-to-speech and co-speech gesture synthesis have until now been treated as separate areas by two different research communities, and applications merely stack the two technologies using a simple system-level pipeline. This can lead to modeling inefficiencies and may introduce inconsistencies that limit the achievable naturalness. We propose to instead synthesize the two modalities in a single m… ▽ More Text-to-speech and co-speech gesture synthesis have until now been treated as separate areas by two different research communities, and applications merely stack the two technologies using a simple system-level pipeline. This can lead to modeling inefficiencies and may introduce inconsistencies that limit the achievable naturalness. We propose to instead synthesize the two modalities in a single model, a new problem we call integrated speech and gesture synthesis (ISG). We also propose a set of models modified from state-of-the-art neural speech-synthesis engines to achieve this goal. We evaluate the models in three carefully-designed user studies, two of which evaluate the synthesized speech and gesture in isolation, plus a combined study that evaluates the models like they will be used in real-world applications -- speech and gesture presented together. The results show that participants rate one of the proposed integrated synthesis models as being as good as the state-of-the-art pipeline system we compare against, in all three tests. The model is able to achieve this with faster synthesis time and greatly reduced parameter count compared to the pipeline system, illustrating some of the potential benefits of treating speech and gesture synthesis together as a single, unified problem. Videos and code are available on our project page at https://swatsw.github.io/isg_icmi21/ △ Less

Submitted 25 August, 2021; originally announced August 2021.

Comments: 9 pages, accepted at ICMI 2021

Brightening the Optical Flow through Posit Arithmetic

Authors: Vinay Saxena, Ankitha Reddy, Jonathan Neudorfer, John Gustafson, Sangeeth Nambiar, Rainer Leupers, Farhad Merchant

Abstract: As new technologies are invented, their commercial viability needs to be carefully examined along with their technical merits and demerits. The posit data format, proposed as a drop-in replacement for IEEE 754 float format, is one such invention that requires extensive theoretical and experimental study to identify products that can benefit from the advantages of posits for specific market segment… ▽ More As new technologies are invented, their commercial viability needs to be carefully examined along with their technical merits and demerits. The posit data format, proposed as a drop-in replacement for IEEE 754 float format, is one such invention that requires extensive theoretical and experimental study to identify products that can benefit from the advantages of posits for specific market segments. In this paper, we present an extensive empirical study of posit-based arithmetic vis-à-vis IEEE 754 compliant arithmetic for the optical flow estimation method called Lucas-Kanade (LuKa). First, we use SoftPosit and SoftFloat format emulators to perform an empirical error analysis of the LuKa method. Our study shows that the average error in LuKa with SoftPosit is an order of magnitude lower than LuKa with SoftFloat. We then present the integration of the hardware implementation of a posit adder and multiplier in a RISC-V open-source platform. We make several recommendations, along with the analysis of LuKa in the RISC-V context, for future generation platforms incorporating posit arithmetic units. △ Less

Submitted 17 January, 2021; originally announced January 2021.

Comments: To appear in ISQED 2021

Neutron-Antineutron Oscillation Search using a 0.37 Megaton$\cdot$Year Exposure of Super-Kamiokande

Authors: Super-Kamiokande Collaboration, :, K. Abe, C. Bronner, Y. Hayato, M. Ikeda, S. Imaizumi, H. Ito, J. Kameda, Y. Kataoka, M. Miura, S. Moriyama, Y. Nagao, M. Nakahata, Y. Nakajima, S. Nakayama, T. Okada, K. Okamoto, A. Orii, G. Pronost, H. Sekiya, M. Shiozawa, Y. Sonoda, Y. Suzuki, A. Takeda , et al. (176 additional authors not shown)

Abstract: As a baryon number violating process with $ΔB=2$, neutron-antineutron oscillation ($n\to\bar n$) provides a unique test of baryon number conservation. We have performed a search for $n\to\bar n$ oscillation with bound neutrons in Super-Kamiokande, with the full data set from its first four run periods, representing an exposure of 0.37~Mton-years. The search used a multivariate analysis trained on… ▽ More As a baryon number violating process with $ΔB=2$, neutron-antineutron oscillation ($n\to\bar n$) provides a unique test of baryon number conservation. We have performed a search for $n\to\bar n$ oscillation with bound neutrons in Super-Kamiokande, with the full data set from its first four run periods, representing an exposure of 0.37~Mton-years. The search used a multivariate analysis trained on simulated $n\to\bar n$ events and atmospheric neutrino backgrounds and resulted in 11 candidate events with an expected background of 9.3 events. In the absence of statistically significant excess, we derived a lower limit on $\bar n$ appearance lifetime in $^{16}$O nuclei of $3.6\times{10}^{32}$ years and on the neutron-antineutron oscillation time of $τ_{n\to\bar n} > 4.7\times10^{8}$~s at 90\% C.L.. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Journal ref: Phys. Rev. D 103, 012008 (2021)

Toward Quantum Simulations of $\mathbb{Z}_2$ Gauge Theory Without State Preparation

Authors: Erik J. Gustafson, Henry Lamm

Abstract: Preparing strongly-coupled particle states on quantum computers requires large resources. In this work, we show how classical sampling coupled with projection operators can be used to compute Minkowski matrix elements without explicitly preparing these states on the quantum computer. We demonstrate this for the 2+1d $\mathbb{Z}_2$ lattice gauge theory on small lattices with a quantum simulator. Preparing strongly-coupled particle states on quantum computers requires large resources. In this work, we show how classical sampling coupled with projection operators can be used to compute Minkowski matrix elements without explicitly preparing these states on the quantum computer. We demonstrate this for the 2+1d $\mathbb{Z}_2$ lattice gauge theory on small lattices with a quantum simulator. △ Less

Submitted 3 December, 2020; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: 8 pages, 4 figures, minor corrections

Report number: FERMILAB-PUB-20-611-T

Journal ref: Phys. Rev. D 103, 054507 (2021)

A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations

Authors: Jay P. Lim, Mridul Aanjaneya, John Gustafson, Santosh Nagarakatte

Abstract: Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and Posits). These representations do not have correctly rounded math libraries. Further, the use of existing FP libraries for these new representations can produce incorrect results. This paper proposes a novel approach for… ▽ More Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and Posits). These representations do not have correctly rounded math libraries. Further, the use of existing FP libraries for these new representations can produce incorrect results. This paper proposes a novel approach for generating polynomial approximations that can be used to implement correctly rounded math libraries. Existing methods generate polynomials that approximate the real value of an elementary function $f(x)$ and produce wrong results due to approximation errors and rounding errors in the implementation. In contrast, our approach generates polynomials that approximate the correctly rounded value of $f(x)$ (i.e., the value of $f(x)$ rounded to the target representation). It provides more margin to identify efficient polynomials that produce correctly rounded results for all inputs. We frame the problem of generating efficient polynomials that produce correctly rounded results as a linear programming problem. Our approach guarantees that we produce the correct result even with range reduction techniques. Using our approach, we have developed correctly rounded, yet faster, implementations of elementary functions for multiple target representations. △ Less

Submitted 20 November, 2020; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 44 pages

Report number: Rutgers DCS Technical Report 753

Indirect Search for Dark Matter from the Galactic Center and Halo with the Super-Kamiokande Detector

Authors: Super-Kamiokande Collaboration, :, K. Abe, C. Bronner, Y. Haga, Y. Hayato, M. Ikeda, S. Imaizumi, H. Ito, K. Iyogi, J. Kameda, Y. Kataoka, Y. Kato, Y. Kishimoto, Ll. Marti, M. Miura, S. Moriyama, T. Mochizuki, Y. Nagao, M. Nakahata, Y. Nakajima, T. Nakajima, S. Nakayama, T. Okada, K. Okamoto , et al. (249 additional authors not shown)

Abstract: We present a search for an excess of neutrino interactions due to dark matter in the form of Weakly Interacting Massive Particles (WIMPs) annihilating in the galactic center or halo based on the data set of Super-Kamiokande-I, -II, -III and -IV taken from 1996 to 2016. We model the neutrino flux, energy, and flavor distributions assuming WIMP self-annihilation is dominant to $ν\overlineν$,… ▽ More We present a search for an excess of neutrino interactions due to dark matter in the form of Weakly Interacting Massive Particles (WIMPs) annihilating in the galactic center or halo based on the data set of Super-Kamiokande-I, -II, -III and -IV taken from 1996 to 2016. We model the neutrino flux, energy, and flavor distributions assuming WIMP self-annihilation is dominant to $ν\overlineν$, $μ^+μ^-$, $b\overline{b}$, or $W^+W^-$. The excess is in comparison to atmospheric neutrino interactions which are modeled in detail and fit to data. Limits on the self-annihilation cross section $\langle σ_{A} V \rangle$ are derived for WIMP masses in the range 1 GeV to 10 TeV, reaching as low as $9.6 \times10^{-23}$ cm$^3$ s$^{-1}$ for 5 GeV WIMPs in $b\bar b$ mode and $1.2 \times10^{-24}$ cm$^3$ s$^{-1}$ for 1 GeV WIMPs in $ν\bar ν$ mode. The obtained sensitivity of the Super-Kamiokande detector to WIMP masses below several tens of GeV is the best among similar indirect searches to date. △ Less

Submitted 12 May, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: 13 pages, 12 figures, Submitted to Phys. Rev. D

Journal ref: Phys. Rev. D 102, 072002 (2020)

Performance-Efficiency Trade-off of Low-Precision Numerical Formats in Deep Neural Networks

Authors: Zachariah Carmichael, Hamed F. Langroudi, Char Khazanov, Jeffrey Lillie, John L. Gustafson, Dhireesha Kudithipudi

Abstract: Deep neural networks (DNNs) have been demonstrated as effective prognostic models across various domains, e.g. natural language processing, computer vision, and genomics. However, modern-day DNNs demand high compute and memory storage for executing any reasonably complex task. To optimize the inference time and alleviate the power consumption of these networks, DNN accelerators with low-precision… ▽ More Deep neural networks (DNNs) have been demonstrated as effective prognostic models across various domains, e.g. natural language processing, computer vision, and genomics. However, modern-day DNNs demand high compute and memory storage for executing any reasonably complex task. To optimize the inference time and alleviate the power consumption of these networks, DNN accelerators with low-precision representations of data and DNN parameters are being actively studied. An interesting research question is in how low-precision networks can be ported to edge-devices with similar performance as high-precision networks. In this work, we employ the fixed-point, floating point, and posit numerical formats at $\leq$8-bit precision within a DNN accelerator, Deep Positron, with exact multiply-and-accumulate (EMAC) units for inference. A unified analysis quantifies the trade-offs between overall network efficiency and performance across five classification tasks. Our results indicate that posits are a natural fit for DNN inference, outperforming at $\leq$8-bit precision, and can be realized with competitive resource requirements relative to those of floating point. △ Less

Submitted 25 March, 2019; originally announced March 2019.

Comments: 9 pages, Proceedings of the ACM Conference for Next Generation Arithmetic (CoNGA) 2019

Deep Positron: A Deep Neural Network Using the Posit Number System

Authors: Zachariah Carmichael, Hamed F. Langroudi, Char Khazanov, Jeffrey Lillie, John L. Gustafson, Dhireesha Kudithipudi

Abstract: The recent surge of interest in Deep Neural Networks (DNNs) has led to increasingly complex networks that tax computational and memory resources. Many DNNs presently use 16-bit or 32-bit floating point operations. Significant performance and power gains can be obtained when DNN accelerators support low-precision numerical formats. Despite considerable research, there is still a knowledge gap on ho… ▽ More The recent surge of interest in Deep Neural Networks (DNNs) has led to increasingly complex networks that tax computational and memory resources. Many DNNs presently use 16-bit or 32-bit floating point operations. Significant performance and power gains can be obtained when DNN accelerators support low-precision numerical formats. Despite considerable research, there is still a knowledge gap on how low-precision operations can be realized for both DNN training and inference. In this work, we propose a DNN architecture, Deep Positron, with posit numerical format operating successfully at $\leq$8 bits for inference. We propose a precision-adaptable FPGA soft core for exact multiply-and-accumulate for uniform comparison across three numerical formats, fixed, floating-point and posit. Preliminary results demonstrate that 8-bit posit has better accuracy than 8-bit fixed or floating-point for three different low-dimensional datasets. Moreover, the accuracy is comparable to 32-bit floating-point on a Xilinx Virtex-7 FPGA device. The trade-offs between DNN performance and hardware resources, i.e. latency, power, and resource utilization, show that posit outperforms in accuracy and latency at 8-bit and below. △ Less

Submitted 18 January, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 6 pages, Design, Automation and Test in Europe 2019

A Comparison of Visualisation Methods for Disambiguating Verbal Requests in Human-Robot Interaction

Authors: Elena Sibirtseva, Dimosthenis Kontogiorgos, Olov Nykvist, Hakan Karaoguz, Iolanda Leite, Joakim Gustafson, Danica Kragic

Abstract: Picking up objects requested by a human user is a common task in human-robot interaction. When multiple objects match the user's verbal description, the robot needs to clarify which object the user is referring to before executing the action. Previous research has focused on perceiving user's multimodal behaviour to complement verbal commands or minimising the number of follow up questions to redu… ▽ More Picking up objects requested by a human user is a common task in human-robot interaction. When multiple objects match the user's verbal description, the robot needs to clarify which object the user is referring to before executing the action. Previous research has focused on perceiving user's multimodal behaviour to complement verbal commands or minimising the number of follow up questions to reduce task time. In this paper, we propose a system for reference disambiguation based on visualisation and compare three methods to disambiguate natural language instructions. In a controlled experiment with a YuMi robot, we investigated real-time augmentations of the workspace in three conditions -- mixed reality, augmented reality, and a monitor as the baseline -- using objective measures such as time and accuracy, and subjective measures like engagement, immersion, and display interference. Significant differences were found in accuracy and engagement between the conditions, but no differences were found in task time. Despite the higher error rates in the mixed reality condition, participants found that modality more engaging than the other two, but overall showed preference for the augmented reality condition over the monitor and mixed reality conditions. △ Less

Submitted 26 January, 2018; originally announced January 2018.

A Measurement of the Tau Neutrino Cross Section in Atmospheric Neutrino Oscillations with Super-Kamiokande

Authors: Super-Kamiokande Collaboration, :, Z. Li, K. Abe, C. Bronner, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kato, Y. Kishimoto, Ll. Marti, M. Miura, S. Moriyama, M. Nakahata, Y. Nakajima, Y. Nakano, S. Nakayama, A. Orii, G. Pronost, H. Sekiya, M. Shiozawa, Y. Sonoda, A. Takeda, A. Takenaka , et al. (139 additional authors not shown)

Abstract: Using 5,326 days of atmospheric neutrino data, a search for atmospheric tau neutrino appearance has been performed in the Super-Kamiokande experiment. Super-Kamiokande measures the tau normalization to be 1.47$\pm$0.32 under the assumption of normal neutrino hierarchy, relative to the expectation of unity with neutrino oscillation. The result excludes the hypothesis of no-tau-appearance with a sig… ▽ More Using 5,326 days of atmospheric neutrino data, a search for atmospheric tau neutrino appearance has been performed in the Super-Kamiokande experiment. Super-Kamiokande measures the tau normalization to be 1.47$\pm$0.32 under the assumption of normal neutrino hierarchy, relative to the expectation of unity with neutrino oscillation. The result excludes the hypothesis of no-tau-appearance with a significance level of 4.6$σ$. The inclusive charged-current tau neutrino cross section averaged by the tau neutrino flux at Super-Kamiokande is measured to be $(0.94\pm0.20)\times 10^{-38}$ cm$^{2}$. The measurement is consistent with the Standard Model prediction, agreeing to within 1.5$σ$. △ Less

Submitted 26 November, 2017; originally announced November 2017.

Journal ref: Phys. Rev. D 98, 052006 (2018)

Search for Boosted Dark Matter Interacting With Electrons in Super-Kamiokande

Authors: Super-Kamiokande Collaboration, :, C. Kachulis, K. Abe, C. Bronner, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kato, Y. Kishimoto, Ll. Marti, M. Miura, S. Moriyama, M. Nakahata, Y. Nakano, S. Nakayama, Y. Okajima, A. Orii, G. Pronost, H. Sekiya, M. Shiozawa, Y. Sonoda, A. Takeda, A. Takenaka , et al. (135 additional authors not shown)

Abstract: A search for boosted dark matter using 161.9 kiloton-years of Super-Kamiokande IV data is presented. We search for an excess of elastically scattered electrons above the atmospheric neutrino background, with a visible energy between 100 MeV and 1 TeV, pointing back to the Galactic Center or the Sun. No such excess is observed. Limits on boosted dark matter event rates in multiple angular cones aro… ▽ More A search for boosted dark matter using 161.9 kiloton-years of Super-Kamiokande IV data is presented. We search for an excess of elastically scattered electrons above the atmospheric neutrino background, with a visible energy between 100 MeV and 1 TeV, pointing back to the Galactic Center or the Sun. No such excess is observed. Limits on boosted dark matter event rates in multiple angular cones around the Galactic Center and Sun are calculated. Limits are also calculated for a baseline model of boosted dark matter produced from cold dark matter annihilation or decay. △ Less

Submitted 31 May, 2018; v1 submitted 14 November, 2017; originally announced November 2017.

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

Atmospheric neutrino oscillation analysis with external constraints in Super-Kamiokande I-IV

Authors: Super-Kamiokande Collaboration, :, K. Abe, C. Bronner, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kato, Y. Kishimoto, Ll. Marti, M. Miura, S. Moriyama, M. Nakahata, T. Nakajima, Y. Nakano, S. Nakayama, Y. Okajima, A. Orii, G. Pronost, H. Sekiya, M. Shiozawa, Y. Sonoda, A. Takeda , et al. (157 additional authors not shown)

Abstract: An analysis of atmospheric neutrino data from all four run periods of \superk optimized for sensitivity to the neutrino mass hierarchy is presented. Confidence intervals for $Δm^2_{32}$, $\sin^2 θ_{23}$, $\sin^2 θ_{13}$ and $δ_{CP}$ are presented for normal neutrino mass hierarchy and inverted neutrino mass hierarchy hypotheses based on atmospheric neutrino data alone. Additional constraints from… ▽ More An analysis of atmospheric neutrino data from all four run periods of \superk optimized for sensitivity to the neutrino mass hierarchy is presented. Confidence intervals for $Δm^2_{32}$, $\sin^2 θ_{23}$, $\sin^2 θ_{13}$ and $δ_{CP}$ are presented for normal neutrino mass hierarchy and inverted neutrino mass hierarchy hypotheses based on atmospheric neutrino data alone. Additional constraints from reactor data on $θ_{13}$ and from published binned T2K data on muon neutrino disappearance and electron neutrino appearance are added to the atmospheric neutrino fit to give enhanced constraints on the above parameters. Over the range of parameters allowed at 90% confidence level, the normal mass hierarchy is favored by between 91.5% and 94.5% based on the combined result. △ Less

Submitted 27 June, 2018; v1 submitted 25 October, 2017; originally announced October 2017.

Comments: 22 pages, 29 figures, final version submitted for publication

Journal ref: Phys. Rev. D 97, 072001 (2018)

Tensors Come of Age: Why the AI Revolution will help HPC

Authors: John L. Gustafson, Lenore M. Mullin

Abstract: This article discusses how the automation of tensor algorithms, based on A Mathematics of Arrays and Psi Calculus, and a new way to represent numbers, Unum Arithmetic, enables mechanically provable, scalable, portable, and more numerically accurate software. This article discusses how the automation of tensor algorithms, based on A Mathematics of Arrays and Psi Calculus, and a new way to represent numbers, Unum Arithmetic, enables mechanically provable, scalable, portable, and more numerically accurate software. △ Less

Submitted 26 September, 2017; originally announced September 2017.

Comments: To be published in this years 30th anniversary edition of HPCwire

Machine Learning and Social Robotics for Detecting Early Signs of Dementia

Authors: Patrik Jonell, Joseph Mendelson, Thomas Storskog, Goran Hagman, Per Ostberg, Iolanda Leite, Taras Kucherenko, Olga Mikheeva, Ulrika Akenine, Vesna Jelic, Alina Solomon, Jonas Beskow, Joakim Gustafson, Miia Kivipelto, Hedvig Kjellstrom

Abstract: This paper presents the EACare project, an ambitious multi-disciplinary collaboration with the aim to develop an embodied system, capable of carrying out neuropsychological tests to detect early signs of dementia, e.g., due to Alzheimer's disease. The system will use methods from Machine Learning and Social Robotics, and be trained with examples of recorded clinician-patient interactions. The inte… ▽ More This paper presents the EACare project, an ambitious multi-disciplinary collaboration with the aim to develop an embodied system, capable of carrying out neuropsychological tests to detect early signs of dementia, e.g., due to Alzheimer's disease. The system will use methods from Machine Learning and Social Robotics, and be trained with examples of recorded clinician-patient interactions. The interaction will be developed using a participatory design approach. We describe the scope and method of the project, and report on a first Wizard of Oz prototype. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Search for an excess of events in the Super-Kamiokande detector in the directions of the astrophysical neutrinos reported by the IceCube Collaboration

Authors: The Super-Kamiokande Collaboration, :, K. Abe, C. Bronner, G. Pronost, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kato, Y. Kishimoto, Ll. Marti, M. Miura, S. Moriyama, M. Nakahata, Y. Nakano, S. Nakayama, Y. Okajima, A. Orii, H. Sekiya, M. Shiozawa, Y. Sonoda, A. Takeda, A. Takenaka, H. Tanaka , et al. (139 additional authors not shown)

Abstract: We present the results of a search in the Super-Kamiokande (SK) detector for excesses of neutrinos with energies above a few GeV that are in the direction of the track events reported in IceCube. Data from all SK phases (SK-I through SK-IV) were used, spanning a period from April 1996 to April 2016 and corresponding to an exposure of 225 kilotonne-years . We considered the 14 IceCube track events… ▽ More We present the results of a search in the Super-Kamiokande (SK) detector for excesses of neutrinos with energies above a few GeV that are in the direction of the track events reported in IceCube. Data from all SK phases (SK-I through SK-IV) were used, spanning a period from April 1996 to April 2016 and corresponding to an exposure of 225 kilotonne-years . We considered the 14 IceCube track events from a data set with 1347 livetime days taken from 2010 to 2014. We use Poisson counting to determine if there is an excess of neutrinos detected in SK in a 10 degree search cone (5 degrees for the highest energy data set) around the reconstructed direction of the IceCube event. No significant excess was found in any of the search directions we examined. We also looked for coincidences with a recently reported IceCube multiplet event. No events were detected within a $\pm$ 500 s time window around the first detected event, and no significant excess was seen from that direction over the lifetime of SK. △ Less

Submitted 5 January, 2018; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: 9 pages, 4 figures, Matches version published in Astrophysical Journal

Journal ref: The Super-Kamiokande collaboration, APJ, 850, 166, (2017)

Search for Neutrinos in Super-Kamiokande associated with Gravitational Wave Events GW150914 and GW151226

Authors: K. Abe, K. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, T. Nakajima, Y. Nakano, S. Nakayama, A. Orii, H. Sekiya, M. Shiozawa, A. Takeda, H. Tanaka, S. Tasaka, T. Tomura, R. Akutsu, T. Kajita, K. Kaneyuki, Y. Nishimura, E. Richard , et al. (108 additional authors not shown)

Abstract: We report the results from a search in Super-Kamiokande for neutrino signals coincident with the first detected gravitational wave events, GW150914 and GW151226, using a neutrino energy range from 3.5 MeV to 100 PeV. We searched for coincident neutrino events within a time window of $\pm$500 seconds around the gravitational wave detection time. Four neutrino candidates are found for GW150914 and n… ▽ More We report the results from a search in Super-Kamiokande for neutrino signals coincident with the first detected gravitational wave events, GW150914 and GW151226, using a neutrino energy range from 3.5 MeV to 100 PeV. We searched for coincident neutrino events within a time window of $\pm$500 seconds around the gravitational wave detection time. Four neutrino candidates are found for GW150914 and no candidates are found for GW151226. The remaining neutrino candidates are consistent with the expected background events. We calculated the 90\% confidence level upper limits on the combined neutrino fluence for both gravitational wave events, which depends on event energy and topologies. Considering the upward going muon data set (1.6 GeV - 100 PeV) the neutrino fluence limit for each gravitational wave event is 14 - 37 (19 - 50) cm$^{-2}$ for muon neutrinos (muon antineutrinos), depending on the zenith angle of the event. In the other data sets, the combined fluence limits for both gravitational wave events range from 2.4$\times 10^{4}$ to 7.0$\times 10^{9}$ cm$^{-2}$. △ Less

Submitted 31 August, 2016; originally announced August 2016.

Comments: 8 pages, 4 figures

Solar Neutrino Measurements in Super-Kamiokande-IV

Authors: Super-Kamiokande Collaboration, :, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, Ll. Marti, M. Miura, S. Moriyama, M. Nakahata, T. Nakajima, S. Nakayama, A. Orii, H. Sekiya, M. Shiozawa, Y. Sonoda, A. Takeda, H. Tanaka, Y. Takenaga, S. Tasaka, T. Tomura, K. Ueno , et al. (146 additional authors not shown)

Abstract: Upgraded electronics, improved water system dynamics, better calibration and analysis techniques allowed Super-Kamiokande-IV to clearly observe very low-energy 8B solar neutrino interactions, with recoil electron kinetic energies as low as 3.49 MeV. Super-Kamiokande-IV data-taking began in September of 2008; this paper includes data until February 2014, a total livetime of 1664 days. The measured… ▽ More Upgraded electronics, improved water system dynamics, better calibration and analysis techniques allowed Super-Kamiokande-IV to clearly observe very low-energy 8B solar neutrino interactions, with recoil electron kinetic energies as low as 3.49 MeV. Super-Kamiokande-IV data-taking began in September of 2008; this paper includes data until February 2014, a total livetime of 1664 days. The measured solar neutrino flux is (2.308+-0.020(stat.) + 0.039-0.040(syst.)) x 106/(cm2sec) assuming no oscillations. The observed recoil electron energy spectrum is consistent with no distortions due to neutrino oscillations. An extended maximum likelihood fit to the amplitude of the expected solar zenith angle variation of the neutrino-electron elastic scattering rate in SK-IV results in a day/night asymmetry of (-3.6+-1.6(stat.)+-0.6(syst.))%. The SK-IV solar neutrino data determine the solar mixing angle as sin2 theta_12 = 0.327+0.026-0.031, all SK solar data (SK-I, SK-II, SK III and SKIV) measures this angle to be sin2 theta_12 = 0.334+0.027-0.023, the determined mass-squared splitting is Delta m2_21 = 4.8+1.5-0.8 x10-5 eV2. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: Submitted to Physical Review D; 23 pages, 40 figures

Real-Time Supernova Neutrino Burst Monitor at Super-Kamiokande

Authors: K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, Y. Nakano, S. Nakayama, H. Sekiya, M. Shiozawa, Y. Suzuki, A. Takeda, H. Tanaka, T. Tomura, K. Ueno, R. A. Wendell, T. Yokozawa, T. Irvine, T. Kajita, I. Kametani, K. Kaneyuki , et al. (102 additional authors not shown)

Abstract: We present a real-time supernova neutrino burst monitor at Super-Kamiokande (SK). Detecting supernova explosions by neutrinos in real time is crucial for giving a clear picture of the explosion mechanism. Since the neutrinos are expected to come earlier than light, a fast broadcasting of the detection may give astronomers a chance to make electromagnetic radiation observations of the explosions ri… ▽ More We present a real-time supernova neutrino burst monitor at Super-Kamiokande (SK). Detecting supernova explosions by neutrinos in real time is crucial for giving a clear picture of the explosion mechanism. Since the neutrinos are expected to come earlier than light, a fast broadcasting of the detection may give astronomers a chance to make electromagnetic radiation observations of the explosions right at the onset. The role of the monitor includes a fast announcement of the neutrino burst detection to the world and a determination of the supernova direction. We present the online neutrino burst detection system and studies of the direction determination accuracy based on simulations at SK. △ Less

Submitted 11 April, 2016; v1 submitted 18 January, 2016; originally announced January 2016.

Comments: 15 pages, 8 figures, accepted for publication in Astroparticle Physics

Journal ref: Astropart. Phys. 81 (2016) 39-48

Measurements of the atmospheric neutrino flux by Super-Kamiokande: energy spectra, geomagnetic effects, and solar modulation

Authors: E. Richard, K. Okumura, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, T. Nakajima, Y. Nakano, S. Nakayama, A. Orii, H. Sekiya, M. Shiozawa, A. Takeda, H. Tanaka, T. Tomura, R. A. Wendell, R. Akutsu, T. Irvine, T. Kajita , et al. (104 additional authors not shown)

Abstract: A comprehensive study on the atmospheric neutrino flux in the energy region from sub-GeV up to several TeV using the Super-Kamiokande water Cherenkov detector is presented in this paper. The energy and azimuthal spectra of the atmospheric $ν_e+{\barν}_e$ and $ν_μ+{\barν}_μ$ fluxes are measured. The energy spectra are obtained using an iterative unfolding method by combining various event topologie… ▽ More A comprehensive study on the atmospheric neutrino flux in the energy region from sub-GeV up to several TeV using the Super-Kamiokande water Cherenkov detector is presented in this paper. The energy and azimuthal spectra of the atmospheric $ν_e+{\barν}_e$ and $ν_μ+{\barν}_μ$ fluxes are measured. The energy spectra are obtained using an iterative unfolding method by combining various event topologies with differing energy responses. The azimuthal spectra depending on energy and zenith angle, and their modulation by geomagnetic effects, are also studied. A predicted east-west asymmetry is observed in both the $ν_e$ and $ν_μ$ samples at 8.0 σ and 6.0 σ significance, respectively, and an indication that the asymmetry dipole angle changes depending on the zenith angle was seen at the 2.2 σ level. The measured energy and azimuthal spectra are consistent with the current flux models within the estimated systematic uncertainties. A study of the long-term correlation between the atmospheric neutrino flux and the solar magnetic activity cycle is also performed, and a weak indication of a correlation was seen at the 1.1 σ level, using SK I-IV data spanning a 20 year period. For particularly strong solar activity periods known as Forbush decreases, no theoretical prediction is available, but a deviation below the typical neutrino event rate is seen at the 2.4 σ level. △ Less

Submitted 6 September, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: 30 pages, 31 figures

Journal ref: Phys. Rev. D 94, 052001 (2016)

Search for Nucleon and Dinucleon Decays with an Invisible Particle and a Charged Lepton in the Final State at the Super-Kamiokande Experiment

Authors: V. Takhistov, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, T. Nakajima, Y. Nakano, S. Nakayama, A. Orii, H. Sekiya, M. Shiozawa, A. Takeda, H. Tanaka, T. Tomura, R. A. Wendell, T. Irvine, T. Kajita, I. Kametani, K. Kaneyuki , et al. (103 additional authors not shown)

Abstract: Search results for nucleon decays $p \rightarrow e^+X$, $p \rightarrow μ^+X$, $n \rightarrow νγ$ (where $X$ is an invisible, massless particle) as well as dinucleon decays $np \rightarrow e^+ν$, $np \rightarrow μ^+ν$ and $np \rightarrow τ^+ν$ in the Super-Kamiokande experiment are presented. Using single-ring data from an exposure of 273.4 kton $\cdot$ years, a search for these decays yields a res… ▽ More Search results for nucleon decays $p \rightarrow e^+X$, $p \rightarrow μ^+X$, $n \rightarrow νγ$ (where $X$ is an invisible, massless particle) as well as dinucleon decays $np \rightarrow e^+ν$, $np \rightarrow μ^+ν$ and $np \rightarrow τ^+ν$ in the Super-Kamiokande experiment are presented. Using single-ring data from an exposure of 273.4 kton $\cdot$ years, a search for these decays yields a result consistent with no signal. Accordingly, lower limits on the partial lifetimes of $τ_{p \rightarrow e^+X} > 7.9 \times 10^{32}$ years, $τ_{p \rightarrow μ^+X} > 4.1 \times 10^{32}$ years, $τ_{n \rightarrow νγ} > 5.5 \times 10^{32}$ years, $τ_{np \rightarrow e^+ν} > 2.6 \times 10^{32}$ years, $τ_{np \rightarrow μ^+ν} > 2.2 \times 10^{32}$ years and $τ_{np \rightarrow τ^+ν} > 2.9 \times 10^{31}$ years at a $90 \% $ confidence level are obtained. Some of these searches are novel. △ Less

Submitted 21 September, 2015; v1 submitted 22 August, 2015; originally announced August 2015.

Comments: 6 pages, 1 figure; minor corrections, length shortened, matches published version

Journal ref: Phys. Rev. Lett. 115, 121803 (2015)

Evidence for the Active Phase of Heterogeneous Catalysts through In Situ Reaction Product Imaging and Multiscale Modeling

Authors: S. Matera, S. Blomberg, M. J. Hoffmann, J. Zetterberg, J. Gustafson, E. Lundgren, K. Reuter

Abstract: We use multi-scale modeling to analyze laser-induced fluorescence (LIF) measurements of the CO oxidation reaction over Pd(100) at near-ambient reaction conditions. Integrating density-functional theory based kinetic Monte Carlo simulations of the active catalyst into fluid-dynamical simulations of the mass transport inside the reactor chamber we calculate the reaction product concentration directl… ▽ More We use multi-scale modeling to analyze laser-induced fluorescence (LIF) measurements of the CO oxidation reaction over Pd(100) at near-ambient reaction conditions. Integrating density-functional theory based kinetic Monte Carlo simulations of the active catalyst into fluid-dynamical simulations of the mass transport inside the reactor chamber we calculate the reaction product concentration directly above the catalyst surface. Comparing corresponding data calculated for different surface models against the measured LIF signals we can discriminate the one that predominantly actuates the experimentally measured catalytic activity. For the probed CO oxidation reaction conditions the experimental activity is due to pristine Pd(100), possibly coexisting with other (oxidic) domains on the surface. △ Less

Submitted 17 June, 2015; originally announced June 2015.

Comments: 9 pages, 2 figures

Search for dinucleon decay into pions at Super-Kamiokande

Authors: J. Gustafson, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, T. Nakajima, Y. Nakano, S. Nakayama, A. Orii, H. Sekiya, M. Shiozawa, A. Takeda, H. Tanaka, T. Tomura, R. A. Wendell, T. Irvine, T. Kajita, I. Kametani, K. Kaneyuki , et al. (97 additional authors not shown)

Abstract: A search for dinucleon decay into pions with the Super-Kamiokande detector has been performed with an exposure of 282.1 kiloton-years. Dinucleon decay is a process that violates baryon number by two units. We present the first search for dinucleon decay to pions in a large water Cherenkov detector. The modes $^{16}$O$(pp) \rightarrow$ $^{14}$C$π^{+}π^{+}$, $^{16}$O$(pn) \rightarrow$ $^{14}$N… ▽ More A search for dinucleon decay into pions with the Super-Kamiokande detector has been performed with an exposure of 282.1 kiloton-years. Dinucleon decay is a process that violates baryon number by two units. We present the first search for dinucleon decay to pions in a large water Cherenkov detector. The modes $^{16}$O$(pp) \rightarrow$ $^{14}$C$π^{+}π^{+}$, $^{16}$O$(pn) \rightarrow$ $^{14}$N$π^{+}π^{0}$, and $^{16}$O$(nn) \rightarrow$ $^{14}$O$π^{0}π^{0}$ are investigated. No significant excess in the Super-Kamiokande data has been found, so a lower limit on the lifetime of the process per oxygen nucleus is determined. These limits are: $τ_{pp\rightarrowπ^{+}π^{+}} > 7.22 \times 10^{31}$ years, $τ_{pn\rightarrowπ^{+}π^{0}} > 1.70 \times 10^{32}$ years, and $τ_{nn\rightarrowπ^{0}π^{0}} > 4.04 \times 10^{32}$ years. The lower limits on each mode are about two orders of magnitude better than previous limits from searches for dinucleon decay in iron. △ Less

Submitted 4 April, 2015; originally announced April 2015.

Comments: 20 pages, 17 figures. Accepted for publication in Physical Review D on March 30, 2015

Test of Lorentz invariance with atmospheric neutrinos

Authors: The Super-Kamiokande Collaboration, :, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, Y. Nakano, S. Nakayama, H. Sekiya, M. Shiozawa, Y. Suzuki, A. Takeda, H. Tanaka, T. Tomura, K. Ueno, R. A. Wendell, T. Yokozawa, T. Irvine, T. Kajita , et al. (104 additional authors not shown)

Abstract: A search for neutrino oscillations induced by Lorentz violation has been performed using 4,438 live-days of Super-Kamiokande atmospheric neutrino data. The Lorentz violation is included in addition to standard three-flavor oscillations using the non-perturbative Standard Model Extension (SME), allowing the use of the full range of neutrino path lengths, ranging from 15 to 12,800 km, and energies r… ▽ More A search for neutrino oscillations induced by Lorentz violation has been performed using 4,438 live-days of Super-Kamiokande atmospheric neutrino data. The Lorentz violation is included in addition to standard three-flavor oscillations using the non-perturbative Standard Model Extension (SME), allowing the use of the full range of neutrino path lengths, ranging from 15 to 12,800 km, and energies ranging from 100 MeV to more than 100 TeV in the search. No evidence of Lorentz violation was observed, so limits are set on the renormalizable isotropic SME coefficients in the $eμ$, $μτ$, and $eτ$ sectors, improving the existing limits by up to seven orders of magnitude and setting limits for the first time in the neutrino $μτ$ sector of the SME. △ Less

Submitted 17 March, 2015; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 16 pages, 10 figures, featured with a synopsis: http://physics.aps.org/synopsis-for/10.1103/PhysRevD.91.052003

Journal ref: Phys. Rev. D 91, 052003 (2015)

Limits on sterile neutrino mixing using atmospheric neutrinos in Super-Kamiokande

Authors: The Super-Kamiokande Collaboration, :, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, Y. Nakano, S. Nakayama, H. Sekiya, M. Shiozawa, Y. Suzuki, A. Takeda, H. Tanaka, T. Tomura, K. Ueno, R. A. Wendell, T. Yokozawa, T. Irvine, T. Kajita , et al. (104 additional authors not shown)

Abstract: We present limits on sterile neutrino mixing using 4,438 live-days of atmospheric neutrino data from the Super-Kamiokande experiment. We search for fast oscillations driven by an eV$^2$-scale mass splitting and for oscillations into sterile neutrinos instead of tau neutrinos at the atmospheric mass splitting. When performing both these searches we assume that the sterile mass splitting is large, a… ▽ More We present limits on sterile neutrino mixing using 4,438 live-days of atmospheric neutrino data from the Super-Kamiokande experiment. We search for fast oscillations driven by an eV$^2$-scale mass splitting and for oscillations into sterile neutrinos instead of tau neutrinos at the atmospheric mass splitting. When performing both these searches we assume that the sterile mass splitting is large, allowing $\sin^2(Δm^2 L/4E)$ to be approximated as $0.5$, and we assume that there is no mixing between electron neutrinos and sterile neutrinos ($|U_{e4}|^2 = 0$). No evidence of sterile oscillations is seen and we limit $|U_{\mu4}|^2$ to less than 0.041 and $|U_{\tau4}|^2$ to less than 0.18 for $Δm^2 > 0.8$ eV$^2$ at the 90% C.L. in a 3+1 framework. The approximations that can be made with atmospheric neutrinos allow these limits to be easily applied to 3+N models, and we provide our results in a generic format to allow comparisons with other sterile neutrino models. △ Less

Submitted 25 March, 2015; v1 submitted 8 October, 2014; originally announced October 2014.

Comments: 23 pages, 12 figures, PRD Editor's Suggestion

Journal ref: Phys. Rev. D 91, 052019 (2015)

Search for Trilepton Nucleon Decay via $p \rightarrow e^+ νν$ and $p \rightarrow μ^+ νν$ in the Super-Kamiokande Experiment

Authors: V. Takhistov, K. Abe, Y. Haga, Y. Hayato, M. Ikeda, K. Iyogi, J. Kameda, Y. Kishimoto, M. Miura, S. Moriyama, M. Nakahata, Y. Nakano, S. Nakayama, H. Sekiya, M. Shiozawa, Y. Suzuki, A. Takeda, H. Tanaka, T. Tomura, K. Ueno, R. A. Wendell, T. Yokozawa, T. Irvine, T. Kajita, I. Kametani , et al. (102 additional authors not shown)

Abstract: The trilepton nucleon decay modes $p \rightarrow e^+ νν$ and $p \rightarrow μ^+ νν$ violate $|Δ(B - L)|$ by two units. Using data from a 273.4 kiloton year exposure of Super-Kamiokande a search for these decays yields a fit consistent with no signal. Accordingly, lower limits on the partial lifetimes of $τ_{p \rightarrow e^+ νν} > 1.7 \times 10^{32}$ years and… ▽ More The trilepton nucleon decay modes $p \rightarrow e^+ νν$ and $p \rightarrow μ^+ νν$ violate $|Δ(B - L)|$ by two units. Using data from a 273.4 kiloton year exposure of Super-Kamiokande a search for these decays yields a fit consistent with no signal. Accordingly, lower limits on the partial lifetimes of $τ_{p \rightarrow e^+ νν} > 1.7 \times 10^{32}$ years and $τ_{p \rightarrow μ^+ νν} > 2.2 \times 10^{32}$ years at a $90 \% $ confidence level are obtained. These limits can constrain Grand Unified Theories which allow for such processes. △ Less

Submitted 5 September, 2014; originally announced September 2014.

Journal ref: Phys. Rev. Lett. 113, 101801 (2014)

In situ X-ray photoelectron spectroscopy of model catalysts: At the edge of the gap

Authors: S. Blomberg, M. J. Hoffmann, J. Gustafson, N. M. Martin, V. R. Fernandes, A. Borg, Z. Liu, R. Chang, S. Matera, K. Reuter, E. Lundgren

Abstract: We present a High-Pressure X-ray Photoelectron Spectroscopy (HP-XPS) and first-principles kinetic Monte Carlo study addressing the nature of the active surface in CO oxidation over Pd(100). Simultaneously measuring the chemical composition at the surface and in the near-surface gas-phase, we reveal both O-covered pristine Pd(100) and a surface oxide as stable, highly active phases in the near-ambi… ▽ More We present a High-Pressure X-ray Photoelectron Spectroscopy (HP-XPS) and first-principles kinetic Monte Carlo study addressing the nature of the active surface in CO oxidation over Pd(100). Simultaneously measuring the chemical composition at the surface and in the near-surface gas-phase, we reveal both O-covered pristine Pd(100) and a surface oxide as stable, highly active phases in the near-ambient regime accessible to HP-XPS. Surprisingly, no adsorbed CO can be detected during high CO2 production rates, which can be explained by a combination of a remarkably short residence time of the CO molecule on the surface and mass-transfer limitations in the present set-up. △ Less

Submitted 6 February, 2013; originally announced February 2013.

Wolfgang Pauli 1900 to 1930: His Early Physics in Jungian Perspective

Authors: John R. Gustafson

Abstract: Wolfgang Pauli's philosophy and physics were intertwined. His philosophy was a variety of Platonism, in which Pauli's affiliation with Carl Jung formed an integral part, but Pauli's philosophical explorations in physics appeared before he met Jung. Jung validated Pauli's psycho-philosophical perspective. Thus, the roots of Pauli's physics and philosophy are important in the history of modern ph… ▽ More Wolfgang Pauli's philosophy and physics were intertwined. His philosophy was a variety of Platonism, in which Pauli's affiliation with Carl Jung formed an integral part, but Pauli's philosophical explorations in physics appeared before he met Jung. Jung validated Pauli's psycho-philosophical perspective. Thus, the roots of Pauli's physics and philosophy are important in the history of modern physics. In his early physics, Pauli attempted to ground his theoretical physics in positivism. He then began instead to trust his intuitive visualizations of entities that formed an underlying reality to the sensible physical world. These visualizations included holistic kernels of mathematical-physical entities that later became for him synonymous with Jung's mandalas. I have connected Pauli's visualization patterns in physics during the period 1900 to 1930 to the psychological philosophy of Jung and displayed some examples of Pauli's creativity in the development of quantum mechanics. By looking at Pauli's early physics and philosophy, we gain insight into Pauli's contributions to quantum mechanics. His exclusion principle, his influence on Werner Heisenberg in the formulation of matrix mechanics, his emphasis on firm logical and empirical foundations, his creativity in formulating electron spinors, his neutrino hypothesis, and his dialogues with other quantum physicists, all point to Pauli being the dominant genius in the development of quantum theory. Because Pauli was in a difficult individuation process during his early years, his own writings on philosophy tend to be sparse and often contradictory. My analysis of Pauli's physics and philosophy is based upon published and unpublished sources, and Pauli's later reflections. A pattern has emerged. Pauli changed his mind from relying on high rationality and empiricism, to valuing intuitive metaphysical visualizations. This coupled with disturbing events in his life precipitated a breakdown and led Pauli to seek treatment at the Jung Clinic. Pauli's psychological tension diminished after 1932. His physics consistently involved symmetry and invariants. His philosophy allied with Jung's resembled a Platonism of combined psyche and physics. Pauli sought a rational unification and foundation for his philosophy, but that goal was cut short by his untimely death at the age of 58. △ Less

Submitted 16 March, 2010; originally announced March 2010.