-
Quantum Reality Erasure with Spacelike-Separated Operations
Authors:
J. S. Araújo,
Diego S. Starke,
A. S. Coelho,
J. Maziero,
G. H. Aguilar,
R. M. Angelo
Abstract:
In 1935, Einstein, Podolsky, and Rosen argued that quantum mechanics is incomplete, based on the assumption that local actions cannot influence elements of reality at a distant location (local realism). In this work, using a recently defined quantum reality quantifier, we show that Alice's local quantum operations can be correlated with the erasure of the reality of observables in Bob's causally d…
▽ More
In 1935, Einstein, Podolsky, and Rosen argued that quantum mechanics is incomplete, based on the assumption that local actions cannot influence elements of reality at a distant location (local realism). In this work, using a recently defined quantum reality quantifier, we show that Alice's local quantum operations can be correlated with the erasure of the reality of observables in Bob's causally disconnected laboratory. To this end, we implement a modified optical quantum eraser experiment, ensuring that Alice's and Bob's measurements remain causally disconnected. Using an entangled pair of photons and quantum state tomography, we experimentally verify that, even with the total absence of any form of classical communication, the choice of quantum operation applied by Alice on her photon is correlated with the erasure of a spatial element of reality of Bob's photon. In this case, it is shown that Bob's photon can entangle two extra non-interacting degrees of freedom, thus confirming that Bob's photon path is not an element of physical reality.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Optimization of Quantum Systems Emulation via a Variant of the Bandwidth Minimization Problem
Authors:
M. Yassine Naghmouchi,
Joseph Vovrosh,
Wesley da Silva Coelho,
Alexandre Dauphin
Abstract:
This paper introduces weighted-BMP, a variant of the Bandwidth Minimization Problem (BMP), with a significant application in optimizing quantum emulation. Weighted-BMP optimizes particles ordering to reduce the emulation costs, by designing a particle interaction matrix where strong interactions are placed as close as possible to the diagonal. We formulate the problem using a Mixed Integer Linear…
▽ More
This paper introduces weighted-BMP, a variant of the Bandwidth Minimization Problem (BMP), with a significant application in optimizing quantum emulation. Weighted-BMP optimizes particles ordering to reduce the emulation costs, by designing a particle interaction matrix where strong interactions are placed as close as possible to the diagonal. We formulate the problem using a Mixed Integer Linear Program (MILP) and solve it to optimality with a state of the art solver. To strengthen our MILP model, we introduce symmetry-breaking inequalities and establish a lower bound. Through extensive numerical analysis, we examine the impacts of these enhancements on the solver's performance. The introduced reinforcements result in an average CPU time reduction of 25.61 percent. Additionally, we conduct quantum emulations of realistic instances. Our numerical tests show that the weighted-BMP approach outperforms the Reverse Cuthill-McKee (RCM) algorithm, an efficient heuristic used for site ordering tasks in quantum emulation, achieving an average memory storage reduction of 24.48 percent. From an application standpoint, this study is the first to apply an exact optimization method, weighted-BMP, that considers interactions for site ordering in quantum emulation pre-processing, and shows its crucial role in cost reduction. From an algorithmic perspective, it contributes by introducing important reinforcements and lays the groundwork for future research on further enhancements, particularly on strengthening the weak linear relaxation of the MILP.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Graph Algorithms with Neutral Atom Quantum Processors
Authors:
Constantin Dalyac,
Lucas Leclerc,
Louis Vignoli,
Mehdi Djellabi,
Wesley da Silva Coelho,
Bruno Ximenez,
Alexandre Dareau,
Davide Dreon,
VIncent E. Elfving,
Adrien Signoles,
Louis-Paul Henry,
Loïc Henriet
Abstract:
Neutral atom technology has steadily demonstrated significant theoretical and experimental advancements, positioning itself as a front-runner platform for running quantum algorithms. One unique advantage of this technology lies in the ability to reconfigure the geometry of the qubit register, from shot to shot. This unique feature makes possible the native embedding of graph-structured problems at…
▽ More
Neutral atom technology has steadily demonstrated significant theoretical and experimental advancements, positioning itself as a front-runner platform for running quantum algorithms. One unique advantage of this technology lies in the ability to reconfigure the geometry of the qubit register, from shot to shot. This unique feature makes possible the native embedding of graph-structured problems at the hardware level, with profound consequences for the resolution of complex optimization and machine learning tasks. By driving qubits, one can generate processed quantum states which retain graph complex properties. These states can then be leveraged to offer direct solutions to problems or as resources in hybrid quantum-classical schemes. In this paper, we review the advancements in quantum algorithms for graph problems running on neutral atom Quantum Processing Units (QPUs), and discuss recently introduced embedding and problem-solving techniques. In addition, we clarify ongoing advancements in hardware, with an emphasis on enhancing the scalability, controllability and computation repetition rate of neutral atom QPUs.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Assessment of Precision and Accuracy of Brain White Matter Microstructure using Combined Diffusion MRI and Relaxometry
Authors:
Santiago Coelho,
Ying Liao,
Filip Szczepankiewicz,
Jelle Veraart,
Sohae Chung,
Yvonne W. Lui,
Dmitry S. Novikov,
Els Fieremans
Abstract:
Joint modeling of diffusion and relaxation has seen growing interest due to its potential to provide complementary information about tissue microstructure. For brain white matter, we designed an optimal diffusion-relaxometry MRI protocol that samples multiple b-values, B-tensor shapes, and echo times (TE). This variable-TE protocol (27 min) has as subsets a fixed-TE protocol (15 min) and a 2-shell…
▽ More
Joint modeling of diffusion and relaxation has seen growing interest due to its potential to provide complementary information about tissue microstructure. For brain white matter, we designed an optimal diffusion-relaxometry MRI protocol that samples multiple b-values, B-tensor shapes, and echo times (TE). This variable-TE protocol (27 min) has as subsets a fixed-TE protocol (15 min) and a 2-shell dMRI protocol (7 min), both characterizing diffusion only. We assessed the sensitivity, specificity and reproducibility of these protocols with synthetic experiments and in six healthy volunteers. Compared with the fixed-TE protocol, the variable-TE protocol enables estimation of free water fractions while also capturing compartmental $T_2$ relaxation times. Jointly measuring diffusion and relaxation offers increased sensitivity and specificity to microstructure parameters in brain white matter with voxelwise coefficients of variation below 10%.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Mixed Integer Linear Programming Solver Using Benders Decomposition Assisted by Neutral Atom Quantum Processor
Authors:
M. Yassine Naghmouchi,
Wesley da Silva Coelho
Abstract:
This paper presents a new hybrid classical-quantum approach to solve Mixed Integer Linear Programming (MILP) using neutral atom quantum computations. We apply Benders decomposition (BD) to segment MILPs into a master problem (MP) and a subproblem (SP), where the MP is addressed using a neutral-atom device, after being transformed into a Quadratic Unconstrained Binary Optimization (QUBO) model, wit…
▽ More
This paper presents a new hybrid classical-quantum approach to solve Mixed Integer Linear Programming (MILP) using neutral atom quantum computations. We apply Benders decomposition (BD) to segment MILPs into a master problem (MP) and a subproblem (SP), where the MP is addressed using a neutral-atom device, after being transformed into a Quadratic Unconstrained Binary Optimization (QUBO) model, with an automatized procedure. Our MILP to QUBO conversion tightens the upper bounds of the involved continuous variables, positively impacting the required qubit count, and the convergence of the algorithm. To solve the QUBO, we develop a heuristic for atom register embedding and apply a variational algorithm for pulse sha**. In addition, we implement a Proof of Concept (PoC) that outperforms existing solutions. We also conduct preliminary numerical results: in a series of small MILP instances our algorithm identifies over 95 percent of feasible solutions of high quality, outperforming classical BD approaches where the MP is solved using simulated annealing. To the best of our knowledge, this work is the first to utilize a neutral atom quantum processor in develo** an automated, problem-agnostic framework for solving MILPs through BD.
△ Less
Submitted 17 June, 2024; v1 submitted 8 February, 2024;
originally announced February 2024.
-
Volume electron microscopy in injured rat brain validates white matter microstructure metrics from diffusion MRI
Authors:
Ricardo Coronado-Leija,
Ali Abdollahzadeh,
Hong-Hsi Lee,
Santiago Coelho,
Benjamin Ades-Aron,
Ying Liao,
Raimo A. Salo,
Jussi Tohka,
Alejandra Sierra,
Dmitry S. Novikov,
Els Fieremans
Abstract:
Biophysical modeling of diffusion MRI (dMRI) offers the exciting potential of bridging the gap between the macroscopic MRI resolution and microscopic cellular features, effectively turning the MRI scanner into a noninvasive in vivo microscope. In brain white matter, the Standard Model (SM) interprets the dMRI signal in terms of axon dispersion, intra- and extra-axonal water fractions and diffusivi…
▽ More
Biophysical modeling of diffusion MRI (dMRI) offers the exciting potential of bridging the gap between the macroscopic MRI resolution and microscopic cellular features, effectively turning the MRI scanner into a noninvasive in vivo microscope. In brain white matter, the Standard Model (SM) interprets the dMRI signal in terms of axon dispersion, intra- and extra-axonal water fractions and diffusivities. However, for SM to be fully applicable and correctly interpreted, it needs to be carefully evaluated using histology. Here, we perform a comprehensive histological validation of the SM parameters, by characterizing WM microstructure in sham and injured rat brains using volume (3d) electron microscopy (EM) and ex vivo dMRI. Sensitivity is evaluated by how close each SM metric is to its histological counterpart, and specificity by how independent it is from other, non-corresponding histological features. This comparison reveals that SM is sensitive and specific to microscopic properties, clearing the way for the clinical adoption of in vivo dMRI derived SM parameters as biomarkers for neurological disorders.
△ Less
Submitted 9 January, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Map** tissue microstructure of brain white matter in vivo in health and disease using diffusion MRI
Authors:
Ying Liao,
Santiago Coelho,
Jenny Chen,
Benjamin Ades-Aron,
Michelle Pang,
Ricardo Osorio,
Timothy Shepherd,
Yvonne W. Lui,
Dmitry S. Novikov,
Els Fieremans
Abstract:
Diffusion magnetic resonance imaging offers unique in vivo sensitivity to tissue microstructure in brain white matter, which undergoes significant changes during development and is compromised in virtually every neurological disorder. Yet, the challenge is to develop biomarkers that are specific to micrometer-scale cellular features in a human MRI scan of a few minutes. Here we quantify the sensit…
▽ More
Diffusion magnetic resonance imaging offers unique in vivo sensitivity to tissue microstructure in brain white matter, which undergoes significant changes during development and is compromised in virtually every neurological disorder. Yet, the challenge is to develop biomarkers that are specific to micrometer-scale cellular features in a human MRI scan of a few minutes. Here we quantify the sensitivity and specificity of a multicompartment diffusion modeling framework to the density, orientation and integrity of axons. We demonstrate that using a machine learning based estimator, our biophysical model captures the morphological changes of axons in early development, acute ischemia and multiple sclerosis (total N=821). The methodology of microstructure map** is widely applicable in clinical settings and in large imaging consortium data to study development, aging and pathology.
△ Less
Submitted 19 December, 2023; v1 submitted 30 July, 2023;
originally announced July 2023.
-
Squeezing equivalence of quantum harmonic oscillators under different frequency modulations
Authors:
Stanley S. Coelho,
Lucas Queiroz,
Danilo T. Alves
Abstract:
The papers by Janszky and Adam [Phys. Rev. A {\bf 46}, 6091 (1992)] and Chen \textit{et al.} [Phys. Rev. Lett. {\bf 104}, 063002 (2010)] are examples of works where one can find equivalences belonging to the following class: quantum harmonic oscillators subjected to different time-dependent frequency modulations, during a certain time interval $τ$, exhibit exactly the same final null squeezing par…
▽ More
The papers by Janszky and Adam [Phys. Rev. A {\bf 46}, 6091 (1992)] and Chen \textit{et al.} [Phys. Rev. Lett. {\bf 104}, 063002 (2010)] are examples of works where one can find equivalences belonging to the following class: quantum harmonic oscillators subjected to different time-dependent frequency modulations, during a certain time interval $τ$, exhibit exactly the same final null squeezing parameter ($r_f=0$). In the present paper, we discuss a more general class of squeezing equivalence, where the final squeezing parameter can be non-null ($r_f\geq0$). We show that when the interest is in controlling the forms of the frequency modulations, but kee** free the values of $r_f$ and $τ$, this in general demands numerical calculations to find these values leading to squeezing equivalences (a particular case of this procedure recovers the equivalence found by Jansky and Adams). On the other hand, when the interest is not in previously controlling the form of these frequencies, but rather $r_f$ and $τ$ (and also some constraints, such as minimization of energy), one can have analytical solutions for these frequencies leading to squeezing equivalences (particular cases of this procedure are usually applied in problems of shortcuts to adiabaticity, as done by Chen \textit{et al.}). In this way, this more general squeezing equivalence discussed here is connected to recent and important topics in the literature as, for instance, generation of squeezed states and the obtaining of shortcuts to adiabaticity.
△ Less
Submitted 13 November, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Graph Neural Networks for the Offline Nanosatellite Task Scheduling Problem
Authors:
Bruno Machado Pacheco,
Laio Oriel Seman,
Cezar Antonio Rigo,
Eduardo Camponogara,
Eduardo Augusto Bezerra,
Leandro dos Santos Coelho
Abstract:
This study investigates how to schedule nanosatellite tasks more efficiently using Graph Neural Networks (GNNs). In the Offline Nanosatellite Task Scheduling (ONTS) problem, the goal is to find the optimal schedule for tasks to be carried out in orbit while taking into account Quality-of-Service (QoS) considerations such as priority, minimum and maximum activation events, execution time-frames, pe…
▽ More
This study investigates how to schedule nanosatellite tasks more efficiently using Graph Neural Networks (GNNs). In the Offline Nanosatellite Task Scheduling (ONTS) problem, the goal is to find the optimal schedule for tasks to be carried out in orbit while taking into account Quality-of-Service (QoS) considerations such as priority, minimum and maximum activation events, execution time-frames, periods, and execution windows, as well as constraints on the satellite's power resources and the complexity of energy harvesting and management. The ONTS problem has been approached using conventional mathematical formulations and exact methods, but their applicability to challenging cases of the problem is limited. This study examines the use of GNNs in this context, which has been effectively applied to optimization problems such as the traveling salesman, scheduling, and facility placement problems. More specifically, we investigate whether GNNs can learn the complex structure of the ONTS problem with respect to feasibility and optimality of candidate solutions. Furthermore, we evaluate using GNN-based heuristic solutions to provide better solutions (w.r.t. the objective value) to the ONTS problem and reduce the optimization cost. Our experiments show that GNNs are not only able to learn feasibility and optimality for instances of the ONTS problem, but they can generalize to harder instances than those seen during training. Furthermore, the GNN-based heuristics improved the expected objective value of the best solution found under the time limit in 45%, and reduced the expected time to find a feasible solution in 35%, when compared to the SCIP (Solving Constraint Integer Programs) solver in its off-the-shelf configuration
△ Less
Submitted 20 September, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Could Nucleobases form in the ISM? A Theoretical Study in the Hoursehead nebula
Authors:
Luciene da Silva Coelho,
Edgar Mendoza,
Amancio Cesar dos Santos Friaça
Abstract:
This work presents the results of a theoretical study that analyzed the possibility of nucleobases to form in the interstellar medium, in the Horsehead nebula, which is a region considered an archetype of molecular cloud. Performing the Meudon PDR code, the reactions of the nitrogen bases formation from formamide, which is a precursor compound identified in several interstellar environment, where…
▽ More
This work presents the results of a theoretical study that analyzed the possibility of nucleobases to form in the interstellar medium, in the Horsehead nebula, which is a region considered an archetype of molecular cloud. Performing the Meudon PDR code, the reactions of the nitrogen bases formation from formamide, which is a precursor compound identified in several interstellar environment, where simulated. The model showed that at least cytosine and uracil presented significant abundances. Finally, from thermochemical and quantum calculations, a investigation was carried out on the formation reactions considered for the nucleobases and no insurmountable energy barrier which would prevent the reactions was found.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Quantum pricing-based column-generation framework for hard combinatorial problems
Authors:
Wesley da Silva Coelho,
Loïc Henriet,
Louis-Paul Henry
Abstract:
In this work, we present a complete hybrid classical-quantum algorithm involving a quantum sampler based on neutral atom platforms. This approach is inspired by classical column generation frameworks developed in the field of Operations Research and shows how quantum procedures can assist classical solvers in addressing hard combinatorial problems. We benchmark our method on the Minimum Vertex Col…
▽ More
In this work, we present a complete hybrid classical-quantum algorithm involving a quantum sampler based on neutral atom platforms. This approach is inspired by classical column generation frameworks developed in the field of Operations Research and shows how quantum procedures can assist classical solvers in addressing hard combinatorial problems. We benchmark our method on the Minimum Vertex Coloring problem and show that the proposed hybrid quantum-classical column generation algorithm can yield good solutions in relatively few iterations. We compare our results with state-of-the-art classical and quantum approaches.
△ Less
Submitted 4 April, 2023; v1 submitted 6 January, 2023;
originally announced January 2023.
-
Clinical Deterioration Prediction in Brazilian Hospitals Based on Artificial Neural Networks and Tree Decision Models
Authors:
Hamed Yazdanpanah,
Augusto C. M. Silva,
Murilo Guedes,
Hugo M. P. Morales,
Leandro dos S. Coelho,
Fernando G. Moro
Abstract:
Early recognition of clinical deterioration (CD) has vital importance in patients' survival from exacerbation or death. Electronic health records (EHRs) data have been widely employed in Early Warning Scores (EWS) to measure CD risk in hospitalized patients. Recently, EHRs data have been utilized in Machine Learning (ML) models to predict mortality and CD. The ML models have shown superior perform…
▽ More
Early recognition of clinical deterioration (CD) has vital importance in patients' survival from exacerbation or death. Electronic health records (EHRs) data have been widely employed in Early Warning Scores (EWS) to measure CD risk in hospitalized patients. Recently, EHRs data have been utilized in Machine Learning (ML) models to predict mortality and CD. The ML models have shown superior performance in CD prediction compared to EWS. Since EHRs data are structured and tabular, conventional ML models are generally applied to them, and less effort is put into evaluating the artificial neural network's performance on EHRs data. Thus, in this article, an extremely boosted neural network (XBNet) is used to predict CD, and its performance is compared to eXtreme Gradient Boosting (XGBoost) and random forest (RF) models. For this purpose, 103,105 samples from thirteen Brazilian hospitals are used to generate the models. Moreover, the principal component analysis (PCA) is employed to verify whether it can improve the adopted models' performance. The performance of ML models and Modified Early Warning Score (MEWS), an EWS candidate, are evaluated in CD prediction regarding the accuracy, precision, recall, F1-score, and geometric mean (G-mean) metrics in a 10-fold cross-validation approach. According to the experiments, the XGBoost model obtained the best results in predicting CD among Brazilian hospitals' data.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
Exact solution of a time-dependent quantum harmonic oscillator with two frequency jumps via the Lewis-Riesenfeld dynamical invariant method
Authors:
Stanley S. Coelho,
Lucas Queiroz,
Danilo T. Alves
Abstract:
Harmonic oscillators with multiple abrupt jumps in their frequencies have been investigated by several authors during the last decades. We investigate the dynamics of a quantum harmonic oscillator with initial frequency $ω_0$, that undergoes a sudden jump to a frequency $ω_1$ and, after a certain time interval, suddenly returns to its initial frequency. Using the Lewis-Riesenfeld method of dynamic…
▽ More
Harmonic oscillators with multiple abrupt jumps in their frequencies have been investigated by several authors during the last decades. We investigate the dynamics of a quantum harmonic oscillator with initial frequency $ω_0$, that undergoes a sudden jump to a frequency $ω_1$ and, after a certain time interval, suddenly returns to its initial frequency. Using the Lewis-Riesenfeld method of dynamical invariants, we present expressions for the mean energy value, the mean number of excitations, and the transition probabilities, considering the initial state different from the fundamental. We show that the mean energy of the oscillator, after the jumps, is equal or greater than the one before the jumps, even when $ω_1<ω_0$. We also show that, for particular values of the time interval between the jumps, the oscillator returns to the same initial state.
△ Less
Submitted 20 January, 2023; v1 submitted 12 November, 2022;
originally announced November 2022.
-
Efficient protocol for solving combinatorial graph problems on neutral-atom quantum processors
Authors:
Wesley da Silva Coelho,
Mauro D'Arcangelo,
Louis-Paul Henry
Abstract:
On neutral atom platforms, preparing specific quantum states is usually achieved by pulse sha**, i.e., by optimizing the time-dependence of the Hamiltonian related to the system. This process can be extremely costly, as it requires sampling of the final state in the quantum processor many times. Hence, determining a good pulse, as well as a good embedding, to solve specific combinatorial graph p…
▽ More
On neutral atom platforms, preparing specific quantum states is usually achieved by pulse sha**, i.e., by optimizing the time-dependence of the Hamiltonian related to the system. This process can be extremely costly, as it requires sampling of the final state in the quantum processor many times. Hence, determining a good pulse, as well as a good embedding, to solve specific combinatorial graph problems is one of the most important bottlenecks of the analog approach. In this work, we propose a novel protocol for solving hard combinatorial graph problems that combines variational analog quantum computing and machine learning. Our numerical simulations show that the proposed protocol can reduce dramatically the number of iterations to be run on the quantum device. Finally, we assess the quality of the proposed approach by estimating the related Q-score, a recently proposed metric aimed at benchmarking QPUs.
△ Less
Submitted 2 August, 2022; v1 submitted 26 July, 2022;
originally announced July 2022.
-
Map** molecular complexes with Super-Resolution Microscopy and Single-Particle Analysis
Authors:
Afonso Mendes,
Hannah S. Heil,
Simao Coelho,
Christophe Leterrier,
Ricardo Henriques
Abstract:
Understanding the structure of supramolecular complexes provides insight into their functional capabilities and how they can be modulated in the context of disease. Super-resolution microscopy (SRM) excels in performing this task by resolving ultrastructural details at the nanoscale with molecular specificity. However, technical limitations, such as underlabelling, preclude its ability to provide…
▽ More
Understanding the structure of supramolecular complexes provides insight into their functional capabilities and how they can be modulated in the context of disease. Super-resolution microscopy (SRM) excels in performing this task by resolving ultrastructural details at the nanoscale with molecular specificity. However, technical limitations, such as underlabelling, preclude its ability to provide complete structures. Single-particle analysis (SPA) overcomes this limitation by combining information from multiple images of identical structures and producing an averaged model, effectively enhancing the resolution and coverage of image reconstructions. This review highlights important studies using SRM-SPA, demonstrating how it broadens our knowledge by elucidating features of key biological structures with unprecedented detail.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
Reproducibility of the Standard Model of diffusion in white matter on clinical MRI systems
Authors:
Santiago Coelho,
Steven H. Baete,
Gregory Lemberskiy,
Benjamin Ades-Aaron,
Genevieve Barrol,
Jelle Veraart,
Dmitry S. Novikov,
Els Fieremans
Abstract:
Estimating intra- and extra-axonal microstructure parameters, such as volume fractions and diffusivities, has been one of the major efforts in brain microstructure imaging with MRI. The Standard Model (SM) of diffusion in white matter has unified various modeling approaches based on impermeable narrow cylinders embedded in locally anisotropic extra-axonal space. However, estimating the SM paramete…
▽ More
Estimating intra- and extra-axonal microstructure parameters, such as volume fractions and diffusivities, has been one of the major efforts in brain microstructure imaging with MRI. The Standard Model (SM) of diffusion in white matter has unified various modeling approaches based on impermeable narrow cylinders embedded in locally anisotropic extra-axonal space. However, estimating the SM parameters from a set of conventional diffusion MRI (dMRI) measurements is ill-conditioned. Multidimensional dMRI helps resolve the estimation degeneracies, but there remains a need for clinically feasible acquisitions that yield robust parameter maps. Here we find optimal multidimensional protocols by minimizing the mean-squared error of machine learning-based SM parameter estimates for two 3T scanners with corresponding gradient strengths of $40$ and $80\,\unit{mT/m}$. We assess intra-scanner and inter-scanner repeatability for 15-minute optimal protocols by scanning 20 healthy volunteers twice on both scanners. The coefficients of variation all SM parameters except free water fraction are $\lesssim 10\%$ voxelwise and $1-4 \%$ for their region-averaged values. As the achieved SM reproducibility outcomes are similar to those of conventional diffusion tensor imaging, our results enable robust in vivo map** of white matter microstructure in neuroscience research and in the clinic.
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Scales and Hedges in a Logic with Analogous Semantics
Authors:
Hedda R. Schmidtke,
Sara Coelho
Abstract:
Logics with analogous semantics, such as Fuzzy Logic, have a number of explanatory and application advantages, the most well-known being the ability to help experts develop control systems. From a cognitive systems perspective, such languages also have the advantage of being grounded in perception. For social decision making in humans, it is vital that logical conclusions about others (cognitive e…
▽ More
Logics with analogous semantics, such as Fuzzy Logic, have a number of explanatory and application advantages, the most well-known being the ability to help experts develop control systems. From a cognitive systems perspective, such languages also have the advantage of being grounded in perception. For social decision making in humans, it is vital that logical conclusions about others (cognitive empathy) are grounded in empathic emotion (affective empathy). Classical Fuzzy Logic, however, has several disadvantages: it is not obvious how complex formulae, e.g., the description of events in a text, can be (a) formed, (b) grounded, and (c) used in logical reasoning. The two-layered Context Logic (CL) was designed to address these issue. Formally based on a lattice semantics, like classical Fuzzy Logic, CL also features an analogous semantics for complex fomulae. With the Activation Bit Vector Machine (ABVM), it has a simple and classical logical reasoning mechanism with an inherent imagery process based on the Vector Symbolic Architecture (VSA) model of distributed neuronal processing. This paper adds to the existing theory how scales, as necessary for adjective and verb semantics can be handled by the system.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
Possible routes for the Formation of Prebiotic Molecules in the Horsehead Nebula
Authors:
Luciene da Silva Coelho,
Amâncio César dos Santos Friaça,
Edgar Mendoza
Abstract:
This article presents the results of a study concerning interstellar molecules which are useful for the bookkee** of the organic content of the universe and for providing a glimpse into prebiotic conditions on Earth and in other environments in the universe. We explored production channels for astrobiological relevant nitrogen-bearing cyclic molecules (N-heterocycles), e. g. pyrrole and pyridine…
▽ More
This article presents the results of a study concerning interstellar molecules which are useful for the bookkee** of the organic content of the universe and for providing a glimpse into prebiotic conditions on Earth and in other environments in the universe. We explored production channels for astrobiological relevant nitrogen-bearing cyclic molecules (N-heterocycles), e. g. pyrrole and pyridine. The present simulations demonstrate how the exploration of a few possible routes of production of N-heterocycles resulted in significant abundances for these species. One particularly efficient class of channels for the production of N-heterocycles incorporates polycyclic aromatic hydrocarbons (PAHs) as catalysts. Thereby, an exploration of a variety of production paths should reveal more species to be target of astrophysical observations.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
A Systematic Comparison of Forecasting for Gross Domestic Product in an Emergent Economy
Authors:
Kleyton da Costa,
Felipe Leite Coelho da Silva,
Josiane da Silva Cordeiro Coelho,
André de Melo Modenesi
Abstract:
Gross domestic product (GDP) is an important economic indicator that aggregates useful information to assist economic agents and policymakers in their decision-making process. In this context, GDP forecasting becomes a powerful decision optimization tool in several areas. In order to contribute in this direction, we investigated the efficiency of classical time series models, the state-space model…
▽ More
Gross domestic product (GDP) is an important economic indicator that aggregates useful information to assist economic agents and policymakers in their decision-making process. In this context, GDP forecasting becomes a powerful decision optimization tool in several areas. In order to contribute in this direction, we investigated the efficiency of classical time series models, the state-space models, and the neural network models, applied to Brazilian gross domestic product. The models used were: a Seasonal Autoregressive Integrated Moving Average (SARIMA) and a Holt-Winters method, which are classical time series models; the dynamic linear model, a state-space model; and neural network autoregression and the multilayer perceptron, artificial neural network models. Based on statistical metrics of model comparison, the multilayer perceptron presented the best in-sample and out-sample forecasting performance for the analyzed period, also incorporating the growth rate structure significantly.
△ Less
Submitted 3 March, 2022; v1 submitted 25 October, 2020;
originally announced October 2020.
-
Short-term forecasting COVID-19 cumulative confirmed cases: Perspectives for Brazil
Authors:
Matheus Henrique Dal Molin Ribeiro,
Ramon Gomes da Silva,
Viviana Cocco Mariani,
Leandro dos Santos Coelho
Abstract:
The new Coronavirus (COVID-19) is an emerging disease responsible for infecting millions of people since the first notification until nowadays. Develo** efficient short-term forecasting models allow knowing the number of future cases. In this context, it is possible to develop strategic planning in the public health system to avoid deaths. In this paper, autoregressive integrated moving average…
▽ More
The new Coronavirus (COVID-19) is an emerging disease responsible for infecting millions of people since the first notification until nowadays. Develo** efficient short-term forecasting models allow knowing the number of future cases. In this context, it is possible to develop strategic planning in the public health system to avoid deaths. In this paper, autoregressive integrated moving average (ARIMA), cubist (CUBIST), random forest (RF), ridge regression (RIDGE), support vector regression (SVR), and stacking-ensemble learning are evaluated in the task of time series forecasting with one, three, and six-days ahead the COVID-19 cumulative confirmed cases in ten Brazilian states with a high daily incidence. In the stacking learning approach, the cubist, RF, RIDGE, and SVR models are adopted as base-learners and Gaussian process (GP) as meta-learner. The models' effectiveness is evaluated based on the improvement index, mean absolute error, and symmetric mean absolute percentage error criteria. In most of the cases, the SVR and stacking ensemble learning reach a better performance regarding adopted criteria than compared models. In general, the developed models can generate accurate forecasting, achieving errors in a range of 0.87% - 3.51%, 1.02% - 5.63%, and 0.95% - 6.90% in one, three, and six-days-ahead, respectively. The ranking of models in all scenarios is SVR, stacking ensemble learning, ARIMA, CUBIST, RIDGE, and RF models. The use of evaluated models is recommended to forecasting and monitor the ongoing growth of COVID-19 cases, once these models can assist the managers in the decision-making support systems.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Forecasting Brazilian and American COVID-19 cases based on artificial intelligence coupled with climatic exogenous variables
Authors:
Ramon Gomes da Silva,
Matheus Henrique Dal Molin Ribeiro,
Viviana Cocco Mariani,
Leandro dos Santos Coelho
Abstract:
The novel coronavirus disease (COVID-19) is a public health problem once according to the World Health Organization up to June 10th, 2020, more than 7.1 million people were infected, and more than 400 thousand have died worldwide. In the current scenario, the Brazil and the United States of America present a high daily incidence of new cases and deaths. It is important to forecast the number of ne…
▽ More
The novel coronavirus disease (COVID-19) is a public health problem once according to the World Health Organization up to June 10th, 2020, more than 7.1 million people were infected, and more than 400 thousand have died worldwide. In the current scenario, the Brazil and the United States of America present a high daily incidence of new cases and deaths. It is important to forecast the number of new cases in a time window of one week, once this can help the public health system develo** strategic planning to deals with the COVID-19. In this paper, Bayesian regression neural network, cubist regression, k-nearest neighbors, quantile random forest, and support vector regression, are used stand-alone, and coupled with the recent pre-processing variational mode decomposition (VMD) employed to decompose the time series into several intrinsic mode functions. All Artificial Intelligence techniques are evaluated in the task of time-series forecasting with one, three, and six-days-ahead the cumulative COVID-19 cases in five Brazilian and American states up to April 28th, 2020. Previous cumulative COVID-19 cases and exogenous variables as daily temperature and precipitation were employed as inputs for all forecasting models. The hybridization of VMD outperformed single forecasting models regarding the accuracy, specifically when the horizon is six-days-ahead, achieving better accuracy in 70% of the cases. Regarding the exogenous variables, the importance ranking as predictor variables is past cases, temperature, and precipitation. Due to the efficiency of evaluated models to forecasting cumulative COVID-19 cases up to six-days-ahead, the adopted models can be recommended as a promising models for forecasting and be used to assist in the development of public policies to mitigate the effects of COVID-19 outbreak.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Short-term forecasting of Amazon rainforest fires based on ensemble decomposition model
Authors:
Ramon Gomes da Silva,
Matheus Henrique Dal Molin Ribeiro,
Viviana Cocco Mariani,
Leandro dos Santos Coelho
Abstract:
Accurate forecasting is important for decision-makers. Recently, the Amazon rainforest is reaching record levels of the number of fires, a situation that concerns both climate and public health problems. Obtaining the desired forecasting accuracy becomes difficult and challenging. In this paper were developed a novel heterogeneous decomposition-ensemble model by using Seasonal and Trend decomposit…
▽ More
Accurate forecasting is important for decision-makers. Recently, the Amazon rainforest is reaching record levels of the number of fires, a situation that concerns both climate and public health problems. Obtaining the desired forecasting accuracy becomes difficult and challenging. In this paper were developed a novel heterogeneous decomposition-ensemble model by using Seasonal and Trend decomposition based on Loess in combination with algorithms for short-term load forecasting multi-month-ahead, to explore temporal patterns of Amazon rainforest fires in Brazil. The results demonstrate the proposed decomposition-ensemble models can provide more accurate forecasting evaluated by performance measures. Diebold-Mariano statistical test showed the proposed models are better than other compared models, but it is statistically equal to one of them.
△ Less
Submitted 23 July, 2020; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Multi-Stage Transfer Learning with an Application to Selection Process
Authors:
Andre Mendes,
Julian Togelius,
Leandro dos Santos Coelho
Abstract:
In multi-stage processes, decisions happen in an ordered sequence of stages. Many of them have the structure of dual funnel problem: as the sample size decreases from one stage to the other, the information increases. A related example is a selection process, where applicants apply for a position, prize, or grant. In each stage, more applicants are evaluated and filtered out, and from the remainin…
▽ More
In multi-stage processes, decisions happen in an ordered sequence of stages. Many of them have the structure of dual funnel problem: as the sample size decreases from one stage to the other, the information increases. A related example is a selection process, where applicants apply for a position, prize, or grant. In each stage, more applicants are evaluated and filtered out, and from the remaining ones, more information is collected. In the last stage, decision-makers use all available information to make their final decision. To train a classifier for each stage becomes impracticable as they can underfit due to the low dimensionality in early stages or overfit due to the small sample size in the latter stages. In this work, we proposed a \textit{Multi-StaGe Transfer Learning} (MSGTL) approach that uses knowledge from simple classifiers trained in early stages to improve the performance of classifiers in the latter stages. By transferring weights from simpler neural networks trained in larger datasets, we able to fine-tune more complex neural networks in the latter stages without overfitting due to the small sample size. We show that it is possible to control the trade-off between conserving knowledge and fine-tuning using a simple probabilistic map. Experiments using real-world data demonstrate the efficacy of our approach as it outperforms other state-of-the-art methods for transfer learning and regularization.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Unified Multi-Domain Learning and Data Imputation using Adversarial Autoencoder
Authors:
Andre Mendes,
Julian Togelius,
Leandro dos Santos Coelho
Abstract:
We present a novel framework that can combine multi-domain learning (MDL), data imputation (DI) and multi-task learning (MTL) to improve performance for classification and regression tasks in different domains. The core of our method is an adversarial autoencoder that can: (1) learn to produce domain-invariant embeddings to reduce the difference between domains; (2) learn the data distribution for…
▽ More
We present a novel framework that can combine multi-domain learning (MDL), data imputation (DI) and multi-task learning (MTL) to improve performance for classification and regression tasks in different domains. The core of our method is an adversarial autoencoder that can: (1) learn to produce domain-invariant embeddings to reduce the difference between domains; (2) learn the data distribution for each domain and correctly perform data imputation on missing data. For MDL, we use the Maximum Mean Discrepancy (MMD) measure to align the domain distributions. For DI, we use an adversarial approach where a generator fill in information for missing data and a discriminator tries to distinguish between real and imputed values. Finally, using the universal feature representation in the embeddings, we train a classifier using MTL that given input from any domain, can predict labels for all domains. We demonstrate the superior performance of our approach compared to other state-of-art methods in three distinct settings, DG-DI in image recognition with unstructured data, MTL-DI in grade estimation with structured data and MDMTL-DI in a selection process using mixed data.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Adversarial Encoder-Multi-Task-Decoder for Multi-Stage Processes
Authors:
Andre Mendes,
Julian Togelius,
Leandro dos Santos Coelho
Abstract:
In multi-stage processes, decisions occur in an ordered sequence of stages. Early stages usually have more observations with general information (easier/cheaper to collect), while later stages have fewer observations but more specific data. This situation can be represented by a dual funnel structure, in which the sample size decreases from one stage to the other while the information increases. T…
▽ More
In multi-stage processes, decisions occur in an ordered sequence of stages. Early stages usually have more observations with general information (easier/cheaper to collect), while later stages have fewer observations but more specific data. This situation can be represented by a dual funnel structure, in which the sample size decreases from one stage to the other while the information increases. Training classifiers in this scenario is challenging since information in the early stages may not contain distinct patterns to learn (underfitting). In contrast, the small sample size in later stages can cause overfitting. We address both cases by introducing a framework that combines adversarial autoencoders (AAE), multi-task learning (MTL), and multi-label semi-supervised learning (MLSSL). We improve the decoder of the AAE with an MTL component so it can jointly reconstruct the original input and use feature nets to predict the features for the next stages. We also introduce a sequence constraint in the output of an MLSSL classifier to guarantee the sequential pattern in the predictions. Using real-world data from different domains (selection process, medical diagnosis), we show that our approach outperforms other state-of-the-art methods.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Optimal experimental design for biophysical modelling in multidimensional diffusion MRI
Authors:
Santiago Coelho,
Jose M. Pozo,
Sune N. Jespersen,
Alejandro F. Frangi
Abstract:
Computational models of biophysical tissue properties have been widely used in diffusion MRI (dMRI) research to elucidate the link between microstructural properties and MR signal formation. For brain tissue, the research community has developed the so-called Standard Model (SM) that has been widely used. However, in clinically applicable acquisition protocols, the inverse problem that recovers th…
▽ More
Computational models of biophysical tissue properties have been widely used in diffusion MRI (dMRI) research to elucidate the link between microstructural properties and MR signal formation. For brain tissue, the research community has developed the so-called Standard Model (SM) that has been widely used. However, in clinically applicable acquisition protocols, the inverse problem that recovers the SM parameters from a set of MR diffusion measurements using pairs of short pulsed field gradients was shown to be ill-posed. Multidimensional dMRI was shown to solve this problem by combining linear and planar tensor encoding data. Given sufficient measurements, multiple choices of b-tensor sets provide enough information to estimate all SM parameters. However, in the presence of noise, some sets will provide better results. In this work, we develop a framework for optimal experimental design of multidimensional dMRI sequences applicable to the SM. This framework is based on maximising the determinant of the Fisher information matrix, which is averaged over the full SM parameter space. This averaging provides a fairly objective information metric tailored for the expected signal but that only depends on the acquisition configuration. The optimisation of this metric can be further restricted to any subclass of desirable design constraints like, for instance, hardware-specific constraints. In this work, we compute the optimal acquisitions over the set of all b-tensors with fixed eigenvectors.
△ Less
Submitted 13 July, 2019;
originally announced July 2019.
-
Double Diffusion Encoding Prevents Degeneracy in Parameter Estimation of Biophysical Models in Diffusion MRI
Authors:
Santiago Coelho,
Jose M. Pozo,
Sune N. Jespersen,
Derek K. Jones,
Alejandro F. Frangi
Abstract:
Purpose: Biophysical tissue models are increasingly used in the interpretation of diffusion MRI (dMRI) data, with the potential to provide specific biomarkers of brain microstructural changes. However, the general Standard Model has recently shown that model parameter estimation from dMRI data is ill-posed unless very strong magnetic gradients are used. We analyse this issue for the Neurite Orient…
▽ More
Purpose: Biophysical tissue models are increasingly used in the interpretation of diffusion MRI (dMRI) data, with the potential to provide specific biomarkers of brain microstructural changes. However, the general Standard Model has recently shown that model parameter estimation from dMRI data is ill-posed unless very strong magnetic gradients are used. We analyse this issue for the Neurite Orientation Dispersion and Density Imaging with Diffusivity Assessment (NODDIDA) model and demonstrate that its extension from Single Diffusion Encoding (SDE) to Double Diffusion Encoding (DDE) solves the ill-posedness and increases the accuracy of the parameter estimation. Methods: We analyse theoretically the cumulant expansion up to fourth order in b of SDE and DDE signals. Additionally, we perform in silico experiments to compare SDE and DDE capabilities under similar noise conditions. Results: We prove analytically that DDE provides invariant information non-accessible from SDE, which makes the NODDIDA parameter estimation injective. The in silico experiments show that DDE reduces the bias and mean square error of the estimation along the whole feasible region of 5D model parameter space. Conclusions: DDE adds additional information for estimating the model parameters, unexplored by SDE, which is enough to solve the degeneracy in the NODDIDA model parameter estimation.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
Ten simple rules for measuring the impact of workshops
Authors:
Shoaib Sufi,
Beth Duckles,
Iveta Simera,
Terhi Nurmikko-Fuller,
Louisa Bellis,
Wadud Miah,
Adriana Wilde,
Aleksandra Nenadic,
Raniere Silva,
Jennifer A. de Beyer,
Caroline Struthers,
Iain Emsley,
Olivier Philippe,
Melissa Balzano,
Sara Coelho,
Heather Ford,
Catherine Jones,
Vanessa Higgins
Abstract:
Workshops are used to explore a specific topic, transfer knowledge, solve identified problems or create something new. In funded research projects and other research endeavours, workshops are the mechanism to gather the wider project, community or interested people together around a particular topic. However, natural questions arise: how do we measure the impact of these workshops? Do we know whet…
▽ More
Workshops are used to explore a specific topic, transfer knowledge, solve identified problems or create something new. In funded research projects and other research endeavours, workshops are the mechanism to gather the wider project, community or interested people together around a particular topic. However, natural questions arise: how do we measure the impact of these workshops? Do we know whether they are meeting the goals and objectives we set for them? What indicators should we use? In response to these questions, this paper will outline rules that will improve the measurement of the impact of workshops.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Hexapartite entanglement in an above-threshold Optical Parametric Oscillator
Authors:
F. A. S. Barbosa,
A. S. Coelho,
L. F. Muñoz Martínez,
L. Ortiz-Gutiérrez,
A. S. Villar,
P. Nussenzveig,
M. Martinelli
Abstract:
We demonstrate, theoretically and experimentally, the generation of hexapartite modal entanglement by the optical parametric oscillator (OPO) operating above the oscillation threshold. We show that the OPO generates a rich structure of entanglement among sets of six optical sideband modes interacting through the non-linear crystal. The class of quantum states thus produced can be controlled by a s…
▽ More
We demonstrate, theoretically and experimentally, the generation of hexapartite modal entanglement by the optical parametric oscillator (OPO) operating above the oscillation threshold. We show that the OPO generates a rich structure of entanglement among sets of six optical sideband modes interacting through the non-linear crystal. The class of quantum states thus produced can be controlled by a single parameter, the power of the external laser that pumps the system. Our platform allows for the generation of massive entanglement among many optical modes with well defined but vastly different frequencies, potentially bridging nodes of a multicolor quantum network.
△ Less
Submitted 28 June, 2018; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Exploring six modes of an optical parametric oscillator
Authors:
Luis F. Muñoz-Martínez,
Felippe Alexandre Silva Barbosa,
Antônio Sales Coelho,
Luis Ortiz-Gutiérrez,
Marcelo Martinelli,
Paulo Nussenzveig,
Alessandro S. Villar
Abstract:
We measure the complete quantum state for six modes of the electromagnetic field produced by an optical parametric oscillator. The investigation involves the sideband of the intense pump, signal, and idler fields generated by stimulated parametric downconversion inside a triply resonant optical resonator. We develop a theoretical model to successfully interpret the experimental results. The model…
▽ More
We measure the complete quantum state for six modes of the electromagnetic field produced by an optical parametric oscillator. The investigation involves the sideband of the intense pump, signal, and idler fields generated by stimulated parametric downconversion inside a triply resonant optical resonator. We develop a theoretical model to successfully interpret the experimental results. The model takes into account the coupling of the field modes to the phonon bath of the nonlinear crystal, clearly showing the roles of different physical effects in sha** the structure of the quantum correlations between the six optical modes.
△ Less
Submitted 20 February, 2018; v1 submitted 8 October, 2017;
originally announced October 2017.
-
TANKER: Distributed Architecture for Named Entity Recognition and Disambiguation
Authors:
Sandro A. Coelho,
Diego Moussallem,
Gustavo C. Publio,
Diego Esteves
Abstract:
Named Entity Recognition and Disambiguation (NERD) systems have recently been widely researched to deal with the significant growth of the Web. NERD systems are crucial for several Natural Language Processing (NLP) tasks such as summarization, understanding, and machine translation. However, there is no standard interface specification, i.e. these systems may vary significantly either for exportin…
▽ More
Named Entity Recognition and Disambiguation (NERD) systems have recently been widely researched to deal with the significant growth of the Web. NERD systems are crucial for several Natural Language Processing (NLP) tasks such as summarization, understanding, and machine translation. However, there is no standard interface specification, i.e. these systems may vary significantly either for exporting their outputs or for processing the inputs. Thus, when a given company desires to implement more than one NERD system, the process is quite exhaustive and prone to failure. In addition, industrial solutions demand critical requirements, e.g., large-scale processing, completeness, versatility, and licenses. Commonly, these requirements impose a limitation, making good NERD models to be ignored by companies. This paper presents TANKER, a distributed architecture which aims to overcome scalability, reliability and failure tolerance limitations related to industrial needs by combining NERD systems. To this end, TANKER relies on a micro-services oriented architecture, which enables agile development and delivery of complex enterprise applications. In addition, TANKER provides a standardized API which makes possible to combine several NERD systems at once.
△ Less
Submitted 25 October, 2017; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Measurement-induced strong Kerr nonlinearity for weak quantum states of light
Authors:
Luca S. Costanzo,
Antonio S. Coelho,
Nicola Biagi,
Jaromír Fiurášek,
Marco Bellini,
Alessandro Zavatta
Abstract:
Strong nonlinearity at the single photon level represents a crucial enabling tool for optical quantum technologies. Here we report on experimental implementation of a strong Kerr nonlinearity by measurement-induced quantum operations on weak quantum states of light. Our scheme coherently combines two sequences of single photon addition and subtraction to induce a nonlinear phase shift at the singl…
▽ More
Strong nonlinearity at the single photon level represents a crucial enabling tool for optical quantum technologies. Here we report on experimental implementation of a strong Kerr nonlinearity by measurement-induced quantum operations on weak quantum states of light. Our scheme coherently combines two sequences of single photon addition and subtraction to induce a nonlinear phase shift at the single photon level. We probe the induced nonlinearity with weak coherent states and characterize the output non-Gaussian states with quantum state tomography. The strong nonlinearity is clearly witnessed as a change of sign of specific off-diagonal density matrix elements in Fock basis.
△ Less
Submitted 21 June, 2017;
originally announced June 2017.
-
On Gallai's and Hajós' Conjectures for graphs with treewidth at most 3
Authors:
Fábio Botler,
Maycon Sambinelli,
Rafael S. Coelho,
Orlando Lee
Abstract:
A path (resp. cycle) decomposition of a graph $G$ is a set of edge-disjoint paths (resp. cycles) of $G$ that covers the edge set of $G$. Gallai (1966) conjectured that every graph on $n$ vertices admits a path decomposition of size at most $\lfloor (n+1)/2\rfloor$, and Hajós (1968) conjectured that every Eulerian graph on $n$ vertices admits a cycle decomposition of size at most…
▽ More
A path (resp. cycle) decomposition of a graph $G$ is a set of edge-disjoint paths (resp. cycles) of $G$ that covers the edge set of $G$. Gallai (1966) conjectured that every graph on $n$ vertices admits a path decomposition of size at most $\lfloor (n+1)/2\rfloor$, and Hajós (1968) conjectured that every Eulerian graph on $n$ vertices admits a cycle decomposition of size at most $\lfloor (n-1)/2\rfloor$. Gallai's Conjecture was verified for many classes of graphs. In particular, Lovász (1968) verified this conjecture for graphs with at most one vertex of even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex of odd degree. Hajós' Conjecture, on the other hand, was verified only for graphs with maximum degree $4$ and for planar graphs. In this paper, we verify Gallai's and Hajós' Conjectures for graphs with treewidth at most $3$. Moreover, we show that the only graphs with treewidth at most $3$ that do not admit a path decomposition of size at most $\lfloor n/2\rfloor$ are isomorphic to $K_3$ or $K_5-e$. Finally, we use the technique developed in this paper to present new proofs for Gallai's and Hajós' Conjectures for graphs with maximum degree at most $4$, and for planar graphs with girth at least $6$.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
Radiation from a D-dimensional collision of shock waves: Two dimensional reduction and Carter-Penrose diagram
Authors:
Flávio S. Coelho,
Marco O. P. Sampaio
Abstract:
We analyse the causal structure of the two dimensional (2D) reduced background used in the perturbative treatment of a head-on collision of two $D$-dimensional Aichelburg-Sexl gravitational shock waves. After defining all causal boundaries, namely the future light-cone of the collision and the past light-cone of a future observer, we obtain characteristic coordinates using two independent methods.…
▽ More
We analyse the causal structure of the two dimensional (2D) reduced background used in the perturbative treatment of a head-on collision of two $D$-dimensional Aichelburg-Sexl gravitational shock waves. After defining all causal boundaries, namely the future light-cone of the collision and the past light-cone of a future observer, we obtain characteristic coordinates using two independent methods. The first is a geometrical construction of the null rays which define the various light cones, using a parametric representation. The second is a transformation of the 2D reduced wave operator for the problem into a hyperbolic form. The characteristic coordinates are then compactified allowing us to represent all causal light rays in a conformal Carter-Penrose diagram. Our construction holds to all orders in perturbation theory. In particular, we can easily identify the singularities of the source functions and of the Green's functions appearing in the perturbative expansion, at each order, which is crucial for a successful numerical evaluation of any higher order corrections using this method.
△ Less
Submitted 7 April, 2016;
originally announced April 2016.
-
Phase coherent resonator detection as a complete quantum measurement of the two-mode spectral quantum state of light
Authors:
F. A. S. Barbosa,
A. S. Coelho,
K. N. Cassemiro,
M. Martinelli,
P. Nussenzveig,
A. S. Villar
Abstract:
The introduction of phase coherence in the detection of quantum noise of light yields a pure quantum measurement of spectral modes. We theoretically show that such coherent quantum measurement performed with the technique of resonator detection (RD) is able to access any direction in the two-mode phase space of spectral sidebands under appropriate conditions, thus furnishing a complete measurement…
▽ More
The introduction of phase coherence in the detection of quantum noise of light yields a pure quantum measurement of spectral modes. We theoretically show that such coherent quantum measurement performed with the technique of resonator detection (RD) is able to access any direction in the two-mode phase space of spectral sidebands under appropriate conditions, thus furnishing a complete measurement of the four-dimensional Wigner function. We obtain a realistic measurement operator for coherent RD by including the effects of imperfect resonator mode matching in our analysis. Moreover, we experimentally demonstrate the realization of phase coherent RD to characterize a two-mode displaced quantum state.
△ Less
Submitted 18 December, 2015;
originally announced December 2015.
-
Zero-area single photon pulses
Authors:
L. S. Costanzo,
A. S. Coelho,
D. Pellegrino,
M. S. Mendes,
L. Acioli,
K. N. Cassemiro,
D. Felinto,
A. Zavatta,
M. Bellini
Abstract:
Broadband single photons are usually considered not to couple efficiently to atomic gases because of the large mismatch in bandwidth. Contrary to this intuitive picture, here we demonstrate that the interaction of ultrashort single photons with a dense resonant atomic sample deeply modifies the temporal shape of their wavepacket mode without degrading their non-classical character, and effectively…
▽ More
Broadband single photons are usually considered not to couple efficiently to atomic gases because of the large mismatch in bandwidth. Contrary to this intuitive picture, here we demonstrate that the interaction of ultrashort single photons with a dense resonant atomic sample deeply modifies the temporal shape of their wavepacket mode without degrading their non-classical character, and effectively generates zero-area single-photon pulses. This is a clear signature of strong transient coupling between single broadband (THz-level) light quanta and atoms, with intriguing fundamental implications and possible new applications to the storage of quantum information.
△ Less
Submitted 1 June, 2015;
originally announced June 2015.
-
The origin of defects induced in ultra-pure germanium by Electron Beam Deposition
Authors:
Sergio M. M. Coelho,
Juan F. R. Archilla,
F. Danie Auret,
Jackie M. Nel
Abstract:
The creation of point defects in the crystal lattices of various semiconductors by subthreshold events has been reported on by a number of groups. These observations have been made in great detail using sensitive electrical techniques but there is still much that needs to be clarified. Experiments using Ge and Si were performed that demonstrate that energetic particles, the products of collisions…
▽ More
The creation of point defects in the crystal lattices of various semiconductors by subthreshold events has been reported on by a number of groups. These observations have been made in great detail using sensitive electrical techniques but there is still much that needs to be clarified. Experiments using Ge and Si were performed that demonstrate that energetic particles, the products of collisions in the electron beam, were responsible for the majority of electron-beam deposition (EBD) induced defects in a two-step energy transfer process. Lowering the number of collisions of these energetic particles with the semiconductor during metal deposition was accomplished using a combination of static shields and superior vacuum resulting in devices with defect concentrations lower than $ 10^{11}\,$cm$^{-3}$, the measurement limit of our deep level transient spectroscopy (DLTS) system. High energy electrons and photons that samples are typically exposed to were not influenced by the shields as most of these particles originate at the metal target thus eliminating these particles as possible damage causing agents. It remains unclear how packets of energy that can sometimes be as small of 2eV travel up to a $μ$m into the material while still retaining enough energy, that is, in the order of 1eV, to cause changes in the crystal. The manipulation of this defect causing phenomenon may hold the key to develo** defect free material for future applications.
△ Less
Submitted 16 May, 2015;
originally announced May 2015.
-
Radiation from a $D$-dimensional collision of gravitational shock waves
Authors:
Flávio S. Coelho
Abstract:
Classically, if two highly boosted particles collide head-on, a black hole is expected to form whose mass may be inferred from the gravitational radiation emitted during the collision. If this occurs at trans-Planckian energies, it should be well described by general relativity. Furthermore, if there exist hidden extra dimensions, the fundamental Planck mass may well be of the order of the TeV and…
▽ More
Classically, if two highly boosted particles collide head-on, a black hole is expected to form whose mass may be inferred from the gravitational radiation emitted during the collision. If this occurs at trans-Planckian energies, it should be well described by general relativity. Furthermore, if there exist hidden extra dimensions, the fundamental Planck mass may well be of the order of the TeV and thus achievable with current or future particle accelerators. By modeling the colliding particles as Aichelburg-Sexl shock waves on a flat, $D$-dimensional background, we devise a perturbative framework to compute the space-time metric in the future of the collision. Then, a generalisation of Bondi's formalism is employed to extract the gravitational radiation and compute the inelasticity of the collision: the percentage of the initial centre-of-mass energy that is radiated away. Using the axial symmetry of the problem, we show that this information is encoded in a single function of the transverse metric components - the news function. We then unveil a hidden conformal symmetry which exists at each order in perturbation theory and thus makes the problem effectively two-dimensional. Moreover, it allows for the factorisation of the angular dependence of the news function, i.e. the radiation pattern at null infinity, and clarifies the correspondence between the perturbative series of the metric and an angular expansion off the collision axis. The first-order estimate, or isotropic term, is computed analytically and yields a remarkable simple formula for the inelasticity for any $D$. Higher-order terms, however, require the use of a computer for numerical integration. We study the integration domain and compute, numerically, the Green's functions and the sources, thus paving the way for the computation of the inelasticity in a future work.
△ Less
Submitted 8 May, 2015;
originally announced May 2015.
-
Analyzing the Gaussian character of the spectral quantum state of light via quantum noise measurements
Authors:
A. S. Coelho,
F. A. S. Barbosa,
K. N. Cassemiro,
M. Martinelli,
A. S. Villar,
P. Nussenzveig
Abstract:
Gaussian quantum states hold special importance in the continuous variable (CV) regime. In quantum information science, the understanding and characterization of central resources such as entanglement may strongly rely on the knowledge of the Gaussian or non-Gaussian character of the quantum state. However, the quantum measurement associated with the spectral photocurrent of light modes consists o…
▽ More
Gaussian quantum states hold special importance in the continuous variable (CV) regime. In quantum information science, the understanding and characterization of central resources such as entanglement may strongly rely on the knowledge of the Gaussian or non-Gaussian character of the quantum state. However, the quantum measurement associated with the spectral photocurrent of light modes consists of a mixture of quadrature observables. Within the framework of two recent papers [Phys. Rev. A 88, 052113 (2013) and Phys. Rev. Lett. 111, 200402 (2013)], we address here how the statistics of the spectral photocurrent relates to the character of the Wigner function describing those modes. We show that a Gaussian state can be misidentified as non-Gaussian and vice-versa, a conclusion that forces the adoption of tacit \textit{a priori} assumptions to perform quantum state reconstruction. We experimentally analyze the light beams generated by the optical parametric oscillator (OPO) operating above threshold to show that the data strongly supports the generation of Gaussian states of the field, validating the use of necessary and sufficient criteria to characterize entanglement in this system.
△ Less
Submitted 5 February, 2015;
originally announced February 2015.
-
Testing General Relativity with Present and Future Astrophysical Observations
Authors:
Emanuele Berti,
Enrico Barausse,
Vitor Cardoso,
Leonardo Gualtieri,
Paolo Pani,
Ulrich Sperhake,
Leo C. Stein,
Norbert Wex,
Kent Yagi,
Tessa Baker,
C. P. Burgess,
Flávio S. Coelho,
Daniela Doneva,
Antonio De Felice,
Pedro G. Ferreira,
Paulo C. C. Freire,
James Healy,
Carlos Herdeiro,
Michael Horbatsch,
Burkhard Kleihaus,
Antoine Klein,
Kostas Kokkotas,
Jutta Kunz,
Pablo Laguna,
Ryan N. Lang
, et al. (28 additional authors not shown)
Abstract:
One century after its formulation, Einstein's general relativity has made remarkable predictions and turned out to be compatible with all experimental tests. Most of these tests probe the theory in the weak-field regime, and there are theoretical and experimental reasons to believe that general relativity should be modified when gravitational fields are strong and spacetime curvature is large. The…
▽ More
One century after its formulation, Einstein's general relativity has made remarkable predictions and turned out to be compatible with all experimental tests. Most of these tests probe the theory in the weak-field regime, and there are theoretical and experimental reasons to believe that general relativity should be modified when gravitational fields are strong and spacetime curvature is large. The best astrophysical laboratories to probe strong-field gravity are black holes and neutron stars, whether isolated or in binary systems. We review the motivations to consider extensions of general relativity. We present a (necessarily incomplete) catalog of modified theories of gravity for which strong-field predictions have been computed and contrasted to Einstein's theory, and we summarize our current understanding of the structure and dynamics of compact objects in these theories. We discuss current bounds on modified gravity from binary pulsar and cosmological observations, and we highlight the potential of future gravitational wave measurements to inform us on the behavior of gravity in the strong-field regime.
△ Less
Submitted 1 December, 2015; v1 submitted 28 January, 2015;
originally announced January 2015.
-
Radiation from a $D$-dimensional collision of shock waves: proof of first order formula and angular factorisation at all orders
Authors:
Flávio S. Coelho,
Carlos Herdeiro,
Marco O. P. Sampaio
Abstract:
In two previous papers we have computed the inelasticity $ε$ in a head-on collision of two $D$-dimensional Aichelburg-Sexl shock waves, using perturbation theory to calculate the geometry in the future light-cone of the collision. The first order result, obtained as an accurate numerical fit, yielded the remarkably simple formula $ε_{\rm 1st\, order} = 1/2 - 1/D$. Here we show, analytically, that…
▽ More
In two previous papers we have computed the inelasticity $ε$ in a head-on collision of two $D$-dimensional Aichelburg-Sexl shock waves, using perturbation theory to calculate the geometry in the future light-cone of the collision. The first order result, obtained as an accurate numerical fit, yielded the remarkably simple formula $ε_{\rm 1st\, order} = 1/2 - 1/D$. Here we show, analytically, that this result is exact in first order perturbation theory. Moreover, we clarify the relation between perturbation theory and an angular series of the inelasticity's angular power around the symmetry axis of the collision $(θ= 0,π)$. To establish these results, firstly, we show that at null infinity the angular dependence factorises order by order in perturbation theory, as a result of a hidden symmetry. Secondly, we show that a consistent truncation of the angular series in powers of $\sin^2 θ$ at some order $O(n)$ requires knowledge of the metric perturbations up to $O(n+1)$. In particular, this justifies the isotropy assumption used in first order perturbation theory. We then compute, analytically, all terms that contribute to the inelasticity and depend linearly on the initial conditions (surface terms), including second order contributions.
△ Less
Submitted 3 October, 2014;
originally announced October 2014.
-
Universal state orthogonalizer and qubit generator
Authors:
Antonio S. Coelho,
Luca S. Costanzo,
Alessandro Zavatta,
Catherine Hughes,
M. S. Kim,
Marco Bellini
Abstract:
The superposition principle is at the heart of quantum mechanics and at the root of many paradoxes arising when trying to extend its predictions to our everyday world. Schroedinger's cat is the prototype of such paradoxes and here, in contrast to many others, we choose to investigate it from the operational point of view. We experimentally demonstrate a universal strategy for producing an unambigu…
▽ More
The superposition principle is at the heart of quantum mechanics and at the root of many paradoxes arising when trying to extend its predictions to our everyday world. Schroedinger's cat is the prototype of such paradoxes and here, in contrast to many others, we choose to investigate it from the operational point of view. We experimentally demonstrate a universal strategy for producing an unambiguously distinguishable type of superposition, that of an arbitrary pure state and its orthogonal. It relies on only a limited amount of information about the input state to first generate its orthogonal one. Then, a simple change in the experimental parameters is used to produce arbitrary superpositions of the mutually orthogonal states. Constituting a sort of Schroedinger's black box, able to turn a whole zoo of input states into coherent superpositions, our scheme can produce arbitrary continuous-variable optical qubits, which may prove practical for implementing quantum technologies and measurement tasks.
△ Less
Submitted 24 July, 2014;
originally announced July 2014.
-
Experimental observation of moving intrinsic localized modes in germanium
Authors:
J. F. R. Archilla,
S. M. M. Coelho,
F. D. Auret,
C. Nyamhere,
V. I. Dubinko,
V. Hizhnyakov
Abstract:
Deep level transient spectroscopy shows that defects created by alpha irradiation of germanium are annealed by low energy plasma ions up to a depth of several thousand lattice units. The plasma ions have energies of 2-8eV and therefore can deliver energies of the order of a few eV to the germanium atoms. The most abundant defect is identified as the E-center, a complex of the dopant antimony and a…
▽ More
Deep level transient spectroscopy shows that defects created by alpha irradiation of germanium are annealed by low energy plasma ions up to a depth of several thousand lattice units. The plasma ions have energies of 2-8eV and therefore can deliver energies of the order of a few eV to the germanium atoms. The most abundant defect is identified as the E-center, a complex of the dopant antimony and a vacancy with and annealing energy of 1.3eV as determined by our measurements. The inductively coupled plasma has a very low density and a very low flux of ions. This implies that the ion impacts are almost isolated both in time and at the surface of the semiconductor. We conclude that energy of the order of an eV is able to travel a large distance in germanium in a localized way and is delivered to the defects effectively. The most likely candidates are vibrational nonlinear wave packets known as intrinsic localized modes, which exist for a limited range of energies. This property is coherent with the fact that more energetic ions are less efficient at producing the annealing effect.
△ Less
Submitted 13 May, 2015; v1 submitted 18 November, 2013;
originally announced November 2013.
-
Quantum state reconstruction of spectral field modes: homodyne and resonator detection schemes
Authors:
Felippe A. S. Barbosa,
Antonio S. Coelho,
Katiuscia N. Cassemiro,
Paulo Nussenzveig,
Claude Fabre,
Alessandro S. Villar,
Marcelo Martinelli
Abstract:
We revisit the problem of quantum state reconstruction of light beams from the photocurrent quantum noise. As is well-known, but often overlooked, two longitudinal field modes contribute to each spectral component of the photocurrent (sideband modes). We show that spectral homodyne detection is intrinsically incapable of providing all the information needed for the full reconstruction of the two-m…
▽ More
We revisit the problem of quantum state reconstruction of light beams from the photocurrent quantum noise. As is well-known, but often overlooked, two longitudinal field modes contribute to each spectral component of the photocurrent (sideband modes). We show that spectral homodyne detection is intrinsically incapable of providing all the information needed for the full reconstruction of the two-mode spectral quantum state. Such a limitation is overcome by the technique of resonator detection. A detailed theoretical description and comparison of both methods is presented, as well as an experiment to measure the six-mode quantum state of pump-signal-idler beams of an optical parametric oscillator above the oscillation threshold.
△ Less
Submitted 21 November, 2013; v1 submitted 9 October, 2013;
originally announced October 2013.
-
Beyond spectral homodyne detection: complete quantum measurement of spectral modes of light
Authors:
Felippe A. S. Barbosa,
Antonio S. Coelho,
Katiuscia N. Cassemiro,
Paulo Nussenzveig,
Claude Fabre,
Marcelo Martinelli,
Alessandro S. Villar
Abstract:
Spectral homodyne detection, a widely used technique for measuring quantum properties of light beams, cannot retrieve all the information needed to reconstruct the quantum state of spectral field modes. We show that full quantum state reconstruction can be achieved with the alternative measurement technique of resonator detection. We experimentally demonstrate this difference by engineering a quan…
▽ More
Spectral homodyne detection, a widely used technique for measuring quantum properties of light beams, cannot retrieve all the information needed to reconstruct the quantum state of spectral field modes. We show that full quantum state reconstruction can be achieved with the alternative measurement technique of resonator detection. We experimentally demonstrate this difference by engineering a quantum state with features that go undetected by homodyne detection but are clearly revealed by resonator detection.
△ Less
Submitted 21 November, 2013; v1 submitted 26 August, 2013;
originally announced August 2013.
-
PPN expansion and FRW scalar perturbations in n-DBI gravity
Authors:
Flávio S. Coelho,
Carlos Herdeiro,
Shinji Hirano,
Yuki Sato
Abstract:
n-DBI gravity explicitly breaks Lorentz invariance by the introduction of a unit time-like vector field, thereby giving rise to an extra (scalar) degree of freedom. We look for observational consequences of this mode in two setups. Firstly, we compute the parametrized post-Newtonian (PPN) expansion of the metric to first post-Newtonian order. Surprisingly, we find that the PPN parameters are exact…
▽ More
n-DBI gravity explicitly breaks Lorentz invariance by the introduction of a unit time-like vector field, thereby giving rise to an extra (scalar) degree of freedom. We look for observational consequences of this mode in two setups. Firstly, we compute the parametrized post-Newtonian (PPN) expansion of the metric to first post-Newtonian order. Surprisingly, we find that the PPN parameters are exactly the same as in General Relativity (GR), and no preferred-frame effects are produced. In particular this means that n-DBI gravity is consistent with all GR solar system experimental tests. We discuss the origin of such degeneracy between n-DBI gravity and GR, and suggest it may also hold in higher post-Newtonian order. Secondly, we study gravitational scalar perturbations of a Friedmann-Robertson-Walker space-time with a cosmological constant $Λ\geq 0$. In the case of de Sitter space, we show that the scalar mode grows as the universe expands and, in contrast with a canonical scalar field coupled to GR, it does not freeze on super horizon scales.
△ Less
Submitted 29 September, 2014; v1 submitted 17 July, 2013;
originally announced July 2013.
-
n-DBI Gravity in a nutshell
Authors:
Flavio S. Coelho,
Carlos Herdeiro,
Shinji Hirano,
Yuki Sato
Abstract:
We present a new model of gravity which explicitly breaks Lorentz-invariance by the introduction of a unit time-like vector field, thereby giving rise to an extra (scalar) degree of freedom. We discuss its cosmology, exact solutions and the dynamics of the scalar mode. We show that it predicts inflation without an inflaton and admits the black hole solutions of General Relativity (GR). We argue th…
▽ More
We present a new model of gravity which explicitly breaks Lorentz-invariance by the introduction of a unit time-like vector field, thereby giving rise to an extra (scalar) degree of freedom. We discuss its cosmology, exact solutions and the dynamics of the scalar mode. We show that it predicts inflation without an inflaton and admits the black hole solutions of General Relativity (GR). We argue that the scalar mode is well behaved and contains none of the pathologies previously found in similar models.
△ Less
Submitted 17 January, 2013;
originally announced January 2013.
-
Single photon-added coherent states: estimation of parameters and fidelity of the optical homodyne detection
Authors:
S. N. Filippov,
V. I. Man'ko,
A. S. Coelho,
A. Zavatta,
M. Bellini
Abstract:
Travelling modes of single-photon-added coherent states (SPACS) are characterized via optical homodyne tomography. Given a set of experimentally measured quadrature distributions, we estimate parameters of the state and also extract information about the detector efficiency. The method used is a minimal distance estimation between theoretical and experimental quantities, which additionally allows…
▽ More
Travelling modes of single-photon-added coherent states (SPACS) are characterized via optical homodyne tomography. Given a set of experimentally measured quadrature distributions, we estimate parameters of the state and also extract information about the detector efficiency. The method used is a minimal distance estimation between theoretical and experimental quantities, which additionally allows to evaluate the precision of estimated parameters. Given experimental data, we also estimate the lower and upper bounds on fidelity. The results are believed to encourage preciser engineering and detection of SPACS.
△ Less
Submitted 10 January, 2013;
originally announced January 2013.
-
Radiation from a D-dimensional collision of shock waves: an insight allowed by the D parameter
Authors:
F. S. Coelho,
C. Herdeiro,
C. Rebelo,
M. O. P. Sampaio
Abstract:
We consider the radiation emitted in a collision of shock waves, in D-dimensional General Relativity (GR), and describe a remarkably simple pattern, hinting at a more fundamental structure, unveiled by the introduction of the parameter D.
We consider the radiation emitted in a collision of shock waves, in D-dimensional General Relativity (GR), and describe a remarkably simple pattern, hinting at a more fundamental structure, unveiled by the introduction of the parameter D.
△ Less
Submitted 6 January, 2013;
originally announced January 2013.
-
n-DBI gravity, maximal slicing and the Kerr geometry
Authors:
Flavio S. Coelho,
Carlos Herdeiro,
Mengjie Wang
Abstract:
Recently, in arXiv:1110.0832, we have established that solutions of Einstein's gravity admitting foliations with a certain geometric condition are also solutions of n-DBI gravity, arXiv:1109.1468. Here we observe that, in vacuum, the required geometric condition is fulfilled by the well known maximal slicing, often used in numerical relativity. As a corollary, we establish that the Kerr geometry i…
▽ More
Recently, in arXiv:1110.0832, we have established that solutions of Einstein's gravity admitting foliations with a certain geometric condition are also solutions of n-DBI gravity, arXiv:1109.1468. Here we observe that, in vacuum, the required geometric condition is fulfilled by the well known maximal slicing, often used in numerical relativity. As a corollary, we establish that the Kerr geometry is a solution of n-DBI gravity in the foliation adapted to Boyer-Lindquist coordinates.
△ Less
Submitted 6 January, 2013;
originally announced January 2013.