-
Towards More Trustworthy and Interpretable LLMs for Code through Syntax-Grounded Explanations
Authors:
David N. Palacio,
Daniel Rodriguez-Cardenas,
Alejandro Velasco,
Dipin Khati,
Kevin Moran,
Denys Poshyvanyk
Abstract:
Trustworthiness and interpretability are inextricably linked concepts for LLMs. The more interpretable an LLM is, the more trustworthy it becomes. However, current techniques for interpreting LLMs when applied to code-related tasks largely focus on accuracy measurements, measures of how models react to change, or individual task performance instead of the fine-grained explanations needed at predic…
▽ More
Trustworthiness and interpretability are inextricably linked concepts for LLMs. The more interpretable an LLM is, the more trustworthy it becomes. However, current techniques for interpreting LLMs when applied to code-related tasks largely focus on accuracy measurements, measures of how models react to change, or individual task performance instead of the fine-grained explanations needed at prediction time for greater interpretability, and hence trust. To improve upon this status quo, this paper introduces ASTrust, an interpretability method for LLMs of code that generates explanations grounded in the relationship between model confidence and syntactic structures of programming languages. ASTrust explains generated code in the context of syntax categories based on Abstract Syntax Trees and aids practitioners in understanding model predictions at both local (individual code snippets) and global (larger datasets of code) levels. By distributing and assigning model confidence scores to well-known syntactic structures that exist within ASTs, our approach moves beyond prior techniques that perform token-level confidence map** by offering a view of model confidence that directly aligns with programming language concepts with which developers are familiar. To put ASTrust into practice, we developed an automated visualization that illustrates the aggregated model confidence scores superimposed on sequence, heat-map, and graph-based visuals of syntactic structures from ASTs. We examine both the practical benefit that ASTrust can provide through a data science study on 12 popular LLMs on a curated set of GitHub repos and the usefulness of ASTrust through a human study.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Extending the spectral operation of silicon power splitters through subwavelength nanotechnology
Authors:
Raquel Fernández de Cabo,
David González-Andrade,
Pavel Cheben,
Aitor V. Velasco
Abstract:
Power splitters play a crucial role in virtually all photonic circuits, enabling precise control of on-chip signal distribution. However, state-of-the-art solutions typically present trade-offs in terms of loss, bandwidth, and fabrication robustness, especially when targeting multimode operation. Here, we present a novel multimode 3-dB power splitter based on a symmetric Y-junction assisted by sub…
▽ More
Power splitters play a crucial role in virtually all photonic circuits, enabling precise control of on-chip signal distribution. However, state-of-the-art solutions typically present trade-offs in terms of loss, bandwidth, and fabrication robustness, especially when targeting multimode operation. Here, we present a novel multimode 3-dB power splitter based on a symmetric Y-junction assisted by subwavelength grating metamaterials. The inclusion of the metamaterial structure circumvents the practical limitations of conventional Y-junction tips and realizes smooth modal transitions. Simulations for a standard 220-nm-thick silicon-on-insulator platform predict minimal excess loss (< 0.2 dB) for the fundamental and the first-order transverse-electric modes over an ultra-broad 700 nm bandwidth (1300-2000 nm). For the fundamental transverse-magnetic mode, losses are less than 0.3 dB in the 1300-1800 nm range. Experimental measurements validate these predictions in the 1430-1630 nm wavelength range, demonstrating losses < 0.4 dB for all three modes, even in the presence of fabrication deviations of up to \pm 10 nm. We believe that this device is suitable for the implementation of advanced photonic systems requiring high-performance distribution of optical signals.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Low-loss directional coupler for the C, L and U bands based on subwavelength gratings
Authors:
Jaime Vilas,
Raquel Fernández De Cabo,
Irene Olivares,
David González-Andrade,
Aitor V. Velasco,
Antonio Dias-Ponte
Abstract:
Directional couplers are ubiquitous components for power distribution in silicon photonics integrated circuits. Despite significant advances in their performance, architectures providing tailorable coupling ratios over increasingly broad bandwidths are still sought after. Compact footprint and low losses are also essential features for circuits comprising multiple coupling stages. In this work, we…
▽ More
Directional couplers are ubiquitous components for power distribution in silicon photonics integrated circuits. Despite significant advances in their performance, architectures providing tailorable coupling ratios over increasingly broad bandwidths are still sought after. Compact footprint and low losses are also essential features for circuits comprising multiple coupling stages. In this work, we propose a compact directional coupler with arbitrary coupling ratio, based on dispersion engineering through subwavelength metamaterials. Low losses and a flat spectral response over a broad bandwidth are experimentally demonstrated for multiple coupling ratios between 0.08 and 1. Results show average excess losses below 0.24 dB and coupling ratio deviations below $\pm$1 dB for a 170 nm bandwidth completely covering C, L and U telecommunication bands (1505 - 1675 nm).
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Which Syntactic Capabilities Are Statistically Learned by Masked Language Models for Code?
Authors:
Alejandro Velasco,
David N. Palacio,
Daniel Rodriguez-Cardenas,
Denys Poshyvanyk
Abstract:
This paper discusses the limitations of evaluating Masked Language Models (MLMs) in code completion tasks. We highlight that relying on accuracy-based measurements may lead to an overestimation of models' capabilities by neglecting the syntax rules of programming languages. To address these issues, we introduce a technique called SyntaxEval in which Syntactic Capabilities are used to enhance the e…
▽ More
This paper discusses the limitations of evaluating Masked Language Models (MLMs) in code completion tasks. We highlight that relying on accuracy-based measurements may lead to an overestimation of models' capabilities by neglecting the syntax rules of programming languages. To address these issues, we introduce a technique called SyntaxEval in which Syntactic Capabilities are used to enhance the evaluation of MLMs. SyntaxEval automates the process of masking elements in the model input based on their Abstract Syntax Trees (ASTs). We conducted a case study on two popular MLMs using data from GitHub repositories. Our results showed negative causal effects between the node types and MLMs' accuracy. We conclude that MLMs under study fail to predict some syntactic capabilities.
△ Less
Submitted 21 February, 2024; v1 submitted 2 January, 2024;
originally announced January 2024.
-
Laser Excitation of the 1S-2S Transition in Singly-Ionized Helium
Authors:
Elmer L. Gründeman,
Vincent Barbé,
Andrés Martínez de Velasco,
Charlaine Roth,
Mathieu Collombon,
Julian J. Krauth,
Laura S. Dreissen,
Richard Taïeb,
Kjeld S. E. Eikema
Abstract:
Precision laser spectroscopy in the extreme ultraviolet of the 1S-2S two-photon transition in singly-ionized helium is a promising route for tests of fundamental physics. We demonstrate laser excitation of this transition in an atomic beam of $^3$He, based on an amplified frequency comb pulse at 790 nm combined with its 25$^{\text{th}}$ harmonic at 32 nm. A clear resonance is observed with a maxim…
▽ More
Precision laser spectroscopy in the extreme ultraviolet of the 1S-2S two-photon transition in singly-ionized helium is a promising route for tests of fundamental physics. We demonstrate laser excitation of this transition in an atomic beam of $^3$He, based on an amplified frequency comb pulse at 790 nm combined with its 25$^{\text{th}}$ harmonic at 32 nm. A clear resonance is observed with a maximum excitation probability of close to 10$^{-4}$ per pulse, and the results are well described by our simulations. This paves the way for high-precision Ramsey-comb spectroscopy of a single helium ion in a Paul trap.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Evaluating and Explaining Large Language Models for Code Using Syntactic Structures
Authors:
David N Palacio,
Alejandro Velasco,
Daniel Rodriguez-Cardenas,
Kevin Moran,
Denys Poshyvanyk
Abstract:
Large Language Models (LLMs) for code are a family of high-parameter, transformer-based neural networks pre-trained on massive datasets of both natural and programming languages. These models are rapidly being employed in commercial AI-based developer tools, such as GitHub CoPilot. However, measuring and explaining their effectiveness on programming tasks is a challenging proposition, given their…
▽ More
Large Language Models (LLMs) for code are a family of high-parameter, transformer-based neural networks pre-trained on massive datasets of both natural and programming languages. These models are rapidly being employed in commercial AI-based developer tools, such as GitHub CoPilot. However, measuring and explaining their effectiveness on programming tasks is a challenging proposition, given their size and complexity. The methods for evaluating and explaining LLMs for code are inextricably linked. That is, in order to explain a model's predictions, they must be reliably mapped to fine-grained, understandable concepts. Once this map** is achieved, new methods for detailed model evaluations are possible. However, most current explainability techniques and evaluation benchmarks focus on model robustness or individual task performance, as opposed to interpreting model predictions.
To this end, this paper introduces ASTxplainer, an explainability method specific to LLMs for code that enables both new methods for LLM evaluation and visualizations of LLM predictions that aid end-users in understanding model predictions. At its core, ASTxplainer provides an automated method for aligning token predictions with AST nodes, by extracting and aggregating normalized model logits within AST structures. To demonstrate the practical benefit of ASTxplainer, we illustrate the insights that our framework can provide by performing an empirical evaluation on 12 popular LLMs for code using a curated dataset of the most popular GitHub projects. Additionally, we perform a user study examining the usefulness of an ASTxplainer-derived visualization of model predictions aimed at enabling model users to explain predictions. The results of these studies illustrate the potential for ASTxplainer to provide insights into LLM effectiveness, and aid end-users in understanding predictions.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Applying Machine Learning to Understand Water Security and Water Access Inequality in Underserved Colonia Communities
Authors:
Zhining Gu,
Wenwen Li,
Michael Hanemann,
Yushiou Tsai,
Amber Wutich,
Paul Westerhoff,
Laura Landes,
Anais D. Roque,
Madeleine Zheng,
Carmen A. Velasco,
Sarah Porter
Abstract:
This paper explores the application of machine learning to enhance our understanding of water accessibility issues in underserved communities called Colonias located along the northern part of the United States - Mexico border. We analyzed more than 2000 such communities using data from the Rural Community Assistance Partnership (RCAP) and applied hierarchical clustering and the adaptive affinity…
▽ More
This paper explores the application of machine learning to enhance our understanding of water accessibility issues in underserved communities called Colonias located along the northern part of the United States - Mexico border. We analyzed more than 2000 such communities using data from the Rural Community Assistance Partnership (RCAP) and applied hierarchical clustering and the adaptive affinity propagation algorithm to automatically group Colonias into clusters with different water access conditions. The Gower distance was introduced to make the algorithm capable of processing complex datasets containing both categorical and numerical attributes. To better understand and explain the clustering results derived from the machine learning process, we further applied a decision tree analysis algorithm to associate the input data with the derived clusters, to identify and rank the importance of factors that characterize different water access conditions in each cluster. Our results complement experts' priority rankings of water infrastructure needs, providing a more in-depth view of the water insecurity challenges that the Colonias suffer from. As an automated and reproducible workflow combining a series of tools, the proposed machine learning pipeline represents an operationalized solution for conducting data-driven analysis to understand water access inequality. This pipeline can be adapted to analyze different datasets and decision scenarios.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Toward a Theory of Causation for Interpreting Neural Code Models
Authors:
David N. Palacio,
Alejandro Velasco,
Nathan Cooper,
Alvaro Rodriguez,
Kevin Moran,
Denys Poshyvanyk
Abstract:
Neural Language Models of Code, or Neural Code Models (NCMs), are rapidly progressing from research prototypes to commercial developer tools. As such, understanding the capabilities and limitations of such models is becoming critical. However, the abilities of these models are typically measured using automated metrics that often only reveal a portion of their real-world performance. While, in gen…
▽ More
Neural Language Models of Code, or Neural Code Models (NCMs), are rapidly progressing from research prototypes to commercial developer tools. As such, understanding the capabilities and limitations of such models is becoming critical. However, the abilities of these models are typically measured using automated metrics that often only reveal a portion of their real-world performance. While, in general, the performance of NCMs appears promising, currently much is unknown about how such models arrive at decisions. To this end, this paper introduces $do_{code}$, a post hoc interpretability method specific to NCMs that is capable of explaining model predictions. $do_{code}$ is based upon causal inference to enable programming language-oriented explanations. While the theoretical underpinnings of $do_{code}$ are extensible to exploring different model properties, we provide a concrete instantiation that aims to mitigate the impact of spurious correlations by grounding explanations of model behavior in properties of programming languages. To demonstrate the practical benefit of $do_{code}$, we illustrate the insights that our framework can provide by performing a case study on two popular deep learning architectures and ten NCMs. The results of this case study illustrate that our studied NCMs are sensitive to changes in code syntax. All our NCMs, except for the BERT-like model, statistically learn to predict tokens related to blocks of code (\eg brackets, parenthesis, semicolon) with less confounding bias as compared to other programming language constructs. These insights demonstrate the potential of $do_{code}$ as a useful method to detect and facilitate the elimination of confounding bias in NCMs.
△ Less
Submitted 27 March, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Broadband three-mode converter and multiplexer based on cascaded symmetric Y-junctions and subwavelength engineered MMI and phase shifters
Authors:
David González-Andrade,
Irene Olivares,
Raquel Fernández de Cabo,
Jaime Vilas,
Antonio Dias,
Aitor V. Velasco
Abstract:
Mode-division multiplexing has emerged as a promising route for increasing transmission capacity while maintaining the same level of on-chip integration. Despite the large number of on-chip mode converters and multiplexers reported for the silicon-on-insulator platform, scaling the number of multiplexed modes is still a critical challenge. In this paper, we present a novel three-mode architecture…
▽ More
Mode-division multiplexing has emerged as a promising route for increasing transmission capacity while maintaining the same level of on-chip integration. Despite the large number of on-chip mode converters and multiplexers reported for the silicon-on-insulator platform, scaling the number of multiplexed modes is still a critical challenge. In this paper, we present a novel three-mode architecture based on multimode interference couplers, passive phase shifters and cascaded symmetric Y-junctions. This architecture can readily operate up to the third-order mode by including a single switchable phase shifter. Moreover, we exploit subwavelength grating metamaterials to overcome bandwidth limitations of multimode interference couplers and phase shifters, resulting in a simulated bandwidth of 161 nm with insertion loss and crosstalk below 1.18 dB and -20 dB, respectively.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Experimental characterization of an ultra-broadband dual-mode symmetric Y-junction based on metamaterial waveguides
Authors:
Raquel Fernández de Cabo,
Jaime Vilas,
Pavel Cheben,
Aitor V. Velasco,
David González-Andrade
Abstract:
Silicon photonic integrated circuits routinely require 3-dB optical power dividers with minimal losses, small footprints, ultra-wide bandwidths, and relaxed manufacturing tolerances to distribute light across the chip and as a key building block to form more complex devices. Symmetric Y-junctions stand out among other power splitting devices owing to their wavelength-independent response and a str…
▽ More
Silicon photonic integrated circuits routinely require 3-dB optical power dividers with minimal losses, small footprints, ultra-wide bandwidths, and relaxed manufacturing tolerances to distribute light across the chip and as a key building block to form more complex devices. Symmetric Y-junctions stand out among other power splitting devices owing to their wavelength-independent response and a straightforward design. Yet, the limited resolution of current fabrication methods results in a minimum feature size (MFS) at the tip between the two Y-junction arms that leads to significant losses for the fundamental mode. Here we propose to circumvent this limitation by leveraging subwavelength metamaterials in a new type of ultra-broadband and fabrication-tolerant Y-junction. An exhaustive experimental study over a 260 nm bandwidth (1420-1680 nm) shows excess loss below 0.3 dB for the fundamental transverse-electric mode (TE0) for a high-resolution lithographic process (MFS about 50 nm) and less than 0.5 dB for a fabrication resolution of 100 nm. Subwavelength Y-junctions with deterministically induced errors of plus-minus 10 nm further demonstrated robust fabrication tolerances. Moreover, the splitter exhibits excess loss lower than 1 dB for the first-order transverse-electric mode (TE1) within a 100 nm bandwidth (1475-1575 nm), using high-resolution lithography.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Three-dimensional imaging and analysis of annual layers in tree trunk and tooth cementum
Authors:
Bert Müller,
Muriel Stiefel,
Griffin Rodgers,
Mattia Humbel,
Melissa Osterwalder,
Jeannette von Jackowski,
Gerhard Hotz,
Adriana A. Velasco,
Henry T. Bunn,
Mario Scheel,
Timm Weitkamp,
Georg Schulz,
Christine Tanner
Abstract:
The growth of plants, animals, and humans can give rise to layered structures associated with annual periodicity. Thickness variations are often correlated to nutrition supply and stress factors. The annual layers in a tree trunk with millimeter thickness can be directly counted, whereas the layers in tooth cementum with micrometer thickness are made visible using optical microscopy. These optical…
▽ More
The growth of plants, animals, and humans can give rise to layered structures associated with annual periodicity. Thickness variations are often correlated to nutrition supply and stress factors. The annual layers in a tree trunk with millimeter thickness can be directly counted, whereas the layers in tooth cementum with micrometer thickness are made visible using optical microscopy. These optical techniques rely on the surface evaluation or thin, optically transparent slices. Hard X-ray tomography with micrometer resolution, however, provides a three-dimensional view without physical slicing. We have developed a procedure to enhance the tomography data of annual layers in human and bovid tooth cementum. The analysis of a substantial part of an archeological human tooth demonstrated that the detected number of layers depended on the selected region and could vary between 13 and 27. The related average thickness of the annual layers was found to be (5.4 $\pm$ 1.9) $μ$m for the human tooth, whereas the buffalo tooth exhibited a layer periodicity of 46 $μ$m. The present study elucidates the potential of combining computational tools with high-quality micro computed tomography data to quantify the annual layers in tooth cementum for a variety of purposes including age-at-death determination.
△ Less
Submitted 25 April, 2022;
originally announced May 2022.
-
Philippine Eagle Optimization Algorithm
Authors:
Erika Antonette T. Enriquez,
Renier G. Mendoza,
Arrianne Crystal T. Velasco
Abstract:
We propose the Philippine Eagle Optimization Algorithm (PEOA), which is a meta-heuristic and population-based search algorithm inspired by the territorial hunting behavior of the Philippine Eagle. From an initial random population of eagles in a given search space, the best eagle is selected and undergoes a local food search using the interior point method as its means of exploitation. The populat…
▽ More
We propose the Philippine Eagle Optimization Algorithm (PEOA), which is a meta-heuristic and population-based search algorithm inspired by the territorial hunting behavior of the Philippine Eagle. From an initial random population of eagles in a given search space, the best eagle is selected and undergoes a local food search using the interior point method as its means of exploitation. The population is then divided into three subpopulations, and each subpopulation is assigned an operator which aids in the exploration. Once the respective operators are applied, the new eagles with improved function values replace the older ones. The best eagle of the population is then updated and conducts a local food search again. These steps are done iteratively, and the food searched by the final best eagle is the optimal solution of the search space. PEOA is tested on 20 optimization test functions with different modality, separability, and dimension properties. The performance of PEOA is compared to 11 other optimization algorithms. To further validate the effectiveness of PEOA, it is also applied to image reconstruction in electrical impedance tomography and parameter identification in a neutral delay differential equation model. Numerical results show that PEOA can obtain accurate solutions to various functions and problems. PEOA proves to be the most computationally inexpensive algorithm relative to the others examined, while also hel** promote the critically endangered Philippine Eagle.
△ Less
Submitted 19 December, 2021;
originally announced December 2021.
-
Mid-infrared Fourier-transform spectrometer based on metamaterial lateral cladding suspended silicon waveguides
Authors:
Thi Thuy Duong Dinh,
Xavier Le Roux,
Natnicha Koompai,
Daniele Melati,
Miguel Montesinos-Ballester,
David González-Andrade,
Pavel Cheben,
Aitor V. Velasco,
Eric Cassan,
Delphine Marris-Morini,
Laurent Vivien,
Carlos Alonso-Ramos
Abstract:
Integrated mid-infrared micro-spectrometers have a great potential for applications in environmental monitoring and space exploration. Silicon-on-insulator (SOI) is a promising platform to tackle this integration challenge, due to its unique capability for large volume and low-cost production of ultra-compact photonic circuits. However, the use of SOI in the mid-infrared is restricted by the stron…
▽ More
Integrated mid-infrared micro-spectrometers have a great potential for applications in environmental monitoring and space exploration. Silicon-on-insulator (SOI) is a promising platform to tackle this integration challenge, due to its unique capability for large volume and low-cost production of ultra-compact photonic circuits. However, the use of SOI in the mid-infrared is restricted by the strong absorption of the buried oxide layer for wavelengths beyond 4 μm. Here, we overcome this limitation by utilizing metamaterial-cladded suspended silicon waveguides to implement a spatial heterodyne Fourier-transform (SHFT) spectrometer operating near 5.5μm wavelength. The metamaterial-cladded geometry allows removal of the buried oxide layer, yielding measured propagation loss below 2 dB/cm between 5.3μm and 5.7μm wavelengths. The SHFT spectrometer comprises 19 Mach-Zehnder interferometers with a maximum arm length imbalance of 200 μm, achieving a measured spectral resolution of 13cm-1 and a free-spectral range of 100 cm-1 near 5.5μm wavelength.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
AIRCC-Clim: a user-friendly tool for generating regional probabilistic climate change scenarios and risk measures
Authors:
Francisco Estrada,
Oscar Calderón-Bustamante,
Wouter Botzen,
Julián A. Velasco,
Richard S. J. Tol
Abstract:
Complex physical models are the most advanced tools available for producing realistic simulations of the climate system. However, such levels of realism imply high computational cost and restrictions on their use for policymaking and risk assessment. Two central characteristics of climate change are uncertainty and that it is a dynamic problem in which international actions can significantly alter…
▽ More
Complex physical models are the most advanced tools available for producing realistic simulations of the climate system. However, such levels of realism imply high computational cost and restrictions on their use for policymaking and risk assessment. Two central characteristics of climate change are uncertainty and that it is a dynamic problem in which international actions can significantly alter climate projections and information needs, including partial and full compliance of global climate goals. Here we present AIRCC-Clim, a simple climate model emulator that produces regional probabilistic climate change projections of monthly and annual temperature and precipitation, as well as risk measures, based both on standard and user-defined emissions scenarios for six greenhouse gases. AIRCC-Clim emulates 37 atmosphere-ocean coupled general circulation models with low computational and technical requirements for the user. This standalone, user-friendly software is designed for a variety of applications including impact assessments, climate policy evaluation and integrated assessment modelling.
△ Less
Submitted 30 October, 2021;
originally announced November 2021.
-
Impedance-matched differential superconducting nanowire detectors
Authors:
Marco Colangelo,
Boris Korzh,
Jason P. Allmaras,
Andrew D. Beyer,
Andrew S. Mueller,
Ryan M. Briggs,
Bruce Bumble,
Marcus Runyan,
Martin J. Stevens,
Adam N. McCaughan,
Di Zhu,
Stephen Smith,
Wolfgang Becker,
Lautaro Narváez,
Joshua C. Bienfang,
Simone Frasca,
Angel E. Velasco,
Cristián H. Peña,
Edward E. Ramirez,
Alexander B. Walter,
Ekkehart Schmidt,
Emma E. Wollman,
Maria Spiropulu,
Richard Mirin,
Sae Woo Nam
, et al. (2 additional authors not shown)
Abstract:
Superconducting nanowire single-photon detectors (SNSPDs) are the highest performing photon-counting technology in the near-infrared (NIR). Due to delay-line effects, large area SNSPDs typically trade-off timing resolution and detection efficiency. Here, we introduce a detector design based on transmission line engineering and differential readout for device-level signal conditioning, enabling a h…
▽ More
Superconducting nanowire single-photon detectors (SNSPDs) are the highest performing photon-counting technology in the near-infrared (NIR). Due to delay-line effects, large area SNSPDs typically trade-off timing resolution and detection efficiency. Here, we introduce a detector design based on transmission line engineering and differential readout for device-level signal conditioning, enabling a high system detection efficiency and a low detector jitter, simultaneously. To make our differential detectors compatible with single-ended time taggers, we also engineer analog differential-to-single-ended readout electronics, with minimal impact on the system timing resolution. Our niobium nitride differential SNSPDs achieve $47.3\,\% \pm 2.4\,\%$ system detection efficiency and sub-$10\,\mathrm{ps}$ system jitter at $775\,\mathrm{nm}$, while at $1550\,\mathrm{nm}$ they achieve $71.1\,\% \pm 3.7\,\%$ system detection efficiency and $13.1\,\mathrm{ps} \pm 0.4\,\mathrm{ps}$ system jitter. These detectors also achieve sub-100 ps timing response at one one-hundredth maximum level, $30.7\,\mathrm{ps} \pm 0.4\,\mathrm{ps}$ at $775\,\mathrm{nm}$ and $47.6\,\mathrm{ps} \pm 0.4\,\mathrm{ps}$ at $1550\,\mathrm{nm}$, enabling time-correlated single-photon counting with high dynamic range response functions. Furthermore, thanks to the differential impedance-matched design, our detectors exhibit delay-line imaging capabilities and photon-number resolution. The properties and high-performance metrics achieved by our system make it a versatile photon-detection solution for many scientific applications.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Optimal Design of Membrane Cascades for Gaseous and Liquid Mixtures via MINLP
Authors:
Jose Adrian Chavez Velasco,
Radhakrishna Tumbalam Gooty,
Mohit Tawarmalani,
Rakesh Agrawal
Abstract:
Given the growing concern of reducing CO2 emissions, it is desirable to identify, for a given separation carried out through a membrane cascade, the optimum design that yields the lowest energy consumption. Nevertheless, designing a membrane cascade is challenging since, there are often multiple feasible configurations that differ in their energy consumption and cost. In this work, we develop a Mi…
▽ More
Given the growing concern of reducing CO2 emissions, it is desirable to identify, for a given separation carried out through a membrane cascade, the optimum design that yields the lowest energy consumption. Nevertheless, designing a membrane cascade is challenging since, there are often multiple feasible configurations that differ in their energy consumption and cost. In this work, we develop a Mixed Integer Non-linear Program (MINLP) that, for a given binary separation, which may be either liquid or gaseous, finds the cascade and its operating conditions that minimize energy consumption. To model the separation at each membrane in the cascade, we utilize the analytical solution of a system of differential and algebraic equations derived from the crossflow model and the solution-diffusion theory. We provide numerical evidence which shows that our single-stage membrane model accurately predicts experimental data. Unfortunately, the resulting membrane model is non-convex and, even state-of-the-art solvers struggle to prove global optimality of the cascades and the operating conditions identified. In this paper, we derive various cuts that help with relaxation quality and, consequently, accelerate convergence of branch-and-bound based solvers. More specifically, we demonstrate, on various examples, that our cuts help branch-and-bound solvers converge within 5\% optimality gap in a reasonable amount of time and such a tolerance level was not achieved by a simple formulation of the membrane model. The proposed optimization model is an easy-to-use tool for practitioners and researchers to design energy efficient membrane cascades.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Anisotropy of Cosmic Ray Fluxes Measured with the Alpha Magnetic Spectrometer on the ISS
Authors:
M. Molero,
J. Casaus,
C. Mana,
M. A. Velasco,
I. Gebauer,
M. Graziani,
M. Gervasi,
G. La Vacca,
P. G. Rancoita
Abstract:
A measurement of the dipole anisotropy in galactic coordinates for different charged cosmic rays has been performed with the Alpha Magnetic Spectrometer (AMS) onboard the International Space Station (ISS). Results are presented for the first 7.5 years of data taking for protons, Helium, Carbon and Oxygen, and 6.5 years for positrons and electrons. All the species are found to be consistent with is…
▽ More
A measurement of the dipole anisotropy in galactic coordinates for different charged cosmic rays has been performed with the Alpha Magnetic Spectrometer (AMS) onboard the International Space Station (ISS). Results are presented for the first 7.5 years of data taking for protons, Helium, Carbon and Oxygen, and 6.5 years for positrons and electrons. All the species are found to be consistent with isotropy and upper limits to the dipole amplitude have been computed. In particular, for energies above 16 GeV a limit of delta < 1.9% and delta < 0.5% at the 95% C.I. is found for positrons and electrons respectively. For rigidities above 200 GV a limit of delta < 0.38%, delta < 0.36%, delta < 1.9% and delta < 1.7% is obtained for protons, Helium, Carbon and Oxygen.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Identification of asteroids using the Virtual Observatory: the WFCAM Transit Survey
Authors:
M. Cortés-Contreras,
F. M. Jiménez-Esteban,
M. Mahlke,
E. Solano,
J. Ďurech,
S. Barceló Forteza,
C. Rodrigo,
A. Velasco,
B. Carry
Abstract:
The nature and physical properties of asteroids, in particular those orbiting in the near-Earth space, are of scientific interest and practical importance. Exoplanet surveys can be excellent resources to detect asteroids, both already known and new objects. This is due their similar observing requirements: large fields of view, long sequences, and short cadence. If the targeted fields are not loca…
▽ More
The nature and physical properties of asteroids, in particular those orbiting in the near-Earth space, are of scientific interest and practical importance. Exoplanet surveys can be excellent resources to detect asteroids, both already known and new objects. This is due their similar observing requirements: large fields of view, long sequences, and short cadence. If the targeted fields are not located far from the ecliptic, many asteroids will cross occasionally the field of view. We present two complementary methodologies to identify asteroids serendipitously observed in large-area astronomical surveys. One methodology focuses on detecting already known asteroids using the Virtual Observatory tool SkyBoT, which predicts their positions and motions in the sky at a specific epoch. The other methodology applies the ssos pipeline, which is able to identify known and new asteroids based on their apparent motion. The application of these methods to the 6.4 deg 2 of the sky covered by the Wide-Field CAMera Transit Survey in the J-band is described. We identified 15 661 positions of 1 821 different asteroids. Of them, 182 are potential new discoveries. A publicly accessible online, Virtual Observatory compliant catalogue was created. We obtained the shapes and periods for five of our asteroids from their light-curves built with additional photometry taken from external archives. We demonstrated that our methodologies are robust and reliable approaches to find, at zero cost of observing time, asteroids observed by chance in astronomical surveys. Our future goal is to apply them to other surveys with adequate temporal coverage.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
Ultra-broadband nanophotonic phase shifter based on subwavelength metamaterial waveguides
Authors:
David González-Andrade,
José Manuel Luque-González,
J. Gonzalo Wangüemert-Pérez,
Alejandro Ortega-Moñux,
Pavel Cheben,
Íñigo Molina-Fernández,
Aitor V. Velasco
Abstract:
Optical phase shifters are extensively used in integrated optics not only for telecom and datacom applications, but also for sensors and quantum computing. While various active solutions have been demonstrated, progress in passive phase shifters is still lacking. Here, we present a new type of ultra-broadband 90° phase shifter, which exploits the anisotropy and dispersion engineering in subwavelen…
▽ More
Optical phase shifters are extensively used in integrated optics not only for telecom and datacom applications, but also for sensors and quantum computing. While various active solutions have been demonstrated, progress in passive phase shifters is still lacking. Here, we present a new type of ultra-broadband 90° phase shifter, which exploits the anisotropy and dispersion engineering in subwavelength metamaterial waveguides. Our Floquet-Bloch calculations predict a phase shift error below $\pm$1.7° over an unprecedented operation range from 1.35 $μ$m to 1.75 $μ$m, i.e. 400 nm bandwidth covering the E, S, C, L and U telecommunication bands. The flat spectral response of our phase shifter is maintained even in the presence of fabrication errors up to $\pm$20 nm, showing greater robustness than conventional structures. Our device was experimentally demonstrated using standard 220-nm-thick SOI wafers, showing a fourfold reduction in the phase variation compared to conventional phase shifters within the 145 nm wavelength range of our measurement setup. The proposed subwavelength engineered phase shifter paves the way for novel photonic integrated circuits with an ultra-broadband performance.
△ Less
Submitted 18 July, 2019;
originally announced July 2019.
-
Superconducting nanowire single-photon detector with integrated impedance-matching taper
Authors:
Di Zhu,
Marco Colangelo,
Boris A. Korzh,
Qing-Yuan Zhao,
Simone Frasca,
Andrew E. Dane,
Angel E. Velasco,
Andrew D. Beyer,
Jason P. Allmaras,
Edward Ramirez,
William J. Strickland,
Daniel F. Santavicca,
Matthew D. Shaw,
Karl K. Berggren
Abstract:
Conventional readout of a superconducting nanowire single-photon detector (SNSPD) sets an upper bound on the output voltage to be the product of the bias current and the load impedance, $I_\mathrm{B}\times Z_\mathrm{load}$, where $Z_\mathrm{load}$ is limited to 50 $Ω$ in standard r.f. electronics. Here, we break this limit by interfacing the 50 $Ω$ load and the SNSPD using an integrated supercondu…
▽ More
Conventional readout of a superconducting nanowire single-photon detector (SNSPD) sets an upper bound on the output voltage to be the product of the bias current and the load impedance, $I_\mathrm{B}\times Z_\mathrm{load}$, where $Z_\mathrm{load}$ is limited to 50 $Ω$ in standard r.f. electronics. Here, we break this limit by interfacing the 50 $Ω$ load and the SNSPD using an integrated superconducting transmission line taper. The taper is a transformer that effectively loads the SNSPD with high impedance without latching. It increases the amplitude of the detector output while preserving the fast rising edge. Using a taper with a starting width of 500 nm, we experimentally observed a 3.6$\times$ higher pulse amplitude, 3.7$\times$ faster slew rate, and 25.1 ps smaller timing jitter. The results match our numerical simulation, which incorporates both the hotspot dynamics in the SNSPD and the distributed nature in the transmission line taper. The taper studied here may become a useful tool to interface high-impedance superconducting nanowire devices to conventional low-impedance circuits.
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
-
Collective behavior of self-propelled rods with quorum sensing
Authors:
Clara Abaurrea Velasco,
Masoud Abkenar,
Gerhard Gompper,
Thorsten Auth
Abstract:
Active agents - like phoretic particles, bacteria, sperm, and cytoskeletal filaments in motility assays - show a large variety of motility-induced collective behaviors, such as aggregation, clustering and phase separation. The behavior of dense suspensions of phoretic particles and of bacteria during biofilm formation is determined by two principle physical mechanisms: (i) volume exclusion (short-…
▽ More
Active agents - like phoretic particles, bacteria, sperm, and cytoskeletal filaments in motility assays - show a large variety of motility-induced collective behaviors, such as aggregation, clustering and phase separation. The behavior of dense suspensions of phoretic particles and of bacteria during biofilm formation is determined by two principle physical mechanisms: (i) volume exclusion (short-range steric repulsion) and (ii) quorum sensing (longer-range reduced propulsion due to alteration of the local chemical environment). To systematically characterize such systems, we study semi-penetrable self-propelled rods in two dimensions, with a propulsion force that decreases with increasing local rod density, by employing Brownian Dynamics simulations. Volume exclusion and quorum sensing both lead to phase separation, however, the structure and rod dynamics vastly differ. Quorum sensing enhances the polarity of the clusters, induces perpendicularity of rods at the cluster borders, and enhances cluster formation. For systems, where the rods essentially become passive at high densities, formation of asters and stripes is observed. Systems of rods with larger aspect ratios show more ordered structures compared to those with smaller aspect ratios, due to their stronger alignment, with almost circular asters for strongly density-dependent propulsion force. With increasing range of the quorum-sensing interaction, the local density decreases, asters become less stable, and polar hedgehog clusters and clusters with domains appear. Our results characterize structure formation and dynamics due to the competition of two qualitatively different interaction mechanisms, steric hindrance and quorum sensing, which are both relevant for engineered phoretic microswimmers as well as for bacteria in biofilm formation.
△ Less
Submitted 19 July, 2018;
originally announced July 2018.
-
Polarization and wavelength agnostic nanophotonic beam splitter
Authors:
David González-Andrade,
Christian Lafforgue,
Elena Durán-Valdeiglesias,
Xavier Le Roux,
Mathias Berciano,
Eric Cassan,
Delphine Marris-Morini,
Aitor V. Velasco,
Pavel Cheben,
Laurent Vivien,
Carlos Alonso-Ramos
Abstract:
High-performance optical beam splitters are of fundamental importance for the development of advanced silicon photonics integrated circuits. However, due to the high refractive index contrast of the silicon-on-insulator platform, state of the art Si splitters are hampered by trade-offs in bandwidth, polarization dependence and sensitivity to fabrication errors. Here, we present a new strategy that…
▽ More
High-performance optical beam splitters are of fundamental importance for the development of advanced silicon photonics integrated circuits. However, due to the high refractive index contrast of the silicon-on-insulator platform, state of the art Si splitters are hampered by trade-offs in bandwidth, polarization dependence and sensitivity to fabrication errors. Here, we present a new strategy that exploits modal engineering in slotted waveguides to overcome these limitations, enabling ultra-wideband polarization-insensitive optical power splitters, with relaxed fabrication tolerances. The proposed splitter relies on a single-mode slot waveguide which is transformed into two strip waveguides by a symmetric taper, yielding equal power splitting. Based on this concept, we experimentally demonstrate -3$\pm$0.5 dB polarization-independent transmission in an unprecedented 390 nm bandwidth (1260 - 1650 nm), even in the presence of waveguide width deviations as large as $\pm$25 nm.
△ Less
Submitted 25 June, 2018;
originally announced July 2018.
-
Capturing near-equilibrium solutions: a comparison between high-order discontinuous Galerkin methods and well-balanced schemes
Authors:
Maria Han Veiga,
David A. Romero Velasco,
Rémi Abgrall,
Romain Teyssier
Abstract:
Equilibrium or stationary solutions usually proceed through the exact balance between hyperbolic transport terms and source terms. Such equilibrium solutions are affected by truncation errors that prevent any classical numerical scheme from capturing the evolution of small amplitude waves of physical significance. In order to overcome this problem, we compare two commonly adopted strategies: going…
▽ More
Equilibrium or stationary solutions usually proceed through the exact balance between hyperbolic transport terms and source terms. Such equilibrium solutions are affected by truncation errors that prevent any classical numerical scheme from capturing the evolution of small amplitude waves of physical significance. In order to overcome this problem, we compare two commonly adopted strategies: going to very high order and reduce drastically the truncation errors on the equilibrium solution, or design a specific scheme that preserves by construction the equilibrium exactly, the so-called well-balanced approach. We present a modern numerical implementation of these two strategies and compare them in details, using hydrostatic but also dynamical equilibrium solutions of several simple test cases. Finally, we apply our methodology to the simulation of a protoplanetary disc in centrifugal equilibrium around its star and model its interaction with an embedded planet, illustrating in a realistic application the strength of both methods.
△ Less
Submitted 21 August, 2018; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Relevant sampling of the short-time Fourier transform of time-frequency localized functions
Authors:
Gino Angelo Velasco
Abstract:
We study the random sampling of the short-time Fourier transform of functions that are localized in a compact region in the time-frequency plane. We follow the approach introduced by Bass and Gröchenig for band-limited functions, and show that with a high, controllable probability, a sufficiently dense set of local random samples from the region of concentration in the time-frequency plane yields…
▽ More
We study the random sampling of the short-time Fourier transform of functions that are localized in a compact region in the time-frequency plane. We follow the approach introduced by Bass and Gröchenig for band-limited functions, and show that with a high, controllable probability, a sufficiently dense set of local random samples from the region of concentration in the time-frequency plane yields a sampling inequality for the short-time Fourier transform of time-frequency localized functions on the region.
△ Less
Submitted 30 July, 2017;
originally announced July 2017.
-
Lattice Boltzmann model for the simulation of the wave equation in curvilinear coordinates
Authors:
A. M. Velasco,
J. D. Muñoz,
M. Mendoza
Abstract:
Since its origins, lattice-Boltzmann methods have been restricted to rectangular coordinates, a fact which jeopardises the applications to problems with cylindrical or spherical symmetries and complicates the implementations with complex geometries. However, M. Mendoza recently proposed in his doctoral thesis a general procedure (based on Christoffel symbols) to construct lattice-Boltzmann models…
▽ More
Since its origins, lattice-Boltzmann methods have been restricted to rectangular coordinates, a fact which jeopardises the applications to problems with cylindrical or spherical symmetries and complicates the implementations with complex geometries. However, M. Mendoza recently proposed in his doctoral thesis a general procedure (based on Christoffel symbols) to construct lattice-Boltzmann models on curvilinear coordinates, which has shown very good results for hydrodynamics on cylindrical and spherical coordinates. In this work, we construct a lattice-Boltzmann model for the propagation of scalar waves in curvilinear coordinates, and we use it to determine the vibrational modes inside cylinders, trumpets and tori. The model correctly reproduces the theoretical expectations for the vibrational modes, and exemplifies the wide range of future applications of lattice-Boltzmann models on general curvilinear coordinates.
△ Less
Submitted 22 February, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.
-
A Lattice-Boltzmann method for the interaction between mechanical waves and solid mobile bodies
Authors:
A. M. Velasco,
J. D. Muñoz
Abstract:
The acoustic waves generated by moving bodies and the movement of bodies by acoustic waves are central phenomena in the operation of musical instruments and in everyday's experiences like the movement of a boat on a lake by the wake generated by a propelled ship. Previous works have successfully simulated the interaction between a moving body and a lattice-Boltzmann fluid by immersed boundary meth…
▽ More
The acoustic waves generated by moving bodies and the movement of bodies by acoustic waves are central phenomena in the operation of musical instruments and in everyday's experiences like the movement of a boat on a lake by the wake generated by a propelled ship. Previous works have successfully simulated the interaction between a moving body and a lattice-Boltzmann fluid by immersed boundary methods. Hereby, we show how to implement the same coupling in the case of a Lattice-Boltzmann for waves, i.e. a LBGK model that directly recovers the wave equation in a linear medium, without modeling fluids. The coupling is performed by matching the displacement at the medium-solid boundary and via the pressure, which characterizes the forces undergone by the medium and the immersed body. The proposed model simplifies the preceeding immersed boundary methods and reduces the calculations steps. The method is illustrated by simulating the movement of immersed bodies in two dimensions, like the displacement of a two-dimensional disk due to an incoming wave or the wake generated by a moving object in a medium at rest. The proposal consitutes a valuable tool for the study of acoustical waves by lattice-Boltzmann methods.
△ Less
Submitted 2 November, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.
-
On the upper limits for dipole anisotropies in cosmic-ray positrons
Authors:
J. Berdugo,
J. Casaus,
C. Mana,
M. A. Velasco
Abstract:
The excess of cosmic-ray positrons in the energy range from 10 GeV to few hundred GeV reported by PAMELA and AMS experiments is not consistent with a pure secondary origin and requires the introduction of a source term. The presence of anisotropies in the positron arrival directions would be a distinctive signature of their origin. Current measurements are consistent with isotropy and limits to a…
▽ More
The excess of cosmic-ray positrons in the energy range from 10 GeV to few hundred GeV reported by PAMELA and AMS experiments is not consistent with a pure secondary origin and requires the introduction of a source term. The presence of anisotropies in the positron arrival directions would be a distinctive signature of their origin. Current measurements are consistent with isotropy and limits to a dipole anisotropy have been established. In this note, we review the mathematical basis of this analysis and provide a general bound to the dipole upper limits achievable from a given sample of events. The published experimental limits are confronted with this bound.
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
Measuring Verifiability in Online Information
Authors:
Reed H. Harder,
Alfredo J. Velasco,
Michael S. Evans,
Daniel N. Rockmore
Abstract:
The verifiability of online information is important, but difficult to assess systematically. We examine verifiability in the case of Wikipedia, one of the world's largest and most consulted online information sources. We extend prior work about quality of Wikipedia articles, knowledge production, and sources to consider the quality of Wikipedia references. We propose a multidimensional measure of…
▽ More
The verifiability of online information is important, but difficult to assess systematically. We examine verifiability in the case of Wikipedia, one of the world's largest and most consulted online information sources. We extend prior work about quality of Wikipedia articles, knowledge production, and sources to consider the quality of Wikipedia references. We propose a multidimensional measure of verifiability that takes into account technical accuracy and practical accessibility of sources. We calculate article verifiability scores for a sample of 5,000 articles and 295,800 citations, and compare differently weighted models to illustrate effects of emphasizing particular elements of verifiability over others. We find that, while the quality of references in the overall sample is reasonably high, verifiability varies significantly by article, particularly when emphasizing the use of standard digital identifiers and taking into account the practical availability of referenced sources. We discuss the implications of these findings for measuring verifiability in online information more generally.
△ Less
Submitted 16 November, 2015; v1 submitted 18 September, 2015;
originally announced September 2015.
-
Sampling time-frequency localized functions and constructing localized time-frequency frames
Authors:
Monika Dörfler,
Gino Angelo Velasco
Abstract:
We study functions whose time-frequency content are concentrated in a compact region in phase space using time-frequency localization operators as a main tool. We obtain approximation inequalities for such functions using a finite linear combination of eigenfunctions of these operators, as well as a local Gabor system covering the region of interest. These would allow the construction of modified…
▽ More
We study functions whose time-frequency content are concentrated in a compact region in phase space using time-frequency localization operators as a main tool. We obtain approximation inequalities for such functions using a finite linear combination of eigenfunctions of these operators, as well as a local Gabor system covering the region of interest. These would allow the construction of modified time-frequency dictionaries concentrated in the region.
△ Less
Submitted 26 July, 2015;
originally announced July 2015.
-
Lie Groups of Jacobi polynomials and Wigner d-matrices
Authors:
E. Celeghini,
M. A. del Olmo,
M. A. Velasco
Abstract:
A symmetry $SU(2,2)$ group in terms of ladder operators is presented for the Jacobi polynomials, $J_{n}^{(α,β)}(x)$, and the Wigner $d_j$-matrices where the spins $j=n+(α+β)/2$ integer and half-integer are considered together. A unitary irreducible representation of $SU(2,2)$ is constructed and subgroups of physical interest are discussed.
The Universal Envelo** Algebra of $su(2,2)$ also allow…
▽ More
A symmetry $SU(2,2)$ group in terms of ladder operators is presented for the Jacobi polynomials, $J_{n}^{(α,β)}(x)$, and the Wigner $d_j$-matrices where the spins $j=n+(α+β)/2$ integer and half-integer are considered together. A unitary irreducible representation of $SU(2,2)$ is constructed and subgroups of physical interest are discussed.
The Universal Envelo** Algebra of $su(2,2)$ also allows to construct group structures $(SU(1,1), SO(3,2), Spin(3,2))$ whose representations separate integers and half-integers values of the spin $j$.
Appropriate $L^2$--functions spaces are realized inside the support spaces of all these representations. Operators acting on these $L^2$-functions spaces belong thus to the corresponding Universal Envelo** Algebra.
△ Less
Submitted 21 February, 2014;
originally announced February 2014.
-
Jacobi polynomials and SU(2,2)
Authors:
E. Celeghini,
M. A. del Olmo,
M. A. Velasco
Abstract:
A ladder structure of operators is presented for the Jacobi polynomials, J_n^(a,b)(x), with parameters n, a and b integers, showing that they are related to the unitary irreducible representation of SU(2,2) with quadratic Casimir C_SU(2,2)=-3/2. As they determine also a base of square-integrable functions, the universal envelo** algebra of su(2,2) is homomorphic to the space of linear operators…
▽ More
A ladder structure of operators is presented for the Jacobi polynomials, J_n^(a,b)(x), with parameters n, a and b integers, showing that they are related to the unitary irreducible representation of SU(2,2) with quadratic Casimir C_SU(2,2)=-3/2. As they determine also a base of square-integrable functions, the universal envelo** algebra of su(2,2) is homomorphic to the space of linear operators acting on the L^2 functions defined on (-1,+1) x Z x Z/2.
△ Less
Submitted 28 July, 2013;
originally announced July 2013.
-
A framework for invertible, real-time constant-Q transforms
Authors:
Nicki Holighaus,
Monika Dörfler,
Gino Angelo Velasco,
Thomas Grill
Abstract:
Audio signal processing frequently requires time-frequency representations and in many applications, a non-linear spacing of frequency-bands is preferable. This paper introduces a framework for efficient implementation of invertible signal transforms allowing for non-uniform and in particular non-linear frequency resolution. Non-uniformity in frequency is realized by applying nonstationary Gabor f…
▽ More
Audio signal processing frequently requires time-frequency representations and in many applications, a non-linear spacing of frequency-bands is preferable. This paper introduces a framework for efficient implementation of invertible signal transforms allowing for non-uniform and in particular non-linear frequency resolution. Non-uniformity in frequency is realized by applying nonstationary Gabor frames with adaptivity in the frequency domain. The realization of a perfectly invertible constant-Q transform is described in detail. To achieve real-time processing, independent of signal length, slice-wise processing of the full input signal is proposed and referred to as sliCQ transform.
By applying frame theory and FFT-based processing, the presented approach overcomes computational inefficiency and lack of invertibility of classical constant-Q transform implementations. Numerical simulations evaluate the efficiency of the proposed algorithm and the method's applicability is illustrated by experiments on real-life audio signals.
△ Less
Submitted 29 September, 2012;
originally announced October 2012.
-
Estimation of the XUV radiation onto close planets and their evaporation
Authors:
J. Sanz-Forcada,
G. Micela,
I. Ribas,
A. M. T. Pollock,
C. Eiroa,
A. Velasco,
E. Solano,
D. Garcia-Alvarez
Abstract:
Context: The current distribution of planet mass vs. incident stellar X-ray flux supports the idea that photoevaporation of the atmosphere may take place in close-in planets. Integrated effects have to be accounted for. A proper calculation of the mass loss rate due to photoevaporation requires to estimate the total irradiation from the whole XUV range. Aims: The purpose of this paper is to extend…
▽ More
Context: The current distribution of planet mass vs. incident stellar X-ray flux supports the idea that photoevaporation of the atmosphere may take place in close-in planets. Integrated effects have to be accounted for. A proper calculation of the mass loss rate due to photoevaporation requires to estimate the total irradiation from the whole XUV range. Aims: The purpose of this paper is to extend the analysis of the photoevaporation in planetary atmospheres from the accessible X-rays to the mostly unobserved EUV range by using the coronal models of stars to calculate the EUV contribution to the stellar spectra. The mass evolution of planets can be traced assuming that thermal losses dominate the mass loss of their atmospheres. Methods: We determine coronal models for 82 stars with exoplanets that have X-ray observations available. Then a synthetic spectrum is produced for the whole XUV range (~1-912 Å). The determination of the EUV stellar flux, calibrated with real EUV data, allows us to calculate the accumulated effects of the XUV irradiation on the planet atmosphere with time, as well as the mass evolution for planets with known density. Results: We calibrate for the first time a relation of the EUV luminosity with stellar age valid for late-type stars. In a sample of 109 exoplanets, few planets with masses larger than ~1.5 Mj receive high XUV flux, suggesting that intense photoevaporation takes place in a short period of time, as previously found in X-rays. The scenario is also consistent with the observed distribution of planet masses with density. The accumulated effects of photoevaporation over time indicate that HD 209458b may have lost 0.2 Mj since an age of 20 Myr. Conclusions: Coronal radiation produces rapid photoevaporation of the atmospheres of planets close to young late-type stars. More complex models are needed to explain fully the observations.
△ Less
Submitted 3 May, 2011;
originally announced May 2011.
-
Approximate reconstruction of bandlimited functions for the integrate and fire sampler
Authors:
Hans G. Feichtinger,
José C. Príncipe,
José Luis Romero,
Alexander Singh Alvarado,
Gino Angelo Velasco
Abstract:
In this paper we study the reconstruction of a bandlimited signal from samples generated by the integrate and fire model. This sampler allows us to trade complexity in the reconstruction algorithms for simple hardware implementations, and is specially convenient in situations where the sampling device is limited in terms of power, area and bandwidth.
Although perfect reconstruction for this sa…
▽ More
In this paper we study the reconstruction of a bandlimited signal from samples generated by the integrate and fire model. This sampler allows us to trade complexity in the reconstruction algorithms for simple hardware implementations, and is specially convenient in situations where the sampling device is limited in terms of power, area and bandwidth.
Although perfect reconstruction for this sampler is impossible, we give a general approximate reconstruction procedure and bound the corresponding error. We also show the performance of the proposed algorithm through numerical simulations.
△ Less
Submitted 3 December, 2009;
originally announced December 2009.
-
The LAEX and NASA portals for CoRoT public data
Authors:
E. Solano,
K. von Braun,
A. Velasco,
D. R. Ciardi,
R. Gutierrez,
D. L. McElroy,
M. Lopez,
M. Abajian,
M. Garcia,
B. Ali,
L. M. Sarro,
G. B. Berriman,
G. Bryden,
B. Chan,
J. Good,
S. R. Kane,
A. C. Laity,
C. Lau,
A. N. Payne,
P. Plavchan,
S. Ramirez,
M. Schmitz,
J. R. Stauffer,
P. L. Wyatt,
A. Zhang
Abstract:
* Aims. We describe here the main functionalities of the LAEX (Laboratorio de Astrofisica Estelar y Exoplanetas/Laboratory for Stellar Astrophysics and Exoplanets) and NASA portals for CoRoT Public Data. The CoRoT archive at LAEX was opened to the community in January 2009 and is managed in the framework of the Spanish Virtual Observatory. NStED (NASA Star and Exoplanet Database) serves as the C…
▽ More
* Aims. We describe here the main functionalities of the LAEX (Laboratorio de Astrofisica Estelar y Exoplanetas/Laboratory for Stellar Astrophysics and Exoplanets) and NASA portals for CoRoT Public Data. The CoRoT archive at LAEX was opened to the community in January 2009 and is managed in the framework of the Spanish Virtual Observatory. NStED (NASA Star and Exoplanet Database) serves as the CoRoT portal for the US astronomical community. NStED is a general purpose stellar and exoplanet archive with the aim of providing support for NASA planet finding and characterisation goals, and the planning and support of NASA and other space missions. CoRoT data at LAEX and NStED can be accessed at http://sdc.laeff.inta.es/corotfa/ and http://nsted.ipac.caltech.edu,respectively.
* Methods. Based on considerable experience with astronomical archives, the aforementioned archives are designed with the aim of delivering science-quality data in a simple and efficient way.
* Results. LAEX and NStED not only provide access to CoRoT Public Data but furthermore serve a variety of observed and calculated astrophysical data. In particular, NStED provides scientifically validated information on stellar and planetary data related to the search for and characterization of extrasolar planets, and LAEX makes any information from Virtual Observatory services available to the astronomical community.
△ Less
Submitted 20 July, 2009;
originally announced July 2009.
-
Oscillation of Fourier transform and Markov-Bernstein inequalities
Authors:
Szilard Gy. Revesz,
Noli N. Reyes,
Gino Angelo M. Velasco
Abstract:
Under certain conditions on an integrable function f having a real-valued Fourier transform Tf=F, we obtain a certain estimate for the oscillation of F in the interval [-C||f'||/||f||,C||f'||/||f||] with C>0 an absolute constant. Given q>0 and an integrable positive definite function f, satisfying some natural conditions, the above estimate allows us to construct a finite linear combination P of…
▽ More
Under certain conditions on an integrable function f having a real-valued Fourier transform Tf=F, we obtain a certain estimate for the oscillation of F in the interval [-C||f'||/||f||,C||f'||/||f||] with C>0 an absolute constant. Given q>0 and an integrable positive definite function f, satisfying some natural conditions, the above estimate allows us to construct a finite linear combination P of translates f(x+kq)(with k running the integers) such that ||P'||>c||P||/q, where c>0 is another absolute constant. In particular, our construction proves sharpness of an inequality of H. N. Mhaskar for Gaussian networks.
△ Less
Submitted 14 March, 2006;
originally announced March 2006.
-
Electron cyclotron resonance discharge as a source for hydrogen and deuterium ions production
Authors:
Angel Jose Chacon Velasco,
Valeri Dougar-Jabon
Abstract:
In this report, we describe characteristics of a ring-structure hydrogen plasma heated in electron cyclotron resonance conditions and confined in a mirror magnetic trap and discuss the relative efficiency of secondary electrons and thermoelectrons in negative hydrogen and deuterium ion production. The obtained data and calculations of the balance equations for possible reactions demonstrate that…
▽ More
In this report, we describe characteristics of a ring-structure hydrogen plasma heated in electron cyclotron resonance conditions and confined in a mirror magnetic trap and discuss the relative efficiency of secondary electrons and thermoelectrons in negative hydrogen and deuterium ion production. The obtained data and calculations of the balance equations for possible reactions demonstrate that the negative ion production is realized in two stages. First, the hydrogen and deuterium molecules are excited in collisions with the plasma electrons to high-laying Rydberg or vibrational levels in the plasma volume. The second stage leads to the negative ion production through the process of dissociative attachment of low energy electrons. The low energy electrons are originated due to a bombardment of the plasma electrode by ions of one of the driven rings and thermoemission from heated tungsten filaments. Experiments seem to indicate that the negative ion generation occurs predominantly in the limited volume filled with thermoelectrons. Estimation of the negative ion generation rate shows that the main channel of and ion production involves the process of high Rydberg state excitation.
△ Less
Submitted 13 November, 2004;
originally announced November 2004.
-
Quantum Isotropization of the Universe
Authors:
N. Pinto-Neto,
A. F. Velasco,
R. Colistete Jr
Abstract:
We consider minisuperspace models constituted of Bianchi I geometries with a free massless scalar field. The classical solutions are always singular (with the trivial exception of flat space-time), and always anisotropic once they begin anisotropic. When quantizing the system, we obtain the Wheeler-DeWitt equation as a four-dimensional massless Klein-Gordon equation. We show that there are plent…
▽ More
We consider minisuperspace models constituted of Bianchi I geometries with a free massless scalar field. The classical solutions are always singular (with the trivial exception of flat space-time), and always anisotropic once they begin anisotropic. When quantizing the system, we obtain the Wheeler-DeWitt equation as a four-dimensional massless Klein-Gordon equation. We show that there are plenty of quantum states whose corresponding bohmian trajectories may be non-singular and/or presenting large isotropic phases, even if they begin anisotropic, due to quantum gravitational effects. As a specific example, we exhibit field plots of bohmian trajectories for the case of gaussian superpositions of plane wave solutions of the Wheeler-DeWitt equation which have those properties. These conclusions are valid even in the absence of the scalar field.
△ Less
Submitted 24 January, 2000;
originally announced January 2000.
-
Quantum Cosmology in Scalar-Tensor Theories With Non Minimal Coupling
Authors:
Julio C. Fabris,
Nelson Pinto-Neto,
A. F. Velasco
Abstract:
Quantization in the minisuperspace of non minimal scalar-tensor theories leads to a partial differential equation which is non separable. Through a conformal transformation we can recast the Wheeler-DeWitt equation in an integrable form, which corresponds to the minimal coupling case, whose general solution is known. Performing the inverse conformal transformation in the solution so found, we ca…
▽ More
Quantization in the minisuperspace of non minimal scalar-tensor theories leads to a partial differential equation which is non separable. Through a conformal transformation we can recast the Wheeler-DeWitt equation in an integrable form, which corresponds to the minimal coupling case, whose general solution is known. Performing the inverse conformal transformation in the solution so found, we can construct the corresponding one in the original frame. This procedure can also be employed with the bohmian trajectories. In this way, we can study the classical limit of some solutions of this quantum model. While the classical limit of these solutions occurs for small scale factors in the Einstein's frame, it happens for small values of the scalar field non minimally coupled to gravity in the Jordan's frame, which includes large scale factors.
△ Less
Submitted 31 March, 1999;
originally announced March 1999.