Showing 1–50 of 58 results for author: Ponce, M

Performance and scaling analysis of variational quantum simulation

Authors: Mario Ponce, Thomas Cope, Inés de Vega, Martin Leib

Abstract: We present an empirical analysis of the scaling of the minimal quantum circuit depth required for a variational quantum simulation (VQS) method to obtain a solution to the time evolution of a quantum system within a predefined error tolerance. In a comparison against a non-variational method based on Trotterized time evolution, we observe a better scaling of the depth requirements using the VQS ap… ▽ More We present an empirical analysis of the scaling of the minimal quantum circuit depth required for a variational quantum simulation (VQS) method to obtain a solution to the time evolution of a quantum system within a predefined error tolerance. In a comparison against a non-variational method based on Trotterized time evolution, we observe a better scaling of the depth requirements using the VQS approach with respect to both the size of the system and the simulated time. Results are also put into perspective by discussing the corresponding classical complexity required for VQS. Our results allow us to identify a possible advantage region for VQS over Trotterization. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Odometers in non-compact spaces

Authors: Godofredo Iommi, Mario Ponce

Abstract: We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset of the space of one sided sequences on two symbols. We extend the action of the odometer to finite words. It turns out that, arranging the finite words in appro… ▽ More We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset of the space of one sided sequences on two symbols. We extend the action of the odometer to finite words. It turns out that, arranging the finite words in appropriate binary tree, this extension runs through the tree from left-right and top-down. Several well known binary trees made out of rational numbers, such as the Kepler tree or the Calkin and Wilf tree, are recovered in this way. Indeed, it suffices to identify finite words with rational numbers by means of certain continued fractions. The odometric action allow us to recover, in a unified way, several counting results for the rational numbers. Moreover, associated to certain interval maps with countably many branches we construct their corresponding odometers. Explicit formulas are provided in the cases of the Gauss map (continued fractions) and the Renyi map (backward continued fractions). △ Less

Submitted 4 April, 2024; originally announced April 2024.

Odometers, Backward continued fractions and counting rationals

Authors: Godofredo Iommi, Mario Ponce

Abstract: It has been more than twenty years since Moshe Newman, based on work by Neil Calkin and Herbert Wilf, introduced an explicit bijection between the rational and natural numbers. Interestingly, this bijection is dynamic in nature. Indeed, Newman's map has the property that the orbit of zero provides the required bijection. Claudio Bonanno and Stefano Isola, using continued fractions expansions, desc… ▽ More It has been more than twenty years since Moshe Newman, based on work by Neil Calkin and Herbert Wilf, introduced an explicit bijection between the rational and natural numbers. Interestingly, this bijection is dynamic in nature. Indeed, Newman's map has the property that the orbit of zero provides the required bijection. Claudio Bonanno and Stefano Isola, using continued fractions expansions, described the dynamics of its first return time map T. They proved that it is topologically conjugated to the dyadic odometer. In this article, we prove that the correct numerical system needed to analyze this map is the backward continued fractions. Indeed, this approach has the advantage that it provides explicitly the action of T on the expansion. As a by-product, we naturally obtain an explicit formula for Minkowski's question mark function in terms of backward continued fractions. The whole point of Newman was to provide an explicit bijection, our approach shares the same taste for the explicit. △ Less

Submitted 22 May, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

Parallelizing a 1-Dim Nagel-Schreckenberg Traffic Model

Authors: Ramses van Zon, Marcelo Ponce

Abstract: The Nagel-Schreckenberg model is a stochastic one-dimensional traffic model. In this assignment, we guide students through the process of implementing a shared-memory parallel and reproducible version of an existing serial code that implements this model, and to analyze its scaling behavior. One of the key elements in this traffic model is the presence of randomness, without which it would lack re… ▽ More The Nagel-Schreckenberg model is a stochastic one-dimensional traffic model. In this assignment, we guide students through the process of implementing a shared-memory parallel and reproducible version of an existing serial code that implements this model, and to analyze its scaling behavior. One of the key elements in this traffic model is the presence of randomness, without which it would lack realistic phenomena such as traffic jams. Its implementation thus requires techniques associated with Monte Carlo simulations and pseudo-random number generation (PRNG). PRNGs are notoriously tricky to deal with in parallel when combined with the requirement of reproducibility. This assignment was created for the graduate course PHY1610 Scientific Computing for Physicists at the University of Toronto, which had its origin in the training program of the SciNet HPC Consortium, and is also very suitable for other scientific disciplines. Several variations of the assignment have been used over the years. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: To be presented at the "EduHPC-23: Workshop on Education for High-Performance Computing" to be held in conjunction with SC23. Starter code and handout can be found in the "complimentary" material section or the GitHub repository https://github.com/Practical-Scientific-and-HPC-Computing/Traffic_EduHPC-23

Benchmarking Digital-Analog Quantum Computation

Authors: Vicente Pina Canelles, Manuel G. Algaba, Hermanni Heimonen, Miha Papič, Mario Ponce, Jami Rönkkö, Manish J. Thapa, Inés de Vega, Adrian Auer

Abstract: Digital-Analog Quantum Computation (DAQC) has recently been proposed as an alternative to the standard paradigm of digital quantum computation. DAQC creates entanglement through a continuous or analog evolution of the whole device, rather than by applying two-qubit gates. This manuscript describes an in-depth analysis of DAQC by extending its implementation to arbitrary connectivities and by perfo… ▽ More Digital-Analog Quantum Computation (DAQC) has recently been proposed as an alternative to the standard paradigm of digital quantum computation. DAQC creates entanglement through a continuous or analog evolution of the whole device, rather than by applying two-qubit gates. This manuscript describes an in-depth analysis of DAQC by extending its implementation to arbitrary connectivities and by performing the first systematic study of its scaling properties. We specify the analysis for three examples of quantum algorithms, showing that except for a few specific cases, DAQC is in fact disadvantageous with respect to the digital case. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Comments: 16+5 pages, 11 figures

Cybersecurity Training for Users of Remote Computing

Authors: Marcelo Ponce, Ramses van Zon

Abstract: End users of remote computing systems are frequently not aware of basic ways in which they could enhance protection against cyber-threats and attacks. In this paper, we discuss specific techniques to help and train users to improve cybersecurity when using such systems. To explain the rationale behind these techniques, we go into some depth explaining possible threats in the context of using remot… ▽ More End users of remote computing systems are frequently not aware of basic ways in which they could enhance protection against cyber-threats and attacks. In this paper, we discuss specific techniques to help and train users to improve cybersecurity when using such systems. To explain the rationale behind these techniques, we go into some depth explaining possible threats in the context of using remote, shared computing resources. Although some of the details of these prescriptions and recommendations apply to specific use cases when connecting to remote servers, such as a supercomputer, cluster, or Linux workstation, the main concepts and ideas can be applied to a wider spectrum of cases. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: To be presented at SEHET23@PEARC23 and published in the Journal of Computational Science Education. Associated repository with best practices and recommendations: https://github.com/cybersec-BestPractices/cybersec-RemoteComputing

Journal ref: Journal of Computational Science Education (2023), vol. 14, issue 2, pp. 10-17

Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms

Authors: Moises Ponce, Rebekah Herrman, Phillip C. Lotshaw, Sarah Powers, George Siopsis, Travis Humble, James Ostrowski

Abstract: The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the red… ▽ More The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the reduced graph. The algorithm requires a subroutine that can be classical or quantum--in this work, we implement the algorithm twice on each graph. One implementation uses the classical solver Gurobi in the subroutine and the other uses QAOA. We solve these reduced problems with QAOA. On average, the reduced problems require only approximately 1/10 of the number of vertices than the original MaxCut instances. Furthermore, the average approximation ratio of the original MaxCut problems is 0.75, while the approximation ratios of the decomposed graphs are on average of 0.96 for both Gurobi and QAOA. With this decomposition, we are able to measure optimal solutions for ten 100-vertex graphs by running single-layer QAOA circuits on the Quantinuum trapped-ion quantum computer H1-1, sampling each circuit only 500 times. This approach is best suited for sparse, particularly $k$-regular graphs, as $k$-regular graphs on $n$ vertices can be decomposed into a graph with at most $\frac{nk}{k+1}$ vertices in polynomial time. Further reductions can be obtained with a potential trade-off in computational time. While this paper applies the decomposition method to the MaxCut problem, it can be applied to more general classes of combinatorial optimization problems. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Optimal, hardware native decomposition of parameterized multi-qubit Pauli gates

Authors: P. V. Sriluckshmy, Vicente Pina-Canelles, Mario Ponce, Manuel G. Algaba, Fedor Šimkovic IV, Martin Leib

Abstract: We show how to efficiently decompose a parameterized multi-qubit Pauli (PMQP) gate into native parameterized two-qubit Pauli (P2QP) gates minimizing both the circuit depth and the number of P2QP gates. Given a realistic quantum computational model, we argue that the technique is optimal in terms of the number of hardware native gates and the overall depth of the decomposition. Starting from PMQP g… ▽ More We show how to efficiently decompose a parameterized multi-qubit Pauli (PMQP) gate into native parameterized two-qubit Pauli (P2QP) gates minimizing both the circuit depth and the number of P2QP gates. Given a realistic quantum computational model, we argue that the technique is optimal in terms of the number of hardware native gates and the overall depth of the decomposition. Starting from PMQP gate decompositions for the path and star hardware graph, we generalize the procedure to any generic hardware graph and provide exact expressions for the depth and number of P2QP gates of the decomposition. Furthermore, we show how to efficiently combine the decomposition of multiple PMQP gates to further reduce the depth as well as the number of P2QP gates for a combinatorial optimization problem using the Lechner-Hauke-Zoller (LHZ) map**. △ Less

Submitted 27 September, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 17 pages, 4 figures

Journal ref: Quantum Science and Technology Volume 8, Number 4, 045029 (2023)

High-Dimensional Entanglement for Quantum Communication in the Frequency Domain

Authors: Meritxell Cabrejo Ponce, André Luiz Marques Muniz, Marcus Huber, Fabian Steinlechner

Abstract: High-dimensional photonic entanglement is a promising candidate for error-protected quantum information processing with improved capacity. Encoding high-dimensional qudits in the carrier frequency of photons combines ease of generation, universal single-photon gates, and compatibility with fiber transmission for high-capacity quantum communication. Recent landmark experiments have impressively dem… ▽ More High-dimensional photonic entanglement is a promising candidate for error-protected quantum information processing with improved capacity. Encoding high-dimensional qudits in the carrier frequency of photons combines ease of generation, universal single-photon gates, and compatibility with fiber transmission for high-capacity quantum communication. Recent landmark experiments have impressively demonstrated quantum interference of a few frequency modes, yet the certification of massive-dimensional frequency entanglement has remained an open challenge. This study shows how to harness the large frequency-entanglement inherent in standard continuous-wave spontaneous parametric down-conversion processes. It further reports a record certification of discretized frequency entanglement, combined with a novel approach for certification that is both highly efficient and nonlocally implementable. This technique requires very few measurements and does not require assumptions on the state. The work opens the possibility for utilizing this encoding in quantum communications and in quantum information science in general. △ Less

Submitted 31 July, 2023; v1 submitted 2 June, 2022; originally announced June 2022.

Picosecond Hyperspectral Fringe Pattern Projection for 3D Surface Measurement

Authors: Sebastian Ritter, Meritxell Cabrejo Ponce, Nils C. Geib, Sabine Häussler, Stefan Heist, Falk Eilenberger

Abstract: Active stereovision systems for the 3D measurement of surfaces rely on the sequential projection of different fringe patterns onto the scene to robustly and accurately generate 3D surface data. This limits the temporal resolution to the time by which a sufficiently high number of patterns can be projected and recorded. By encoding patterns spectrally and recording them with a hyperspectral imager,… ▽ More Active stereovision systems for the 3D measurement of surfaces rely on the sequential projection of different fringe patterns onto the scene to robustly and accurately generate 3D surface data. This limits the temporal resolution to the time by which a sufficiently high number of patterns can be projected and recorded. By encoding patterns spectrally and recording them with a hyperspectral imager, it is possible to record several patterns in a single image, limiting the temporal resolution to only the duration of the illumination. A picosecond 3D surface measurement was demonstrated using a high pulse energy femtosecond Ti:Sa laser, spectrally broadened in a hollow core fiber, and two hyperspectral cameras recording the patterns generated by diffraction at an Echelle grating. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Comments: 11 pages, 11 figures To be published in Optica Applied Optics

GHz-Pulsed Source of Entangled Photons for Reconfigurable Quantum Networks

Authors: Meritxell Cabrejo Ponce, André Luiz Marques Muniz, Philippe Ancsin, Christopher Spiess, Fabian Steinlechner

Abstract: Entanglement is a universal resource in quantum networks, yet entangled photon sources are typically custom-made for a specific use case. Versatility, both in terms of state modulation and tunability of the temporal properties of the photons, is the key to flexible network architectures and cryptographic primitives that go beyond quantum key distribution. Here, we report on a flexible source desig… ▽ More Entanglement is a universal resource in quantum networks, yet entangled photon sources are typically custom-made for a specific use case. Versatility, both in terms of state modulation and tunability of the temporal properties of the photons, is the key to flexible network architectures and cryptographic primitives that go beyond quantum key distribution. Here, we report on a flexible source design that produces high-quality entanglement in continuous-wave and GHz-rate-pulsed operation modes. Utilizing off-the-shelf optical components, our approach uses a fiber-based Sagnac loop to generate polarization-entangled photons at telecom wavelength with high efficiency and fidelities above 0.99. Phase modulation up to GHz before entangled state generation is also possible for fast entangled state switching. We show phase modulation at 100 MHz with an average fidelity of 0.95. Furthermore, the source 60 nm spectral bandwidth is entirely compatible with fully reconfigurable wavelength-multiplexed quantum networks. △ Less

Submitted 21 January, 2022; originally announced January 2022.

Comments: 10 pages, 5 figures

Clock synchronization with correlated photons

Authors: Christopher Spiess, Sebastian Töpfer, Sakshi Sharma, Andrej Kržič, Meritxell Cabrejo Ponce, Uday Chandrashekara, Nico Lennart Döll, Daniel Rieländer, Fabian Steinlechner

Abstract: Event synchronisation is a ubiquitous task, with applications ranging from 5G technology to industrial automation and smart power grids. The emergence of quantum communication networks will further increase the demand for precise synchronization in the optical and electronic domains, which implies significant resource overhead, such as the requirement for ultrastable clocks or additional synchroni… ▽ More Event synchronisation is a ubiquitous task, with applications ranging from 5G technology to industrial automation and smart power grids. The emergence of quantum communication networks will further increase the demand for precise synchronization in the optical and electronic domains, which implies significant resource overhead, such as the requirement for ultrastable clocks or additional synchronization lasers. Here we show how temporal correlations of energy-time entangled photons may be harnessed for synchronisation in quantum networks. We achieve stable synchronisation jitter <68 ps with as few as 44 correlated detection events per 100-ms data package and demonstrate feasibility in realistic emulated high-loss link scenarios, including atmospheric turbulence. In contrast to previous work, this is accomplished without any external timing reference and only simple crystal oscillators. Our approach replaces the optical and electronic transmission of timing signals with classical communication and computer-aided postprocessing. It can be easily integrated into a wide range of quantum communication networks and could pave the way to future applications in entanglement-based secure time transmission. △ Less

Submitted 31 March, 2022; v1 submitted 30 August, 2021; originally announced August 2021.

The Pony Express Communication Problem

Authors: Jared Coleman, Evangelos Kranakis, Danny Krizanc, Oscar Morales Ponce

Abstract: We introduce a new problem which we call the Pony Express problem. n robots with differing speeds are situated over some domain. A message is placed at some commonly known point. Robots can acquire the message either by visiting its initial position, or by encountering another robot that has already acquired it. The robots must collaborate to deliver the message to a given destination. The objecti… ▽ More We introduce a new problem which we call the Pony Express problem. n robots with differing speeds are situated over some domain. A message is placed at some commonly known point. Robots can acquire the message either by visiting its initial position, or by encountering another robot that has already acquired it. The robots must collaborate to deliver the message to a given destination. The objective is to deliver the message in minimum time. In this paper we study the Pony Express problem on the line where n robots are arbitrarily deployed along a finite segment. The robots have different speeds and can move in both directions. We are interested in both offline centralized and online distributed algorithms. In the online case, we assume the robots have limited knowledge of the initial configuration. In particular, the robots do not know the initial positions and speeds of the other robots nor even their own position and speed. They do, however, know the direction on the line in which to find the message and have the ability to compare speeds when they meet. First, we study the Pony Express problem where the message is initially placed at one endpoint of a segment and must be delivered to the other endpoint. We provide an O(n log n) running time offline algorithm as well as an optimal online algorithm. Then we study the Half-Broadcast problem where the message is at the center and must be delivered to either one of the endpoints of the segment [-1,1]. We provide an offline algorithm running in O(n^2 log n) time and we provide an online algorithm that attains a competitive ratio of 3/2 which we show is the best possible. Finally, we study the Broadcast problem where the message is at the center and must be delivered to both endpoints of the segment [-1,1]. Here we give an FPTAS in the offline case and an online algorithm that attains a competitive ratio of 9/5, which we show is tight. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Comments: 14 pages, 3 figures to be published in IWOCA 2021

Relating boundary and interior solutions of the cohomological equation for cocycles by isometries of negatively curved spaces. The Livsic case

Authors: Alexis Moraga, Mario Ponce

Abstract: We consider the reducibility problem of cocycles by isometries of Gromov hyperbolic metric spaces in the Livsic setting. We show that provided that the boundary cocycle (that acts on a compact space) is reducible in a suitable Hölder class, then the original cocycle by isometries (that acts on an unbounded space) is also reducible. We consider the reducibility problem of cocycles by isometries of Gromov hyperbolic metric spaces in the Livsic setting. We show that provided that the boundary cocycle (that acts on a compact space) is reducible in a suitable Hölder class, then the original cocycle by isometries (that acts on an unbounded space) is also reducible. △ Less

Submitted 19 March, 2021; originally announced March 2021.

MSC Class: 37H05; 37H15; 37A20

The Halász-Székely Barycenter

Authors: Jairo Bochi, Godofredo Iommi, Mario Ponce

Abstract: We introduce a notion of barycenter of a probability measure related to the symmetric mean of a collection of nonnegative real numbers. Our definition is inspired by the work of Halász and Székely, who in 1976 proved a law of large numbers for symmetric means. We study analytic properties of this Halász-Székely barycenter. We establish fundamental inequalities that relate the symmetric mean of a l… ▽ More We introduce a notion of barycenter of a probability measure related to the symmetric mean of a collection of nonnegative real numbers. Our definition is inspired by the work of Halász and Székely, who in 1976 proved a law of large numbers for symmetric means. We study analytic properties of this Halász-Székely barycenter. We establish fundamental inequalities that relate the symmetric mean of a list of nonnegative real numbers with the barycenter of the measure uniformly supported on these points. As consequence, we go on to establish an ergodic theorem stating that the symmetric means of a sequence of dynamical observations converges to the Halász-Székely barycenter of the corresponding distribution. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Journal ref: Proc. Edinburgh Math. Soc. (2) 65, no.4, 881-911 (2022)

On the projective derivative cocycle for circle diffeomorphisms

Authors: Andrés Navas, Mario Ponce

Abstract: We study the projective derivative as a cocycle of Möbius transformations over groups of circle diffeomorphisms. By computing precise expressions for this cocycle, we obtain several results about reducibility and almost reducibility to a cocycle of rotations. We also introduce an extension of this cocycle to the diagonal action on the 3-torus for which we generalize the previous results. We study the projective derivative as a cocycle of Möbius transformations over groups of circle diffeomorphisms. By computing precise expressions for this cocycle, we obtain several results about reducibility and almost reducibility to a cocycle of rotations. We also introduce an extension of this cocycle to the diagonal action on the 3-torus for which we generalize the previous results. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Comments: 17 pages

MSC Class: 37E05; 37E10; 37E45

covid19.analytics: An R Package to Obtain, Analyze and Visualize Data from the Coronavirus Disease Pandemic

Authors: Marcelo Ponce, Amit Sandhel

Abstract: With the emergence of a new pandemic worldwide, a novel strategy to approach it has emerged. Several initiatives under the umbrella of "open science" are contributing to tackle this unprecedented situation. In particular, the "R Language and Environment for Statistical Computing" offers an excellent tool and ecosystem for approaches focusing on open science and reproducible results. Hence it is no… ▽ More With the emergence of a new pandemic worldwide, a novel strategy to approach it has emerged. Several initiatives under the umbrella of "open science" are contributing to tackle this unprecedented situation. In particular, the "R Language and Environment for Statistical Computing" offers an excellent tool and ecosystem for approaches focusing on open science and reproducible results. Hence it is not surprising that with the onset of the pandemic, a large number of R packages and resources were made available for researches working in the pandemic. In this paper, we present an R package that allows users to access and analyze worldwide data from resources publicly available. We will introduce the covid19.analytics package, focusing in its capabilities and presenting a particular study case where we describe how to deploy the "COVID19.ANALYTICS Dashboard Explorer". △ Less

Submitted 20 April, 2021; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: Version with updates matching ver 2.1 of the covi19.analytics package

Software-Enhanced Teaching and Visualization Capabilities of an Ultra-High-Resolution Video Wall

Authors: Ramses van Zon, Marcelo Ponce

Abstract: This paper presents a modular approach to enhance the capabilities and features of a visualization and teaching room using software. This approach was applied to a room with a large, high resolution (7680$\times$4320 pixels), tiled screen of 13 $\times$ 7.5 feet as its main display, and with a variety of audio and video inputs, connected over a network. Many of the techniques described are possibl… ▽ More This paper presents a modular approach to enhance the capabilities and features of a visualization and teaching room using software. This approach was applied to a room with a large, high resolution (7680$\times$4320 pixels), tiled screen of 13 $\times$ 7.5 feet as its main display, and with a variety of audio and video inputs, connected over a network. Many of the techniques described are possible because of a software-enhanced setup, utilizing existing hardware and a collection of mostly open-source tools, allowing to perform collaborative, high-resolution visualizations as well as broadcasting and recording workshops and lectures. The software approach is flexible and allows one to add functionality without changing the hardware. △ Less

Submitted 31 July, 2019; originally announced August 2019.

Comments: PEARC'19: "Practice and Experience in Advanced Research Computing", July 28-August 1, 2019 - Chicago, IL, USA

Deploying a Top-100 Supercomputer for Large Parallel Workloads: the Niagara Supercomputer

Authors: Marcelo Ponce, Ramses van Zon, Scott Northrup, Daniel Gruner, Joseph Chen, Fatih Ertinaz, Alexey Fedoseev, Leslie Groer, Fei Mao, Bruno C. Mundim, Mike Nolta, Jaime Pinto, Marco Saldarriaga, Vladimir Slavnic, Erik Spence, Ching-Hsing Yu, W. Richard Peltier

Abstract: Niagara is currently the fastest supercomputer accessible to academics in Canada. It was deployed at the beginning of 2018 and has been serving the research community ever since. This homogeneous 60,000-core cluster, owned by the University of Toronto and operated by SciNet, was intended to enable large parallel jobs and has a measured performance of 3.02 petaflops, debuting at #53 in the June 201… ▽ More Niagara is currently the fastest supercomputer accessible to academics in Canada. It was deployed at the beginning of 2018 and has been serving the research community ever since. This homogeneous 60,000-core cluster, owned by the University of Toronto and operated by SciNet, was intended to enable large parallel jobs and has a measured performance of 3.02 petaflops, debuting at #53 in the June 2018 TOP500 list. It was designed to optimize throughput of a range of scientific codes running at scale, energy efficiency, and network and storage performance and capacity. It replaced two systems that SciNet operated for over 8 years, the Tightly Coupled System (TCS) and the General Purpose Cluster (GPC). In this paper we describe the transition process from these two systems, the procurement and deployment processes, as well as the unique features that make Niagara a one-of-a-kind machine in Canada. △ Less

Submitted 31 July, 2019; originally announced July 2019.

Comments: PEARC'19: "Practice and Experience in Advanced Research Computing", July 28-August 1, 2019, Chicago, IL, USA

RACS: Rapid Analysis of ChIP-Seq data for contig based genomes

Authors: Marcelo Ponce, Alejandro Saettone, Syed Nabeel-Shah, Jeffrey Fillingham

Abstract: Background: Chromatin immunoprecipitation coupled to next generation sequencing (ChIP-Seq) is a widely used technique to investigate the function of chromatin-related proteins in a genome-wide manner. ChIP-Seq generates large quantities of data which can be difficult to process and analyse, particularly for organisms with contig based genomes. Contig-based genomes often have poor annotations for c… ▽ More Background: Chromatin immunoprecipitation coupled to next generation sequencing (ChIP-Seq) is a widely used technique to investigate the function of chromatin-related proteins in a genome-wide manner. ChIP-Seq generates large quantities of data which can be difficult to process and analyse, particularly for organisms with contig based genomes. Contig-based genomes often have poor annotations for cis-elements, for example enhancers, that are important for gene expression. Poorly annotated genomes make a comprehensive analysis of ChIP-Seq data difficult and as such standardized analysis pipelines are lacking. Methods: We report a computational pipeline that utilizes traditional High-Performance Computing techniques and open source tools for processing and analysing data obtained from ChIP-Seq. We applied our computational pipeline "Rapid Analysis of ChIP-Seq data" (RACS) to ChIP-Seq data that was generated in the model organism Tetrahymena thermophila, an example of an organism with a genome that is available in contigs. Results: To test the performance and efficiency of RACs, we performed control ChIP-Seq experiments allowing us to rapidly eliminate false positives when analyzing our previously published data set. Our pipeline segregates the found read accumulations between genic and intergenic regions and is highly efficient for rapid downstream analyses. Conclusions: Altogether, the computational pipeline presented in this report is an efficient and highly reliable tool to analyze genome-wide ChIP-Seq data generated in model organisms with contig-based genomes. RACS is an open source computational pipeline available to download from: https://bitbucket.org/mjponce/racs --or-- https://gitrepos.scinet.utoronto.ca/public/?a=summary&p=RACS △ Less

Submitted 7 May, 2019; originally announced May 2019.

Comments: Submitted to BMC Bioinformatics. Computational pipeline available at https://bitbucket.org/mjponce/racs

Journal ref: BMC Bioinformatics 20, 533 (2019)

Trends in Demand, Growth, and Breadth in Scientific Computing Training Delivered by a High-Performance Computing Center

Authors: Ramses van Zon, Marcelo Ponce, Erik Spence, Daniel Gruner

Abstract: We analyze the changes in the training and educational efforts of the SciNet HPC Consortium, a Canadian academic High Performance Computing center, in the areas of Scientific Computing and High-Performance Computing, over the last six years. Initially, SciNet offered isolated training events on how to use HPC systems and write parallel code, but the training program now consists of a broad range o… ▽ More We analyze the changes in the training and educational efforts of the SciNet HPC Consortium, a Canadian academic High Performance Computing center, in the areas of Scientific Computing and High-Performance Computing, over the last six years. Initially, SciNet offered isolated training events on how to use HPC systems and write parallel code, but the training program now consists of a broad range of workshops and courses that users can take toward certificates in scientific computing, data science, or high-performance computing. Using data on enrollment, attendence, and certificate numbers from SciNet's education website, used by almost 1800 users so far, we extract trends on the growth, demand, and breadth of SciNet's training program. Among the results are a steady overall growth, a sharp and steady increase in the demand for data science training, and a wider participation of 'non-traditional' computing disciplines, which has motivated an increasingly broad spectrum of training offerings. Of interest is also that many of the training initiatives have evolved into courses that can be taken as part of the graduate curriculum at the University of Toronto. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: Presented at the Fifth Workshop on Best Practices for Enhancing HPC Training and Education (BPHTE18) @ SC18

Journal ref: Journal of Computational Science Education Volume 10, Issue 1, pp. 53-60 (2019)

Bridging the Educational Gap between Emerging and Established Scientific Computing Disciplines

Authors: Marcelo Ponce, Erik Spence, Ramses van Zon, Daniel Gruner

Abstract: In this paper we describe our experience in develo** curriculum courses aimed at graduate students in emerging computational fields, including biology and medical science. We focus primarily on computational data analysis and statistical analysis, while at the same time teaching students best practices in coding and software development. Our approach combines a theoretical background and practic… ▽ More In this paper we describe our experience in develo** curriculum courses aimed at graduate students in emerging computational fields, including biology and medical science. We focus primarily on computational data analysis and statistical analysis, while at the same time teaching students best practices in coding and software development. Our approach combines a theoretical background and practical applications of concepts. The outcomes and feedback we have obtained so far have revealed several issues: students in these particular areas lack instruction like this although they would tremendously benefit from it; we have detected several weaknesses in the formation of students, in particular in the statistical foundations but also in analytical thinking skills. We present here the tools, techniques and methodology we employ while teaching and develo** this type of courses. We also show several outcomes from this initiative, including potential pathways for fruitful multi-disciplinary collaborations. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: Presented at the Workshop on Strategies for Enhancing HPC Education and Training (SEHET18) @ PEARC18

Journal ref: Journal of Computational Science Education, vol 10 (2019)

The bromodomain-containing protein Ibd1 links multiple chromatin related protein complexes to highly expressed genes in Tetrahymena thermophila

Authors: Alejandro Saettone, Jyoti Garg, Jean-Philippe Lambert, Syed Nabeel-Shah, Marcelo Ponce, Alyson Burtch, Cristina Thuppu Mudalige, Anne-Claude Gingras, Ronald E. Pearlman, Jeffrey Fillingham

Abstract: Background: The chromatin remodelers of the SWI/SNF family are critical transcriptional regulators. Recognition of lysine acetylation through a bromodomain (BRD) component is key to SWI/SNF function; in most eukaryotes, this function is attributed to SNF2/Brg1. Results: Using affinity purification coupled to mass spectrometry (AP-MS) we identified members of a SWI/SNF complex (SWI/SNFTt) in Tetr… ▽ More Background: The chromatin remodelers of the SWI/SNF family are critical transcriptional regulators. Recognition of lysine acetylation through a bromodomain (BRD) component is key to SWI/SNF function; in most eukaryotes, this function is attributed to SNF2/Brg1. Results: Using affinity purification coupled to mass spectrometry (AP-MS) we identified members of a SWI/SNF complex (SWI/SNFTt) in Tetrahymena thermophila. SWI/SNFTt is composed of 11 proteins, Snf5Tt, Swi1Tt, Swi3Tt, Snf12Tt, Brg1Tt, two proteins with potential chromatin interacting domains and four proteins without orthologs to SWI/SNF proteins in yeast or mammals. SWI/SNFTt subunits localize exclusively to the transcriptionally active macronucleus (MAC) during growth and development, consistent with a role in transcription. While Tetrahymena Brg1 does not contain a BRD, our AP-MS results identified a BRD-containing SWI/SNFTt component, Ibd1 that associates with SWI/SNFTt during growth but not development. AP-MS analysis of epitope-tagged Ibd1 revealed it to be a subunit of several additional protein complexes, including putative SWRTt, and SAGATt complexes as well as a putative H3K4-specific histone methyl transferase complex. Recombinant Ibd1 recognizes acetyl-lysine marks on histones correlated with active transcription. Consistent with our AP-MS and histone array data suggesting a role in regulation of gene expression, ChIP-Seq analysis of Ibd1 indicated that it primarily binds near promoters and within gene bodies of highly expressed genes during growth. Conclusions: Our results suggest that through recognizing specific histones marks, Ibd1 targets active chromatin regions of highly expressed genes in Tetrahymena where it subsequently might coordinate the recruitment of several chromatin remodeling complexes to regulate the transcriptional landscape of vegetatively growing Tetrahymena cells. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Comments: Published on BMC Epigenetics & Chromatin

Journal ref: Epigenetics & Chromatin (2018) 11:10

Sets of FCS experiments to quantify free diffusion coefficients in reaction-diffusion systems. The case of Ca2+ and its dyes

Authors: Lorena Sigaut, Cecilia Villarruel, María Laura Ponce, Silvina Ponce Dawson

Abstract: Many cell signaling pathways involve the diffusion of messengers that bind/unbind to intracellular components. Quantifying their net transport rate under different conditions, then requires having separate estimates of their free diffusion coefficient and binding/unbinding rates. In this paper, we show how performing sets of Fluorescence Correlation Spectroscopy (FCS) experiments under different c… ▽ More Many cell signaling pathways involve the diffusion of messengers that bind/unbind to intracellular components. Quantifying their net transport rate under different conditions, then requires having separate estimates of their free diffusion coefficient and binding/unbinding rates. In this paper, we show how performing sets of Fluorescence Correlation Spectroscopy (FCS) experiments under different conditions, it is possible to quantify free diffusion coefficients and on and off rates of reaction-diffusion systems. We develop the theory and present a practical implementation for the case of the universal second messenger, calcium (Ca$^{2+}$) and single-wavelength dyes that increase their fluorescence upon Ca$^{2+}$ binding. We validate the approach with experiments performed in aqueous solutions containing Ca$^{2+}$ and Fluo4 dextran (both in its High and Low Affinity versions). Performing FCS experiments with tetramethylrhodamine-dextran in Xenopus laevis oocytes, we infer the corresponding free diffusion coefficients in the cytosol of these cells. Our approach can be extended to other physiologically relevant reaction-diffusion systems to quantify biophysical parameters that determine the dynamics of various variables of interest. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Comments: 32 pages, 7 figures

Journal ref: Phys. Rev. E 95, 062408 (2017)

Perfect Matchings in Inhomogeneous Random Bipartite Graphs in Random Environment

Authors: Jairo Bochi, Godofredo Iommi, Mario Ponce

Abstract: In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast. In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast. △ Less

Submitted 28 November, 2016; v1 submitted 19 May, 2016; originally announced May 2016.

Comments: We added Section 5

Scientific Computing, High-Performance Computing and Data Science in Higher Education

Authors: Marcelo Ponce, Erik Spence, Daniel Gruner, Ramses van Zon

Abstract: We present an overview of current academic curricula for Scientific Computing, High-Performance Computing and Data Science. After a survey of current academic and non-academic programs across the globe, we focus on Canadian programs and specifically on the education program of the SciNet HPC Consortium, using its detailed enrollment and course statistics for the past four to five years. Not only d… ▽ More We present an overview of current academic curricula for Scientific Computing, High-Performance Computing and Data Science. After a survey of current academic and non-academic programs across the globe, we focus on Canadian programs and specifically on the education program of the SciNet HPC Consortium, using its detailed enrollment and course statistics for the past four to five years. Not only do these data display a steady and rapid increase in the demand for research-computing instruction, they also show a clear shift from traditional (high performance) computing to data-oriented methods. It is argued that this growing demand warrants specialized research computing degrees. The possible curricula of such degrees are described next, taking existing programs as an example, and adding SciNet's experiences of student desires as well as trends in advanced research computing. △ Less

Submitted 16 June, 2016; v1 submitted 19 April, 2016; originally announced April 2016.

Comments: Updated discussion and title

Journal ref: Journal of Computational Science Education vol 10 (2019)

The Influence of Neutrinos on r-Process Nucleosynthesis in the Ejecta of Black Hole-Neutron Star Mergers

Authors: Luke F. Roberts, Jonas Lippuner, Matthew D. Duez, Joshua A. Faber, Francois Foucart, James C. Lombardi Jr., Sandra Ning, Christian D. Ott, Marcelo Ponce

Abstract: During the merger of a black hole and a neutron star, baryonic mass can become unbound from the system. Because the ejected material is extremely neutron-rich, the r-process rapidly synthesizes heavy nuclides as the material expands and cools. In this work, we map general relativistic models of black hole-neutron star (BHNS) mergers into a Newtonian smoothed particle hydrodynamics (SPH) code and f… ▽ More During the merger of a black hole and a neutron star, baryonic mass can become unbound from the system. Because the ejected material is extremely neutron-rich, the r-process rapidly synthesizes heavy nuclides as the material expands and cools. In this work, we map general relativistic models of black hole-neutron star (BHNS) mergers into a Newtonian smoothed particle hydrodynamics (SPH) code and follow the evolution of the thermodynamics and morphology of the ejecta until the outflows become homologous. We investigate how the subsequent evolution depends on our map** procedure and find that the results are robust. Using thermodynamic histories from the SPH particles, we then calculate the expected nucleosynthesis in these outflows while varying the level of neutrino irradiation coming from the postmerger accretion disk. We find that the ejected material robustly produces r-process nucleosynthesis even for unrealistically high neutrino luminosities, due to the rapid velocities of the outflow. Nonetheless, we find that neutrinos can have an impact on the detailed pat- tern of the r-process nucleosynthesis. Electron neutrinos are captured by neutrons to produce protons while neutron capture is occurring. The produced protons rapidly form low mass seed nuclei for the r-process. These low mass seeds are eventually incorporated into the first r-process peak at A~78, producing mainly Ge and Se. We consider the mechanism of this process in detail and discuss if it can impact galactic chemical evolution of the first peak r-process nuclei. △ Less

Submitted 6 April, 2017; v1 submitted 28 January, 2016; originally announced January 2016.

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

The Scaling Mean and a Law of Large Permanents

Authors: Jairo Bochi, Godofredo Iommi, Mario Ponce

Abstract: In this paper we study two types of means of the entries of a nonnegative matrix: the \emph{permanental mean}, which is defined using permanents, and the \emph{scaling mean}, which is defined in terms of an optimization problem. We explore relations between these two means, making use of important results by Ergorychev and Falikman (the van~der~Waerden conjecture), Friedland, Sinkhorn, and others.… ▽ More In this paper we study two types of means of the entries of a nonnegative matrix: the \emph{permanental mean}, which is defined using permanents, and the \emph{scaling mean}, which is defined in terms of an optimization problem. We explore relations between these two means, making use of important results by Ergorychev and Falikman (the van~der~Waerden conjecture), Friedland, Sinkhorn, and others. We also define a scaling mean for functions in a much more general context. Our main result is a Law of Large Permanents, a pointwise ergodic theorem for permanental means of dynamically defined matrices that expresses the limit as a functional scaling mean. The concepts introduced in this paper are general enough so to include as particular cases certain classical types of means, as for example symmetric means and Muirhead means. As a corollary, we reobtain a formula of Halász and Székely for the limit of the symmetric means of a stationary random process. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Journal ref: Advances in Mathematics 292, 374-409 (2016)

An ergodic theorem for permanents of oblong matrices

Authors: Jairo Bochi, Godofredo Iommi, Mario Ponce

Abstract: We form a sequence of oblong matrices by evaluating an integrable vector-valued function along the orbit of an ergodic dynamical system. We obtain an almost sure asymptotic result for the permanents of those matrices. We also give an application to symmetric means. We form a sequence of oblong matrices by evaluating an integrable vector-valued function along the orbit of an ergodic dynamical system. We obtain an almost sure asymptotic result for the permanents of those matrices. We also give an application to symmetric means. △ Less

Submitted 21 October, 2016; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: We were informed by the referee that our Theorem 1 is a particular case of a 1996 result of Aaronson, Burton, Dehling, Gilat, Hill, and Weiss. So this will become a permanent preprint

MSC Class: 15A15; 26E60; 37A30; 60B20; 60F15

Regularity of Mediatrices in Surfaces

Authors: Pilar Herreros, Mario Ponce, J. J. P Veerman

Abstract: For distinct points $p$ and $q$ in a two-dimensional Riemannian manifold, one defines their mediatrix $L_{pq}$ as the set of equidistant points to $p$ and $q$. It is known that mediatrices have a cell decomposition consisting of a finite number of branch points connected by Lipschitz curves. This paper establishes additional geometric regularity properties of mediatrices. We show that mediatrices… ▽ More For distinct points $p$ and $q$ in a two-dimensional Riemannian manifold, one defines their mediatrix $L_{pq}$ as the set of equidistant points to $p$ and $q$. It is known that mediatrices have a cell decomposition consisting of a finite number of branch points connected by Lipschitz curves. This paper establishes additional geometric regularity properties of mediatrices. We show that mediatrices have the radial linearizability property, which implies that at each point they have a geometrically defined derivative in the branching directions. Also, we study the particular case of mediatrices on spheres, by showing that they are Lipschitz simple closed curves exhibiting at most countably many singularities, with finite total angular deficiency. △ Less

Submitted 6 November, 2014; originally announced November 2014.

Comments: 9 pages

MSC Class: 53C22

Electromagnetic outflows in a class of scalar-tensor theories: binary neutron star coalescence

Authors: Marcelo Ponce, Carlos Palenzuela, Enrico Barausse, Luis Lehner

Abstract: As we showed in previous work, the dynamics and gravitational emission of binary neutron star systems in certain scalar-tensor theories can differ significantly from that expected from General Relativity in the coalescing stage. In this work we examine whether the characteristics of the electromagnetic counterparts to these binaries -- driven by magnetosphere interactions prior to the merger event… ▽ More As we showed in previous work, the dynamics and gravitational emission of binary neutron star systems in certain scalar-tensor theories can differ significantly from that expected from General Relativity in the coalescing stage. In this work we examine whether the characteristics of the electromagnetic counterparts to these binaries -- driven by magnetosphere interactions prior to the merger event -- can provide an independent way to test gravity in the most strongly dynamical stages of binary mergers. We find that the electromagnetic flux emitted by binaries in these scalar-tensor theories can show deviations from the GR prediction in particular cases. These differences are quite subtle, thus requiring delicate measurements to differentiate between GR and the type of scalar-tensor theories considered in this work using electromagnetic observations alone. However, if coupled with a gravitational-wave detection, electromagnetic measurements might provide a way to increase the confidence with which GR will be confirmed (or ruled out) by gravitational observations. △ Less

Submitted 19 April, 2015; v1 submitted 2 October, 2014; originally announced October 2014.

Comments: Improved presentation and figures; matches version accepted in PRD

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

Projected Constraints on Scalarization with Gravitational Waves from Neutron Star Binaries

Authors: Laura Sampson, Nicolas Yunes, Neil Cornish, Marcelo Ponce, Enrico Barausse, Antoine Klein, Carlos Palenzuela, Luis Lehner

Abstract: Certain scalar-tensor theories have the property of endowing stars with scalar hair, sourced either by the star's own compactness (spontaneous scalarization) or, for binary systems, by the companion's scalar hair (induced scalarization) or by the orbital binding energy (dynamical scalarization). Scalarized stars in binaries present different conservative dynamics than in General Relativity, and ca… ▽ More Certain scalar-tensor theories have the property of endowing stars with scalar hair, sourced either by the star's own compactness (spontaneous scalarization) or, for binary systems, by the companion's scalar hair (induced scalarization) or by the orbital binding energy (dynamical scalarization). Scalarized stars in binaries present different conservative dynamics than in General Relativity, and can also excite a scalar mode in the metric perturbation that carries away dipolar radiation. As a result, the binary orbit shrinks faster than predicted in General Relativity, modifying the rate of decay of the orbital period. In spite of this, scalar-tensor theories can pass existing binary pulsar tests, because observed pulsars may not be compact enough or sufficiently orbitally bound to activate scalarization. Gravitational waves emitted during the last stages of compact binary inspirals are thus ideal probes of scalarization effects. For the standard projected sensitivity of advanced LIGO, we here show that, if neutron stars are sufficiently compact to enter the detector's sensitivity band already scalarized, then gravitational waves could place constraints at least comparable to binary pulsars. If the stars dynamically scalarize while inspiraling in band, then constraints are still possible provided the scalarization occurs sufficiently early in the inspiral, roughly below an orbital frequency of 50Hz. In performing these studies, we derive an easy-to-calculate data analysis measure, an integrated phase difference between a General Relativistic and a modified signal, that maps directly to the Bayes factor so as to determine whether a modified gravity effect is detectable. Finally, we find that custom-made templates are equally effective as model-independent, parameterized post-Einsteinian waveforms at detecting such modified gravity effects at realistic signal-to-noise ratios. △ Less

Submitted 28 November, 2014; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: 26 pages, 15 figures, 2 tables. Version resubmitted to PRD after referee report. Discussion added to the conclusions addressing questions raised in arXiv:1410.0738

Journal ref: Phys. Rev. D 90, 124091 (2014)

Interaction of misaligned magnetospheres in the coalescence of binary neutron stars

Authors: Marcelo Ponce, Carlos Palenzuela, Luis Lehner, Steven L. Liebling

Abstract: We study the dependence of the electromagnetic luminosity --produced by interactions of force-free magnetospheres-- on dipole inclinations in binary neutron star systems. We show that this interaction extracts kinetic energy from the system and powers a Poynting flux with a strong dependence on the dipole orientations. This dependence can be linked to the reconnection and redistribution of magneti… ▽ More We study the dependence of the electromagnetic luminosity --produced by interactions of force-free magnetospheres-- on dipole inclinations in binary neutron star systems. We show that this interaction extracts kinetic energy from the system and powers a Poynting flux with a strong dependence on the dipole orientations. This dependence can be linked to the reconnection and redistribution of magnetic field as the stars interact. Although the details of the Poynting luminosity are very much dependent on the orientation, all the cases considered here nevertheless radiate a large Poynting flux. This robust emission suggests that the pre-merger stage of binary neutron star systems can yield interesting electromagnetic counterparts to gravitational wave events. △ Less

Submitted 5 August, 2014; v1 submitted 2 April, 2014; originally announced April 2014.

Comments: 12 pages, 9 figures; matches version published in PRD

Journal ref: Phys. Rev. D 90, 044007 (2014)

The NINJA-2 project: Detecting and characterizing gravitational waveforms modelled using numerical binary black hole simulations

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the NINJA-2 Collaboration, :, J. Aasi, B. P. Abbott, R. Abbott, T. Abbott, M. R. Abernathy, T. Accadia, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, C. Affeldt, M. Agathos, N. Aggarwal, O. D. Aguiar, A. Ain, P. Ajith, A. Alemic, B. Allen, A. Allocca , et al. (867 additional authors not shown)

Abstract: The Numerical INJection Analysis (NINJA) project is a collaborative effort between members of the numerical relativity and gravitational-wave astrophysics communities. The purpose of NINJA is to study the ability to detect gravitational waves emitted from merging binary black holes and recover their parameters with next-generation gravitational-wave observatories. We report here on the results of… ▽ More The Numerical INJection Analysis (NINJA) project is a collaborative effort between members of the numerical relativity and gravitational-wave astrophysics communities. The purpose of NINJA is to study the ability to detect gravitational waves emitted from merging binary black holes and recover their parameters with next-generation gravitational-wave observatories. We report here on the results of the second NINJA project, NINJA-2, which employs 60 complete binary black hole hybrid waveforms consisting of a numerical portion modelling the late inspiral, merger, and ringdown stitched to a post-Newtonian portion modelling the early inspiral. In a "blind injection challenge" similar to that conducted in recent LIGO and Virgo science runs, we added 7 hybrid waveforms to two months of data recolored to predictions of Advanced LIGO and Advanced Virgo sensitivity curves during their first observing runs. The resulting data was analyzed by gravitational-wave detection algorithms and 6 of the waveforms were recovered with false alarm rates smaller than 1 in a thousand years. Parameter estimation algorithms were run on each of these waveforms to explore the ability to constrain the masses, component angular momenta and sky position of these waveforms. We also perform a large-scale monte-carlo study to assess the ability to recover each of the 60 hybrid waveforms with early Advanced LIGO and Advanced Virgo sensitivity curves. Our results predict that early Advanced LIGO and Advanced Virgo will have a volume-weighted average sensitive distance of 300Mpc (1Gpc) for $10M_{\odot}+10M_{\odot}$ ($50M_{\odot}+50M_{\odot}$) binary black hole coalescences. We demonstrate that neglecting the component angular momenta in the waveform models used in matched-filtering will result in a reduction in sensitivity for systems with large component angular momenta. [Abstract abridged for ArXiv, full version in PDF] △ Less

Submitted 5 January, 2014; originally announced January 2014.

Comments: 52 pages, 11 figures, 7 tables

Report number: LIGO-P1300199

Journal ref: Class. Quantum Grav. 31 115004, 2014

Dynamical scalarization of neutron stars in scalar-tensor gravity theories

Authors: Carlos Palenzuela, Enrico Barausse, Marcelo Ponce, Luis Lehner

Abstract: We present a framework to study generic neutron-star binaries in scalar-tensor theories of gravity. Our formalism achieves this goal by suitably interfacing a post-Newtonian orbital evolution (described by a set of ordinary differential equations) with a set of non-linear algebraic equations, which provide a description of the scalar charge of each binary's component along the evolution in terms o… ▽ More We present a framework to study generic neutron-star binaries in scalar-tensor theories of gravity. Our formalism achieves this goal by suitably interfacing a post-Newtonian orbital evolution (described by a set of ordinary differential equations) with a set of non-linear algebraic equations, which provide a description of the scalar charge of each binary's component along the evolution in terms of isolated-star data. We validate this semi-analytical procedure by comparing its results to those of fully general-relativistic simulations, and use it to investigate the behavior of binary systems in large portions of the parameter space of scalar-tensor theories. This allows us to shed further light on the phenomenon of "dynamical scalarization", which we uncovered in [Barausse, Palenzuela, Ponce and Lehner, Phys. Rev. D 87, 081506(R) (2013)] and which takes place in tight binaries, even for stars that have exactly zero scalar charge in isolation. We also employ our formalism to study representative binary systems, obtain their gravitational-wave signals and discuss the extent to which deviations from General Relativity can be detected. The insights gained by this framework allow us to additionally show that eccentric binaries can undergo scalarization/de-scalarization phenomena. △ Less

Submitted 6 March, 2014; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: 17 pages, 20 figures; matches version published in PRD

Journal ref: Phys. Rev. D 89, 044024 (2014)

Linking electromagnetic and gravitational radiation in coalescing binary neutron stars

Authors: Carlos Palenzuela, Luis Lehner, Steven L. Liebling, Marcelo Ponce, Matthew Anderson, David Neilsen, Patrick Motl

Abstract: We expand on our study of the gravitational and electromagnetic emissions from the late stage of an inspiraling neutron star binary as presented in Ref. \cite{Palenzuela:2013hu}. Interactions between the stellar magnetospheres, driven by the extreme dynamics of the merger, can yield considerable outflows. We study the gravitational and electromagnetic waves produced during the inspiral and merger… ▽ More We expand on our study of the gravitational and electromagnetic emissions from the late stage of an inspiraling neutron star binary as presented in Ref. \cite{Palenzuela:2013hu}. Interactions between the stellar magnetospheres, driven by the extreme dynamics of the merger, can yield considerable outflows. We study the gravitational and electromagnetic waves produced during the inspiral and merger of a binary neutron star system using a full relativistic, resistive MHD evolution code. We show that the interaction between the stellar magnetospheres extracts kinetic energy from the system and powers radiative Poynting flux and heat dissipation. These features depend strongly on the configuration of the initial stellar magnetic moments. Our results indicate that this power can strongly outshine pulsars in binaries and have a distinctive angular and time-dependent pattern. Our discussion provides more detail than Ref. \cite{Palenzuela:2013hu}, showing clear evidence of the different effects taking place during the inspiral. Our simulations include a few milliseconds after the actual merger and study the dynamics of the magnetic fields during the formation of the hypermassive neutron star. We also briefly discuss the possibility of observing such emissions. △ Less

Submitted 19 August, 2013; v1 submitted 28 July, 2013; originally announced July 2013.

Comments: 15 pages, 15 figures; Updated with spelling/grammar corrections, updated references, and better printing figures

Journal ref: Phys. Rev. D 88, 043011 (2013)

Gravitational and electromagnetic outputs from binary neutron star mergers

Authors: Carlos Palenzuela, Luis Lehner, Marcelo Ponce, Steven L. Liebling, Matthew Anderson, David Neilsen, Patrick Motl

Abstract: The late stage of an inspiraling neutron star binary gives rise to strong gravitational wave emission due to its highly dynamic, strong gravity. Moreover, interactions between the stellar magnetospheres can produce considerable electromagnetic radiation. We study this scenario using fully general relativistic, resistive magneto-hydrodynamics simulations. We show that these interactions extract kin… ▽ More The late stage of an inspiraling neutron star binary gives rise to strong gravitational wave emission due to its highly dynamic, strong gravity. Moreover, interactions between the stellar magnetospheres can produce considerable electromagnetic radiation. We study this scenario using fully general relativistic, resistive magneto-hydrodynamics simulations. We show that these interactions extract kinetic energy from the system, dissipate heat, and power radiative Poynting flux, as well as develop current sheets. Our results indicate that this power can: (i) outshine pulsars in binaries, (ii) display a distinctive angular- and time-dependent pattern, and (iii) radiate within large opening angles. These properties suggest that some binary neutron star mergers are ideal candidates for multimessenger astronomy. △ Less

Submitted 24 July, 2013; v1 submitted 29 January, 2013; originally announced January 2013.

Comments: 6 pages, 3 figures. Updated version to appear in Phys.Rev.Letters

Journal ref: PhysRevLett 111.061105 (2013)

Neutron-star mergers in scalar-tensor theories of gravity

Authors: Enrico Barausse, Carlos Palenzuela, Marcelo Ponce, Luis Lehner

Abstract: Scalar-tensor theories of gravity are natural phenomenological alternatives to General Relativity, where the gravitational interaction is mediated by a scalar degree of freedom, besides the usual tensor gravitons. In regions of the parameter space of these theories where constraints from both solar system experiments and binary-pulsar observations are satisfied, we show that binaries of neutron st… ▽ More Scalar-tensor theories of gravity are natural phenomenological alternatives to General Relativity, where the gravitational interaction is mediated by a scalar degree of freedom, besides the usual tensor gravitons. In regions of the parameter space of these theories where constraints from both solar system experiments and binary-pulsar observations are satisfied, we show that binaries of neutron stars present marked differences from General Relativity in both the late-inspiral and merger phases. In particular, phenomena related to the spontaneous scalarization of isolated neutron stars take place in the late stages of the evolution of binary systems, with important effects in the ensuing dynamics. We comment on the relevance of our results for the upcoming Advanced LIGO/Virgo detectors. △ Less

Submitted 24 April, 2013; v1 submitted 20 December, 2012; originally announced December 2012.

Comments: 5 pages, 4 figures. One simulation highlighting a new physical effect has been added (cf. Fig 4) and the text has been modified, to match the version accepted for publication in PRD Rapid Communications

Journal ref: Phys. Rev. D 87, 081506(R) (2013)

Hyperbolization of cocycles by isometries of the euclidean space

Authors: Mario Ponce

Abstract: We study hyperbolized versions of cohomological equations that appear with cocycles by isometries of the euclidean space. These (hyperbolized versions of) equations have a unique continuous solution. We concentrate in to know whether or not these solutions converge to a genuine solution to the original equation, and in what sense we can use them as good approximative solutions. The main advantage… ▽ More We study hyperbolized versions of cohomological equations that appear with cocycles by isometries of the euclidean space. These (hyperbolized versions of) equations have a unique continuous solution. We concentrate in to know whether or not these solutions converge to a genuine solution to the original equation, and in what sense we can use them as good approximative solutions. The main advantage of considering solutions to hyperbolized cohomological equations is that they can be easily described, since they are global attractors of a naturally defined skew-product dynamics. We also include some technical results about twisted Birkhoff sums and exponential averaging. △ Less

Submitted 3 October, 2012; originally announced October 2012.

Journal ref: Ergod. Th. Dynam. Sys. 34 (2012) 628-646

Accuracy Issues for Numerical Waveforms

Authors: Yosef Zlochower, Marcelo Ponce, Carlos O. Lousto

Abstract: We study the convergence properties of our implementation of the 'moving punctures' approach at very high resolutions for an equal-mass, non-spinning, black-hole binary. We find convergence of the Hamiltonian constraint on the horizons and the L2 norm of the Hamiltonian constraint in the bulk for sixth and eighth-order finite difference implementations. The momentum constraint is more sensitive,… ▽ More We study the convergence properties of our implementation of the 'moving punctures' approach at very high resolutions for an equal-mass, non-spinning, black-hole binary. We find convergence of the Hamiltonian constraint on the horizons and the L2 norm of the Hamiltonian constraint in the bulk for sixth and eighth-order finite difference implementations. The momentum constraint is more sensitive, and its L2 norm shows clear convergence for a system with consistent sixth-order finite differencing, while the momentum and BSSN constraints on the horizons show convergence for both sixth and eighth-order systems. We analyze the gravitational waveform error from the late-inspiral, merger, and ringdown. We find that using several lower-order techniques for increasing the speed of numerical relativity simulations actually lead to apparently non-convergent errors. Even when using standard high-accuracy techniques, rather than seeing clean convergence, where the waveform phase is a monotonic function of grid resolution, we find that the phase tends to oscillate with resolution, possibly due to stochastic errors induced by grid refinement boundaries. Our results seem to indicate that one can obtain gravitational waveform phases to within 0.05 rad. (and possibly as small as 0.015 rad.), while the amplitude error can be reduced to 0.1%. We then compare with the waveforms obtained using the cZ4 formalism. We find that the cZ4 waveforms have larger truncation errors for a given resolution, but the Richardson extrapolation phase of the cZ4 and BSSN waveforms agree to within 0.01 rad., even during the ringdown. △ Less

Submitted 19 November, 2012; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: version accepted to PRD

Journal ref: Phys. Rev. D 86, 104056 (2012)

The NINJA-2 catalog of hybrid post-Newtonian/numerical-relativity waveforms for non-precessing black-hole binaries

Authors: P. Ajith, Michael Boyle, Duncan A. Brown, Bernd Brügmann, Luisa T. Buchman, Laura Cadonati, Manuela Campanelli, Tony Chu, Zachariah B. Etienne, Stephen Fairhurst, Mark Hannam, James Healy, Ian Hinder, Sascha Husa, Lawrence E. Kidder, Badri Krishnan, Pablo Laguna, Yuk Tung Liu, Lionel London, Carlos O. Lousto, Geoffrey Lovelace, Ilana MacDonald, Pedro Marronetti, Satya Mohapatra, Philipp Mösta , et al. (23 additional authors not shown)

Abstract: The Numerical INJection Analysis (NINJA) project is a collaborative effort between members of the numerical relativity and gravitational wave data analysis communities. The purpose of NINJA is to study the sensitivity of existing gravitational-wave search and parameter-estimation algorithms using numerically generated waveforms, and to foster closer collaboration between the numerical relativity a… ▽ More The Numerical INJection Analysis (NINJA) project is a collaborative effort between members of the numerical relativity and gravitational wave data analysis communities. The purpose of NINJA is to study the sensitivity of existing gravitational-wave search and parameter-estimation algorithms using numerically generated waveforms, and to foster closer collaboration between the numerical relativity and data analysis communities. The first NINJA project used only a small number of injections of short numerical-relativity waveforms, which limited its ability to draw quantitative conclusions. The goal of the NINJA-2 project is to overcome these limitations with long post-Newtonian - numerical relativity hybrid waveforms, large numbers of injections, and the use of real detector data. We report on the submission requirements for the NINJA-2 project and the construction of the waveform catalog. Eight numerical relativity groups have contributed 63 hybrid waveforms consisting of a numerical portion modelling the late inspiral, merger, and ringdown stitched to a post-Newtonian portion modelling the early inspiral. We summarize the techniques used by each group in constructing their submissions. We also report on the procedures used to validate these submissions, including examination in the time and frequency domains and comparisons of waveforms from different groups against each other. These procedures have so far considered only the $(\ell,m)=(2,2)$ mode. Based on these studies we judge that the hybrid waveforms are suitable for NINJA-2 studies. We note some of the plans for these investigations. △ Less

Submitted 25 January, 2012; originally announced January 2012.

Comments: Presented at Amaldi 9

Old and new about equidistant sets and generalized conics

Authors: Mario Ponce, Patricio Santibáñez

Abstract: This article is devoted to the study of classical and new results concerning equidistant sets, both from the topological and metric point of view. We start with a review of the most interesting known facts about these sets in the euclidean space and then we prove that equidistant sets vary continuously with their focal sets. In the second part we propose a viewpoint in which equidistant sets can b… ▽ More This article is devoted to the study of classical and new results concerning equidistant sets, both from the topological and metric point of view. We start with a review of the most interesting known facts about these sets in the euclidean space and then we prove that equidistant sets vary continuously with their focal sets. In the second part we propose a viewpoint in which equidistant sets can be thought of as natural generalization for conics. Along these lines, we show that many geometric features of classical conics can be retrieved in more general equidistant sets. In the Appendix we prove a shadowing property of equidistant sets and provide sharp estimates. This result should be of interest for computer simulations. △ Less

Submitted 11 January, 2012; originally announced January 2012.

MSC Class: 51-02

A Livsic type theorem for germs of analytic diffeomorphisms

Authors: Andrés Navas, Mario Ponce

Abstract: We deal with the problem of the validity of Livsic's theorem for cocycles of diffeomorphisms satisfying the orbit periodic obstruction over an hyperbolic dynamics. We give a result in the positive direction for cocycles of germs of analytic diffeomorphisms at the origin. We deal with the problem of the validity of Livsic's theorem for cocycles of diffeomorphisms satisfying the orbit periodic obstruction over an hyperbolic dynamics. We give a result in the positive direction for cocycles of germs of analytic diffeomorphisms at the origin. △ Less

Submitted 9 October, 2011; originally announced October 2011.

Accretion disks around kicked black holes: Post-kick Dynamics

Authors: Marcelo Ponce, Joshua A. Faber, James C. Lombardi Jr

Abstract: Numerical calculations of merging black hole binaries indicate that asymmetric emission of gravitational radiation can kick the merged black hole at up to thousands of km/s, and a number of systems have been observed recently whose properties are consistent with an active galactic nucleus containing a supermassive black hole moving with substantial velocity with respect to its broader accretion di… ▽ More Numerical calculations of merging black hole binaries indicate that asymmetric emission of gravitational radiation can kick the merged black hole at up to thousands of km/s, and a number of systems have been observed recently whose properties are consistent with an active galactic nucleus containing a supermassive black hole moving with substantial velocity with respect to its broader accretion disk. We study here the effect of an impulsive kick delivered to a black hole on the dynamical evolution of its accretion disk using a smoothed particle hydrodynamics code, focusing attention on the role played by the kick angle with respect to the orbital angular momentum vector of the pre-kicked disk. We find that for more vertical kicks, for which the angle between the kick and the normal vector to the disk $θ\lesssim 30^\circ$, a gap remains present in the inner disk, in accordance with the prediction from an analytic collisionless Keplerian disk model, while for more oblique kicks with $θ\gtrsim 45^\circ$, matter rapidly accretes toward the black hole. There is a systematic trend for higher potential luminosities for more oblique kick angles for a given black hole mass, disk mass and kick velocity, and we find large amplitude oscillations in time in the case of a kick oriented $60^\circ$ from the vertical. △ Less

Submitted 19 December, 2011; v1 submitted 8 July, 2011; originally announced July 2011.

Comments: Movies available as 'ancillary files'. Accepted for publication in ApJ

Journal ref: ApJ 745 (2012) 71

On the dynamics of non-reducible cylindrical vortices

Authors: D. Coronel, A. Navas, M. Ponce

Abstract: We study skew-maps given by a minimal homeomorphism on the basis and a cocycle of affine isometries on the fibers. We call such a map a cylindrical vortex. We extend to this setting some classical results of Atkinson, Besicovitch, Matsumoto-Shishikura and Schinelman (among other people) about cylindrical cascades. In particular, we show that no cylindrical vortex is minimal, and we construct inter… ▽ More We study skew-maps given by a minimal homeomorphism on the basis and a cocycle of affine isometries on the fibers. We call such a map a cylindrical vortex. We extend to this setting some classical results of Atkinson, Besicovitch, Matsumoto-Shishikura and Schinelman (among other people) about cylindrical cascades. In particular, we show that no cylindrical vortex is minimal, and we construct interesting examples of topologically transitive ones. △ Less

Submitted 22 July, 2011; v1 submitted 18 January, 2011; originally announced January 2011.

Comments: Many minor changes suggested by the referee

On bounded cocycles of isometries over a minimal dynamics

Authors: D. Coronel, A. Navas, M. Ponce

Abstract: We show the following geometric generalization of a classical theorem of W.H. Gottschalk and G.A. Hedlund: a skew action induced by a cocycle of (affine) isometries of a Hilbert space over a minimal dynamics has a continuous invariant section if and only if the cocycle is bounded. Equivalently, the associated twisted cohomological equation has a continuous solution if and only if the cocycle is bo… ▽ More We show the following geometric generalization of a classical theorem of W.H. Gottschalk and G.A. Hedlund: a skew action induced by a cocycle of (affine) isometries of a Hilbert space over a minimal dynamics has a continuous invariant section if and only if the cocycle is bounded. Equivalently, the associated twisted cohomological equation has a continuous solution if and only if the cocycle is bounded. We interpret this as a version of the Bruhat-Tits center lemma in the space of continuous functions. Our result also holds when the fiber is a proper CAT(0) space. One of the appplications concerns matrix cocycles. Using the action of $\mathrm{GL} (n,\mathbb{R})$ on the (nonpositively curved) space of positively definite matrices, we show that every bounded linear cocycle over a minimal dynamics is cohomologous to a cocycle taking values in the orthogonal group. △ Less

Submitted 14 June, 2011; v1 submitted 18 January, 2011; originally announced January 2011.

Towards a semilocal study of parabolic invariant curves for fibred holomorphic maps

Authors: Mario Ponce

Abstract: We introduce the study of the local dynamics around a parabolic indifferent invariant curve for fibred holomorphic maps. As in the classical non-fibred case, we show that petals are the main ingredient. Nevertheless, one expects the properties of the base rotation number should play an important role in the arrangement of the petals. We exhibit examples where the existence and the number of petals… ▽ More We introduce the study of the local dynamics around a parabolic indifferent invariant curve for fibred holomorphic maps. As in the classical non-fibred case, we show that petals are the main ingredient. Nevertheless, one expects the properties of the base rotation number should play an important role in the arrangement of the petals. We exhibit examples where the existence and the number of petals depend not just on the complex coordinate of the map, but on the base rotation number. Furthermore, under additional hypothesis on the arithmetics and smoothness of the map, we present a theorem that allows to characterize the local dynamics around a parabolic invariant curve. △ Less

Submitted 18 August, 2010; originally announced August 2010.

MSC Class: 37F50; 34C25

Seeking for toroidal event horizons from initially stationary BH configurations

Authors: Marcelo Ponce, Carlos Lousto, Yosef Zlochower

Abstract: We construct and evolve non-rotating vacuum initial data with a ring singularity, based on a simple extension of the standard Brill-Lindquist multiple black-hole initial data, and search for event horizons with spatial slices that are toroidal when the ring radius is sufficiently large. While evolutions of the ring singularity are not numerically feasible for large radii, we find some evidence, ba… ▽ More We construct and evolve non-rotating vacuum initial data with a ring singularity, based on a simple extension of the standard Brill-Lindquist multiple black-hole initial data, and search for event horizons with spatial slices that are toroidal when the ring radius is sufficiently large. While evolutions of the ring singularity are not numerically feasible for large radii, we find some evidence, based on configurations of multiple BHs arranged in a ring, that this configuration leads to singular limit where the horizon width has zero size, possibly indicating the presence of a naked singularity, when the radius of the ring is sufficiently large. This is in agreement with previous studies that have found that there is no apparent horizon surrounding the ring singularity when the ring's radius is larger than about twice its mass. △ Less

Submitted 6 June, 2011; v1 submitted 16 August, 2010; originally announced August 2010.

Comments: 24 pages, 14 figures

Journal ref: Class.Quant.Grav.28:145027,2011

Naishul's Theorem for fibred holomorphic maps

Authors: Mario Ponce

Abstract: We show that the fibred rotation number associated to an indifferent invariant curve for a fibred holomorphic map is a topological invariant. We show that the fibred rotation number associated to an indifferent invariant curve for a fibred holomorphic map is a topological invariant. △ Less

Submitted 19 November, 2009; originally announced November 2009.

An example showing that fibred quadratic polynomials admit many attracting curves

Authors: Mario Ponce

Abstract: We present an example of a fibred quadratic polynomial admitting an attracting invariant 2-curve. By an unfolding construction we obtain an example of a fibred quadratic polynomial admitting two attracting invariant curves. This phenomena can not occur in the non-fibred setting. We present an example of a fibred quadratic polynomial admitting an attracting invariant 2-curve. By an unfolding construction we obtain an example of a fibred quadratic polynomial admitting two attracting invariant curves. This phenomena can not occur in the non-fibred setting. △ Less

Submitted 11 September, 2009; originally announced September 2009.

Comments: 4 pages