-
Quantum Resilience: Canadian Innovations in Quantum Error Correction and Quantum Error Mitigation
Authors:
Gaurav Saxena,
Jack S. Baker,
Pablo Díez Valle,
William E. Salazar,
Kevin Ferreira,
Thi Ha Kyaw
Abstract:
In celebration of the 2025 International Year of Quantum Science and Technology, this article highlights the pioneering achievements and ongoing innovations in quantum error correction and quantum error mitigation by Canadian institutions, academia and industry alike. Emphasizing Canada's central role in advancing these two related areas, we summarize landmark theoretical breakthroughs, cutting-ed…
▽ More
In celebration of the 2025 International Year of Quantum Science and Technology, this article highlights the pioneering achievements and ongoing innovations in quantum error correction and quantum error mitigation by Canadian institutions, academia and industry alike. Emphasizing Canada's central role in advancing these two related areas, we summarize landmark theoretical breakthroughs, cutting-edge experiments, and emerging techniques aimed at reducing and/or eliminating errors incurred when using a quantum computer. This community-focused overview underscores Canada's leadership in addressing the critical challenge of noise in quantum information science.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
PrismAvatar: Real-time animated 3D neural head avatars on edge devices
Authors:
Prashant Raina,
Felix Taubner,
Mathieu Tuli,
Eu Wern Teh,
Kevin Ferreira
Abstract:
We present PrismAvatar: a 3D head avatar model which is designed specifically to enable real-time animation and rendering on resource-constrained edge devices, while still enjoying the benefits of neural volumetric rendering at training time. By integrating a rigged prism lattice with a 3D morphable head model, we use a hybrid rendering model to simultaneously reconstruct a mesh-based head and a d…
▽ More
We present PrismAvatar: a 3D head avatar model which is designed specifically to enable real-time animation and rendering on resource-constrained edge devices, while still enjoying the benefits of neural volumetric rendering at training time. By integrating a rigged prism lattice with a 3D morphable head model, we use a hybrid rendering model to simultaneously reconstruct a mesh-based head and a deformable NeRF model for regions not represented by the 3DMM. We then distill the deformable NeRF into a rigged mesh and neural textures, which can be animated and rendered efficiently within the constraints of the traditional triangle rendering pipeline. In addition to running at 60 fps with low memory usage on mobile devices, we find that our trained models have comparable quality to state-of-the-art 3D avatar models on desktop devices.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Satellite Image Time Series Analysis for Big Earth Observation Data
Authors:
Rolf Simoes,
Gilberto Camara,
Gilberto Queiroz,
Felipe Souza,
Pedro R. Andrade,
Lorena Santos,
Alexandre Carvalho,
Karine Ferreira
Abstract:
The development of analytical software for big Earth observation data faces several challenges. Designers need to balance between conflicting factors. Solutions that are efficient for specific hardware architectures can not be used in other environments. Packages that work on generic hardware and open standards will not have the same performance as dedicated solutions. Software that assumes that i…
▽ More
The development of analytical software for big Earth observation data faces several challenges. Designers need to balance between conflicting factors. Solutions that are efficient for specific hardware architectures can not be used in other environments. Packages that work on generic hardware and open standards will not have the same performance as dedicated solutions. Software that assumes that its users are computer programmers are flexible but may be difficult to learn for a wide audience. This paper describes sits, an open-source R package for satellite image time series analysis using machine learning. To allow experts to use satellite imagery to the fullest extent, sits adopts a time-first, space-later approach. It supports the complete cycle of data analysis for land classification. Its API provides a simple but powerful set of functions. The software works in different cloud computing environments. Satellite image time series are input to machine learning classifiers, and the results are post-processed using spatial smoothing. Since machine learning methods need accurate training data, sits includes methods for quality assessment of training samples. The software also provides methods for validation and accuracy measurement. The package thus comprises a production environment for big EO data analysis. We show that this approach produces high accuracy for land use and land cover maps through a case study in the Cerrado biome, one of the world's fast moving agricultural frontiers for the year 2018.
△ Less
Submitted 24 April, 2022;
originally announced April 2022.
-
On The Gap Between Software Maintenance Theory and Practitioners' Approaches
Authors:
Mívian Ferreira,
Mariza Bigonha,
Kecia A. M. Ferreira
Abstract:
The way practitioners perform maintenance tasks in practice is little known by researchers. In turn, practitioners are not always up to date with the proposals provided by the research community. This work investigates the gap between software maintenance techniques proposed by the research community and the software maintenance practice. We carried out a survey with 112 practitioners from 92 comp…
▽ More
The way practitioners perform maintenance tasks in practice is little known by researchers. In turn, practitioners are not always up to date with the proposals provided by the research community. This work investigates the gap between software maintenance techniques proposed by the research community and the software maintenance practice. We carried out a survey with 112 practitioners from 92 companies and 12 countries. We concentrate on analyzing if and how practitioners understand and apply the following subjects: bad smells, refactoring, software metrics, and change impact analysis. This study shows that there is a large gap between research approaches and industry practice in those subjects, especially in change impact analysis and software metrics.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Market Segmentation Trees
Authors:
Ali Aouad,
Adam N. Elmachtoub,
Kris J. Ferreira,
Ryan McNellis
Abstract:
We seek to provide an interpretable framework for segmenting users in a population for personalized decision-making. We propose a general methodology, Market Segmentation Trees (MSTs), for learning market segmentations explicitly driven by identifying differences in user response patterns. To demonstrate the versatility of our methodology, we design two new, specialized MST algorithms: (i) Choice…
▽ More
We seek to provide an interpretable framework for segmenting users in a population for personalized decision-making. We propose a general methodology, Market Segmentation Trees (MSTs), for learning market segmentations explicitly driven by identifying differences in user response patterns. To demonstrate the versatility of our methodology, we design two new, specialized MST algorithms: (i) Choice Model Trees (CMTs), which can be used to predict a user's choice amongst multiple options and (ii) Isotonic Regression Trees (IRTs), which can be used to solve the bid landscape forecasting problem. We provide a theoretical analysis of the asymptotic running times of our algorithmic methods, which validates their computational tractability on large datasets. We also provide a customizable, open-source code base for training MSTs in Python which employs several strategies for scalability, including parallel processing and warm starts. Finally, we assess the practical performance of MSTs on several synthetic and real world datasets, showing that our method reliably finds market segmentations which accurately model response behavior.
△ Less
Submitted 13 January, 2023; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Long strings and chiral primaries in the hybrid formalism
Authors:
Lorenz Eberhardt,
Kevin Ferreira
Abstract:
We revisit two related phenomena in $\mathrm{AdS}_3$ string theory backgrounds. At pure NS-NS flux, the spectrum contains a continuum of long strings which can escape to the boundary of $\mathrm{AdS}_3$ at a finite cost of energy. Related to this are certain gaps in the BPS spectrum one computes from the RNS worldsheet description. One expects that both these effects disappear when perturbing slig…
▽ More
We revisit two related phenomena in $\mathrm{AdS}_3$ string theory backgrounds. At pure NS-NS flux, the spectrum contains a continuum of long strings which can escape to the boundary of $\mathrm{AdS}_3$ at a finite cost of energy. Related to this are certain gaps in the BPS spectrum one computes from the RNS worldsheet description. One expects that both these effects disappear when perturbing slightly away from the pure NS-NS flux background. We employ the hybrid formalism for mixed flux backgrounds to demonstrate directly from the worldsheet that this is indeed the case.
△ Less
Submitted 19 October, 2018;
originally announced October 2018.
-
The plane-wave spectrum from the worldsheet
Authors:
Lorenz Eberhardt,
Kevin Ferreira
Abstract:
We study string theory on $\mathrm{AdS}_3$ backgrounds with mixed flux using the hybrid formalism of Berkovits, Vafa and Witten. We solve the worldsheet description of the theory completely in the plane-wave limit. This constitutes a direct derivation of the plane-wave spectrum from the worldsheet with mixed flux.
We study string theory on $\mathrm{AdS}_3$ backgrounds with mixed flux using the hybrid formalism of Berkovits, Vafa and Witten. We solve the worldsheet description of the theory completely in the plane-wave limit. This constitutes a direct derivation of the plane-wave spectrum from the worldsheet with mixed flux.
△ Less
Submitted 15 October, 2018; v1 submitted 30 May, 2018;
originally announced May 2018.
-
A Weighted Sparse Sampling and Smoothing Frame Transition Approach for Semantic Fast-Forward First-Person Videos
Authors:
Michel Melo Silva,
Washington Luis Souza Ramos,
Joao Klock Ferreira,
Felipe Cadar Chamone,
Mario Fernando Montenegro Campos,
Erickson Rangel Nascimento
Abstract:
Thanks to the advances in the technology of low-cost digital cameras and the popularity of the self-recording culture, the amount of visual data on the Internet is going to the opposite side of the available time and patience of the users. Thus, most of the uploaded videos are doomed to be forgotten and unwatched in a computer folder or website. In this work, we address the problem of creating smo…
▽ More
Thanks to the advances in the technology of low-cost digital cameras and the popularity of the self-recording culture, the amount of visual data on the Internet is going to the opposite side of the available time and patience of the users. Thus, most of the uploaded videos are doomed to be forgotten and unwatched in a computer folder or website. In this work, we address the problem of creating smooth fast-forward videos without losing the relevant content. We present a new adaptive frame selection formulated as a weighted minimum reconstruction problem, which combined with a smoothing frame transition method accelerates first-person videos emphasizing the relevant segments and avoids visual discontinuities. The experiments show that our method is able to fast-forward videos to retain as much relevant information and smoothness as the state-of-the-art techniques in less time. We also present a new 80-hour multimodal (RGB-D, IMU, and GPS) dataset of first-person videos with annotations for recorder profile, frame scene, activities, interaction, and attention.
△ Less
Submitted 4 April, 2019; v1 submitted 23 February, 2018;
originally announced February 2018.
-
Making a long story short: A Multi-Importance fast-forwarding egocentric videos with the emphasis on relevant objects
Authors:
Michel Melo Silva,
Washington Luis Souza Ramos,
Felipe Cadar Chamone,
João Pedro Klock Ferreira,
Mario Fernando Montenegro Campos,
Erickson Rangel Nascimento
Abstract:
The emergence of low-cost high-quality personal wearable cameras combined with the increasing storage capacity of video-sharing websites have evoked a growing interest in first-person videos, since most videos are composed of long-running unedited streams which are usually tedious and unpleasant to watch. State-of-the-art semantic fast-forward methods currently face the challenge of providing an a…
▽ More
The emergence of low-cost high-quality personal wearable cameras combined with the increasing storage capacity of video-sharing websites have evoked a growing interest in first-person videos, since most videos are composed of long-running unedited streams which are usually tedious and unpleasant to watch. State-of-the-art semantic fast-forward methods currently face the challenge of providing an adequate balance between smoothness in visual flow and the emphasis on the relevant parts. In this work, we present the Multi-Importance Fast-Forward (MIFF), a fully automatic methodology to fast-forward egocentric videos facing these challenges. The dilemma of defining what is the semantic information of a video is addressed by a learning process based on the preferences of the user. Results show that the proposed method keeps over $3$ times more semantic content than the state-of-the-art fast-forward. Finally, we discuss the need of a particular video stabilization technique for fast-forward egocentric videos.
△ Less
Submitted 7 March, 2018; v1 submitted 9 November, 2017;
originally announced November 2017.
-
Towards Semantic Fast-Forward and Stabilized Egocentric Videos
Authors:
Michel Melo Silva,
Washington Luis Souza Ramos,
Joao Pedro Klock Ferreira,
Mario Fernando Montenegro Campos,
Erickson Rangel Nascimento
Abstract:
The emergence of low-cost personal mobiles devices and wearable cameras and the increasing storage capacity of video-sharing websites have pushed forward a growing interest towards first-person videos. Since most of the recorded videos compose long-running streams with unedited content, they are tedious and unpleasant to watch. The fast-forward state-of-the-art methods are facing challenges of bal…
▽ More
The emergence of low-cost personal mobiles devices and wearable cameras and the increasing storage capacity of video-sharing websites have pushed forward a growing interest towards first-person videos. Since most of the recorded videos compose long-running streams with unedited content, they are tedious and unpleasant to watch. The fast-forward state-of-the-art methods are facing challenges of balancing the smoothness of the video and the emphasis in the relevant frames given a speed-up rate. In this work, we present a methodology capable of summarizing and stabilizing egocentric videos by extracting the semantic information from the frames. This paper also describes a dataset collection with several semantically labeled videos and introduces a new smoothness evaluation metric for egocentric videos that is used to test our method.
△ Less
Submitted 16 August, 2017; v1 submitted 14 August, 2017;
originally announced August 2017.
-
Higher spins on AdS$_{3}$ from the worldsheet
Authors:
Kevin Ferreira,
Matthias R. Gaberdiel,
Juan I. Jottar
Abstract:
It was recently shown that the CFT dual of string theory on ${\rm AdS}_3 \times {\rm S}^3 \times T^4$, the symmetric orbifold of $T^4$, contains a closed higher spin subsector. Via holography, this makes precise the sense in which tensionless string theory on this background contains a Vasiliev higher spin theory. In this paper we study this phenomenon directly from the worldsheet. Using the WZW d…
▽ More
It was recently shown that the CFT dual of string theory on ${\rm AdS}_3 \times {\rm S}^3 \times T^4$, the symmetric orbifold of $T^4$, contains a closed higher spin subsector. Via holography, this makes precise the sense in which tensionless string theory on this background contains a Vasiliev higher spin theory. In this paper we study this phenomenon directly from the worldsheet. Using the WZW description of the background with pure NS-NS flux, we identify the states that make up the leading Regge trajectory and show that they fit into the even spin ${\cal N}=4$ Vasiliev higher spin theory. We also show that these higher spin states do not become massless, except for the somewhat singular case of level $k=1$ where the theory contains a stringy tower of massless higher spin fields coming from the long string sector.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
Even spin $\mathcal{N}=4$ holography
Authors:
Kevin Ferreira
Abstract:
A two-dimensional Sp($2N$) vector model with small $\mathcal{N}=4$ superconformal symmetry is formulated, and its chiral algebra is shown to be generated by superprimary fields of even conformal weight. This vector model is the large level limit of a coset theory with large $\mathcal{N}=4$, whose proposed AdS$_3$ dual is a minimal Vasiliev higher spin theory with gauge algebra generated by fields…
▽ More
A two-dimensional Sp($2N$) vector model with small $\mathcal{N}=4$ superconformal symmetry is formulated, and its chiral algebra is shown to be generated by superprimary fields of even conformal weight. This vector model is the large level limit of a coset theory with large $\mathcal{N}=4$, whose proposed AdS$_3$ dual is a minimal Vasiliev higher spin theory with gauge algebra generated by fields of even spin. The relation of this vector model to the symmetric product orbifold, dual to tensionless strings in AdS$_3$ $\times$ S$^3$ $\times$ $\mathbb{T}^4$, is also worked out.
△ Less
Submitted 3 October, 2017; v1 submitted 8 February, 2017;
originally announced February 2017.
-
The $\mathfrak{so}$-Kazama-Suzuki Models at Large Level
Authors:
Kevin Ferreira,
Matthias R. Gaberdiel
Abstract:
The large level limit of the $\mathcal{N}=2$ ${\rm SO}(2N)$ Kazama-Suzuki coset models is argued to be equivalent to the orbifold of $4N$ free fermions and bosons by the Lie group ${\rm SO}(2N) \times {\rm SO}(2)$. In particular, it is shown that the untwisted sector of the continuous orbifold accounts for a certain closed subsector of the coset theory. Furthermore, the ground states of the twiste…
▽ More
The large level limit of the $\mathcal{N}=2$ ${\rm SO}(2N)$ Kazama-Suzuki coset models is argued to be equivalent to the orbifold of $4N$ free fermions and bosons by the Lie group ${\rm SO}(2N) \times {\rm SO}(2)$. In particular, it is shown that the untwisted sector of the continuous orbifold accounts for a certain closed subsector of the coset theory. Furthermore, the ground states of the twisted sectors are identified with specific coset representations, and this identification is checked by various independent arguments.
△ Less
Submitted 22 December, 2014;
originally announced December 2014.
-
Fault-tolerant linear solvers via selective reliability
Authors:
Patrick G. Bridges,
Kurt B. Ferreira,
Michael A. Heroux,
Mark Hoemmen
Abstract:
Energy increasingly constrains modern computer hardware, yet protecting computations and data against errors costs energy. This holds at all scales, but especially for the largest parallel computers being built and planned today. As processor counts continue to grow, the cost of ensuring reliability consistently throughout an application will become unbearable. However, many algorithms only need r…
▽ More
Energy increasingly constrains modern computer hardware, yet protecting computations and data against errors costs energy. This holds at all scales, but especially for the largest parallel computers being built and planned today. As processor counts continue to grow, the cost of ensuring reliability consistently throughout an application will become unbearable. However, many algorithms only need reliability for certain data and phases of computation. This suggests an algorithm and system codesign approach. We show that if the system lets applications apply reliability selectively, we can develop algorithms that compute the right answer despite faults. These "fault-tolerant" iterative methods either converge eventually, at a rate that degrades gracefully with increased fault rate, or return a clear failure indication in the rare case that they cannot converge. Furthermore, they store most of their data unreliably, and spend most of their time in unreliable mode.
We demonstrate this for the specific case of detected but uncorrectable memory faults, which we argue are representative of all kinds of faults. We developed a cross-layer application / operating system framework that intercepts and reports uncorrectable memory faults to the application, rather than killing the application, as current operating systems do. The application in turn can mark memory allocations as subject to such faults. Using this framework, we wrote a fault-tolerant iterative linear solver using components from the Trilinos solvers library. Our solver exploits hybrid parallelism (MPI and threads). It performs just as well as other solvers if no faults occur, and converges where other solvers do not in the presence of faults. We show convergence results for representative test problems. Near-term future work will include performance tests.
△ Less
Submitted 6 June, 2012;
originally announced June 2012.
-
Quantum Oscillators in the Canonical Coherent States
Authors:
R. de Lima Rodrigues,
A. F. de Lima,
K. de Araújo Ferreira,
A. N. Vaidya
Abstract:
The main characteristics of the quantum oscillator coherent states including the two-particle Calogero interaction are investigated. We show that these Calogero coherent states are the eigenstates of the second-order differential annihilation operator which is deduced via R-deformed Heisenberg algebra or Wigner-Heisenberg algebraic technique and correspond exactly to the pure uncharged-bosonic s…
▽ More
The main characteristics of the quantum oscillator coherent states including the two-particle Calogero interaction are investigated. We show that these Calogero coherent states are the eigenstates of the second-order differential annihilation operator which is deduced via R-deformed Heisenberg algebra or Wigner-Heisenberg algebraic technique and correspond exactly to the pure uncharged-bosonic states. They possess the important properties of non-orthogonality and completeness. The minimum uncertainty relation for the Calogero interaction coherent states is investigated. New sets of even and odd Wigner oscillator coherent states are pointed out.
△ Less
Submitted 18 November, 2002; v1 submitted 16 May, 2002;
originally announced May 2002.
