Showing 51–100 of 128 results for author: Barbosa, L

The Cylinder Theorem in ${\cal H}^2\times R$

Authors: João Lucas Marques Barbosa, Manfredo Perdigão do Carmo

Abstract: We consider cylinders in ${\cal H}^2\times R$ (see definitions in the introduction) and prove that a complete and connected surface in ${\cal H}^2\times R$ with the vanishing of the Gauss and extrinsic curvatures is a cylinder. We consider cylinders in ${\cal H}^2\times R$ (see definitions in the introduction) and prove that a complete and connected surface in ${\cal H}^2\times R$ with the vanishing of the Gauss and extrinsic curvatures is a cylinder. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: 12 pages

MSC Class: 53C21; 53C40

Tunable ${\cal χ/PT}$ Symmetry in Noisy Graphene

Authors: E. Frade Silva, A. L. R. Barbosa, M. S. Hussein, J. G. G. S. Ramos

Abstract: We investigate the resonant regime of a mesoscopic cavity made of graphene or a doped beam splitter. Using Non-Hermitian Quantum Mechanics, we consider the Bender-Boettcher assumption that a system must obey parity and time reversal symmetry. Therefore, we describe such system by coupling chirality, parity and time reversal symmetries through the scattering matrix formalism and apply it in the sho… ▽ More We investigate the resonant regime of a mesoscopic cavity made of graphene or a doped beam splitter. Using Non-Hermitian Quantum Mechanics, we consider the Bender-Boettcher assumption that a system must obey parity and time reversal symmetry. Therefore, we describe such system by coupling chirality, parity and time reversal symmetries through the scattering matrix formalism and apply it in the shot noise functions, also derived here. Finally we show how to achieve the resonant regime only by setting properly the parameters concerning the chirality and the PT symmetry. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Comments: 8 pages, 7 figures

Spin-to-Charge Conversion in 2D Electron Gas and Single-layer Graphene Devices

Authors: J. G. G. S. Ramos, T. C. Vasconcelos, A. L. R. Barbosa

Abstract: We investigate the spin-to-charge conversion emerging from a mesoscopic device connected to multiple terminals. We obtain analytical expressions to the characteristic coefficient of spin-to-charge conversion which are applied in two kinds of ballistic chaotic quantum dots at low temperature. We perform analytical diagrammatic calculations in the universal regime for two-dimensional electron gas an… ▽ More We investigate the spin-to-charge conversion emerging from a mesoscopic device connected to multiple terminals. We obtain analytical expressions to the characteristic coefficient of spin-to-charge conversion which are applied in two kinds of ballistic chaotic quantum dots at low temperature. We perform analytical diagrammatic calculations in the universal regime for two-dimensional electron gas and single-layer graphene with strong spin-orbit interaction in the universal regime. Furthermore, our analytical results are confirmed by numerical simulations. Finally, we connect our analytical finds to recent experimental measures giving a conceptual explanation about the apparent discrepancies between them. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: Accepted for publication in the Journal of Applied Physics

Journal ref: Journal of Applied Physics 123, 034304 (2018);

Entanglement Distribution Statistic in Andreev Billiards

Authors: J. G. G. S. Ramos, A. F. Macedo-Junior, A. L. R. Barbosa

Abstract: We investigate statistical aspects of the entanglement production for open chaotic mesoscopic billiards in contact with superconducting parts, known as Andreev billiards. The complete distributions of concurrence and entanglement of formation are obtained by using the Altland-Zirnbauer symmetry classes of circular ensembles of scattering matrices, which complements previous studies in chaotic univ… ▽ More We investigate statistical aspects of the entanglement production for open chaotic mesoscopic billiards in contact with superconducting parts, known as Andreev billiards. The complete distributions of concurrence and entanglement of formation are obtained by using the Altland-Zirnbauer symmetry classes of circular ensembles of scattering matrices, which complements previous studies in chaotic universal billiards belonging to other classes of random matrix theory. Our results show a unique and very peculiar behavior: the realization of entanglement in a Andreev billiard always results in non-separable state, regardless of the time reversal symmetry. The analytical calculations are supported by a numerical Monte Carlo simulation. △ Less

Submitted 2 November, 2017; originally announced November 2017.

Comments: 6 pages, 4 figues, Accepted to be published

Journal ref: The European Physical Journal B, 2017

Tuning the Fano factor of graphene via Fermi velocity modulation

Authors: Jonas R. F. Lima, Anderson L. R. Barbosa, C. G. Bezerra, Luiz Felipe C. Pereira

Abstract: In this work we investigate the influence of a Fermi velocity modulation on the Fano factor of periodic and quasi-periodic graphene superlattices. We consider the continuum model and use the transfer matrix method to solve the Dirac-like equation for graphene where the electrostatic potential, energy gap and Fermi velocity are piecewise constant functions of the position x. We found that in the pr… ▽ More In this work we investigate the influence of a Fermi velocity modulation on the Fano factor of periodic and quasi-periodic graphene superlattices. We consider the continuum model and use the transfer matrix method to solve the Dirac-like equation for graphene where the electrostatic potential, energy gap and Fermi velocity are piecewise constant functions of the position x. We found that in the presence of an energy gap, it is possible to tune the energy of the Fano factor peak and consequently the location of the Dirac point, by a modulations in the Fermi velocity. Hence, the peak of the Fano factor can be used experimentally to identify the Dirac point. We show that for higher values of the Fermi velocity the Fano factor goes below 1/3 in the Dirac point. Furthermore, we show that in periodic superlattices the location of Fano factor peaks is symmetric when the Fermi velocity $v_A$ and $v_B$ is exchanged, however by introducing quasi-periodicity the symmetry is lost. The Fano factor usually holds a universal value for a specific transport regime, which reveals that the possibility of controlling it in graphene is a notable result. △ Less

Submitted 30 October, 2017; originally announced October 2017.

Comments: 7 pages, 8 figures. Accepted for publication in Physica E: Low-dimensional Systems and Nanostructures

Methodology and Results for the Competition on Semantic Similarity Evaluation and Entailment Recognition for PROPOR 2016

Authors: Luciano Barbosa, Paulo R. Cavalin, Victor Guimaraes, Matthias Kormaksson

Abstract: In this paper, we present the methodology and the results obtained by our teams, dubbed Blue Man Group, in the ASSIN (from the Portuguese {\it Avaliação de Similaridade Semântica e Inferência Textual}) competition, held at PROPOR 2016\footnote{International Conference on the Computational Processing of the Portuguese Language - http://propor2016.di.fc.ul.pt/}. Our team's strategy consisted of eval… ▽ More In this paper, we present the methodology and the results obtained by our teams, dubbed Blue Man Group, in the ASSIN (from the Portuguese {\it Avaliação de Similaridade Semântica e Inferência Textual}) competition, held at PROPOR 2016\footnote{International Conference on the Computational Processing of the Portuguese Language - http://propor2016.di.fc.ul.pt/}. Our team's strategy consisted of evaluating methods based on semantic word vectors, following two distinct directions: 1) to make use of low-dimensional, compact, feature sets, and 2) deep learning-based strategies dealing with high-dimensional feature vectors. Evaluation results demonstrated that the first strategy was more promising, so that the results from the second strategy have been discarded. As a result, by considering the best run of each of the six teams, we have been able to achieve the best accuracy and F1 values in entailment recognition, in the Brazilian Portuguese set, and the best F1 score overall. In the semantic similarity task, our team was ranked second in the Brazilian Portuguese set, and third considering both sets. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: Original submission in English, further translated to Portuguese and publised at Linguamatica

A Human-Checkable Four-Color Theorem Proof

Authors: André Luiz Barbosa

Abstract: This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are presented in the Introduction. This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are presented in the Introduction. △ Less

Submitted 1 November, 2019; v1 submitted 6 June, 2017; originally announced August 2017.

Comments: 26 pages, 43 figures, 5 tables and 1 new great idea!

MSC Class: 05C10 (Primary); 05C15 (Secondary)

Parity and Time Reversal Symmetry in Hanbury Brown-Twiss Effect

Authors: E. R. Silva, A. L. R. Barbosa, J. G. G. S. Ramos

Abstract: The current manuscript employs the parity and time reversal symmetry in the Hanbury Brown-Twiss experiment. For this purpose, we develop a general scattering matrix framework founded on the concatenation of many individual compounded scattering processes on the setup. In this way, we derive the general scattering matrix of a parity and time reversal symmetric Hanbury Brown-Twiss experiment (HBT-PT… ▽ More The current manuscript employs the parity and time reversal symmetry in the Hanbury Brown-Twiss experiment. For this purpose, we develop a general scattering matrix framework founded on the concatenation of many individual compounded scattering processes on the setup. In this way, we derive the general scattering matrix of a parity and time reversal symmetric Hanbury Brown-Twiss experiment (HBT-PT). Within such scattering formulation, we propose a theoretical framework which provides how to measure the symmetry of the system through the correlation function of a pair of particles transmitted through the leads. The correlation function naturally reveal the quantum statistics of both bosons and fermions and demonstrate a very preponderant role of PT symmetry on the HBT experiment. We indicate the formation of both quantum and classical universal Turing machine depending on controllable parameters of the apparatus. △ Less

Submitted 15 February, 2017; originally announced February 2017.

Comments: 3 figures

Journal ref: E. F. Silva et al 2017 EPL 117 14001

Asymmetric combination of logics is functorial: A survey

Authors: Renato Neves, Alexandre Madeira, Luis S. Barbosa, Manuel A. Martins

Abstract: Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective - that this sort of combination of logics possesses a functorial nature. S… ▽ More Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective - that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations. △ Less

Submitted 8 May, 2017; v1 submitted 13 November, 2016; originally announced November 2016.

An Enhanced Model for Stochastic Coordination

Authors: Nuno Oliveira, Luis Soares Barbosa

Abstract: Applications developed over the cloud coordinate several, often anonymous, computational resources, distributed over different execution nodes, within flexible architectures. Coordination models able to represent quantitative data provide a powerful basis for their analysis and validation. This paper extends IMCreo, a semantic model for Stochastic reo based on interactive Markov chains, to enhance… ▽ More Applications developed over the cloud coordinate several, often anonymous, computational resources, distributed over different execution nodes, within flexible architectures. Coordination models able to represent quantitative data provide a powerful basis for their analysis and validation. This paper extends IMCreo, a semantic model for Stochastic reo based on interactive Markov chains, to enhance its scalability, by regarding each channel and node, as well as interface components, as independent stochastic processes that may (or may not) synchronise with the rest of the coordination circuit. △ Less

Submitted 26 October, 2016; originally announced October 2016.

Comments: In Proceedings iFMCloud 2016, arXiv:1610.07700

Journal ref: EPTCS 228, 2016, pp. 35-45

Pooling Hybrid Representations for Web Structured Data Annotation

Authors: Luciano Barbosa, Breno W. Carvalho, Bianca Zadrozny

Abstract: Automatically identifying data types of web structured data is a key step in the process of web data integration. Web structured data is usually associated with entities or objects in a particular domain. In this paper, we aim to map attributes of an entity in a given domain to pre-specified classes of attributes in the same domain based on their values. To perform this task, we propose a hybrid d… ▽ More Automatically identifying data types of web structured data is a key step in the process of web data integration. Web structured data is usually associated with entities or objects in a particular domain. In this paper, we aim to map attributes of an entity in a given domain to pre-specified classes of attributes in the same domain based on their values. To perform this task, we propose a hybrid deep learning network that relies on the format of the attributes' values. It does so without any pre-processing or using pre-defined hand-crafted features. The hybrid network combines sequence-based neural networks, namely convolutional neural networks (CNN) and recurrent neural networks (RNN), to learn the sequence structure of attributes' values. The CNN captures short-distance dependencies in these sequences through a sliding window approach, and the RNN captures long-distance dependencies by storing information of previous characters. These networks create different vector representations of the input sequence which are combined using a pooling layer. This layer applies a specific operation on these vectors in order to capture their most useful patterns for the task. Finally, on top of the pooling layer, a softmax function predicts the label of a given attribute value. We evaluate our strategy in four different web domains. The results show that the pooling network outperforms previous approaches, which use some kind of input pre-processing, in all domains. △ Less

Submitted 3 October, 2016; originally announced October 2016.

Time-Reversal Symmetry Breaking and Decoherence in Chaotic Dirac Billiards

Authors: A. J. Nascimento Júnior, M. S. M. Barros, J. G. G. S. Ramos, A. L. R. Barbosa

Abstract: In this work, we perform a statistical study on Dirac Billiards in the extreme quantum limit (a single open channel on the leads). Our numerical analysis uses a large ensemble of random matrices and demonstrates the preponderant role of dephasing mechanisms in such chaotic billiards. Physical implementations of these billiards range from quantum dots of graphene to topological insulators structure… ▽ More In this work, we perform a statistical study on Dirac Billiards in the extreme quantum limit (a single open channel on the leads). Our numerical analysis uses a large ensemble of random matrices and demonstrates the preponderant role of dephasing mechanisms in such chaotic billiards. Physical implementations of these billiards range from quantum dots of graphene to topological insulators structures. We show, in particular, that the role of finite crossover fields between the universal symmetries quickly leaves the conductance to the asymptotic limit of unitary ensembles. Furthermore, we show that the dephasing mechanisms strikingly lead Dirac billiards from the extreme quantum regime to the semiclassical Gaussian regime. △ Less

Submitted 21 September, 2016; originally announced September 2016.

Journal ref: Eur. Phys. J. B (2016) 89: 194

Infusing Collaborative Recommenders with Distributed Representations

Authors: Greg Zanotti, Miller Horvath, Lucas Nunes Barbosa, Venkata Trinadh Kumar Gupta Immedisetty, Jonathan Gemmell

Abstract: Recommender systems assist users in navigating complex information spaces and focus their attention on the content most relevant to their needs. Often these systems rely on user activity or descriptions of the content. Social annotation systems, in which users collaboratively assign tags to items, provide another means to capture information about users and items. Each of these data sources provid… ▽ More Recommender systems assist users in navigating complex information spaces and focus their attention on the content most relevant to their needs. Often these systems rely on user activity or descriptions of the content. Social annotation systems, in which users collaboratively assign tags to items, provide another means to capture information about users and items. Each of these data sources provides unique benefits, capturing different relationships. In this paper, we propose leveraging multiple sources of data: ratings data as users report their affinity toward an item, tagging data as users assign annotations to items, and item data collected from an online database. Taken together, these datasets provide the opportunity to learn rich distributed representations by exploiting recent advances in neural network architectures. We first produce representations that subjectively capture interesting relationships among the data. We then empirically evaluate the utility of the representations to predict a user's rating on an item and show that it outperforms more traditional representations. Finally, we demonstrate that traditional representations can be combined with representations trained through a neural network to achieve even better results. △ Less

Submitted 22 August, 2016; originally announced August 2016.

Mid Infrared View of the High Mass Star Formation Region W51A

Authors: Cassio L. Barbosa, Robert D. Blum, Augusto Damineli, Peter S. Conti, Danilo M. Gusmão

Abstract: In this paper we present the results of a mid infrared study of G49.5-0.4, or W51A, part of the massive starbirth complex W51. Combining public data from the $Spitzer$ IRAC camera, and Gemini mid infrared camera T-ReCS at 7.73, 9.69, 12.33 and 24.56 \micron, with spatial resolution of $\sim$0.5\arcsec, we have identified the mid infrared counterparts of 8 ultracompact HII regions, showing that two… ▽ More In this paper we present the results of a mid infrared study of G49.5-0.4, or W51A, part of the massive starbirth complex W51. Combining public data from the $Spitzer$ IRAC camera, and Gemini mid infrared camera T-ReCS at 7.73, 9.69, 12.33 and 24.56 \micron, with spatial resolution of $\sim$0.5\arcsec, we have identified the mid infrared counterparts of 8 ultracompact HII regions, showing that two radio sources are deeply embedded in molecular clouds and another is a cloud of ionized gas. From the T-ReCS data we have unveiled the central core of W51 region, revealing massive young stellar candidates. We modeled the spectral energy distribution of the detected sources suggesting the embedded objects are sources with spectral types ranging from B3 to O5, but the majority of the fits indicate stellar objects with B1 spectral types. We also present an extinction map of IRS~2, showing that a region with lower extinction corresponds to the region where a proposed jet of gas has impacted the foreground cloud. From this map, we also derived the total extinction towards the enigmatic source IRS~2E, which amounts to $\sim$60 magnitudes in the $V$ band. We calculated the color temperature due to thermal emission of the circumstellar dust of the detected sources; the temperatures are in the interval of $\sim$100 -- 150 K, which corresponds to the emission of dust located at 0.1 pc from the central source. Finally, we show a possible mid infrared counterpart of a detected source at mm wavelengths that was found by \cite{zap08,zap09} to be a massive young stellar object undergoing a high accretion rate. △ Less

Submitted 10 June, 2016; originally announced June 2016.

Comments: 42 pag, 9 fig. accepted by ApJ

A logic for n-dimensional hierarchical refinement

Authors: Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa

Abstract: Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states into inner sub-states, and of their transitions into inner sub-transitions is common refinement procedure adopted in a number of specification formalis… ▽ More Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states into inner sub-states, and of their transitions into inner sub-transitions is common refinement procedure adopted in a number of specification formalisms. This paper introduces a hybrid modal logic for k-layered transition systems, its first-order standard translation, a notion of bisimulation, and a modal invariance result. Layered and hierarchical notions of refinement are also discussed in this setting. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Comments: In Proceedings Refine'15, arXiv:1606.01344

ACM Class: F.4; F.3.1

Journal ref: EPTCS 209, 2016, pp. 40-56

Elastically driven, intermittent microscopic dynamics in soft solids

Authors: Mehdi Bouzid, Jader Colombo, Lucas Vieira Barbosa, Emanuela Del Gado

Abstract: Soft solids with tunable mechanical response are at the core of new material technologies, but a crucial limit for applications is their progressive aging over time, which dramatically affects their functionalities. The generally accepted paradigm is that such aging is gradual and its origin is in slower than exponential microscopic dynamics, akin to the ones in supercooled liquids or glasses. Nev… ▽ More Soft solids with tunable mechanical response are at the core of new material technologies, but a crucial limit for applications is their progressive aging over time, which dramatically affects their functionalities. The generally accepted paradigm is that such aging is gradual and its origin is in slower than exponential microscopic dynamics, akin to the ones in supercooled liquids or glasses. Nevertheless, time- and space-resolved measurements have provided contrasting evidence: dynamics faster than exponential, intermittency, and abrupt structural changes. Here we use 3D computer simulations of a microscopic model to reveal that the timescales governing stress relaxation respectively through thermal fluctuations and elastic recovery are key for the aging dynamics. When thermal fluctuations are too weak, stress heterogeneities frozen-in upon solidification can still partially relax through elastically driven fluctuations. Such fluctuations are intermittent, because of strong correlations that persist over the timescale of experiments or simulations, leading to faster than exponential dynamics. △ Less

Submitted 27 April, 2017; v1 submitted 30 May, 2016; originally announced May 2016.

Comments: 7 pages, Supplementary Information included

Universal Spin Hall Conductance Fluctuations in Chaotic Dirac Quantum Dots

Authors: T. C. Vasconcelos, J. G. G. S. Ramos, A. L. R. Barbosa

Abstract: We present complete analytical and numerical results that demonstrate the anomalous universal fluctuations of the spin-Hall conductance in chiral materials such as graphene and topological insulators. We investigated both the corresponding fluctuations, the Universal Fractionated and the Universal Quantized, and also the open channels orbital number crossover between the two regimes. In particular… ▽ More We present complete analytical and numerical results that demonstrate the anomalous universal fluctuations of the spin-Hall conductance in chiral materials such as graphene and topological insulators. We investigated both the corresponding fluctuations, the Universal Fractionated and the Universal Quantized, and also the open channels orbital number crossover between the two regimes. In particular, we show that the Wigner-Dyson symmetries does not properly describe such conductances and the preponderant role of the chiral classes on the Dirac quantum dots. The results are analytical and solve outstanding issues. △ Less

Submitted 1 March, 2016; originally announced March 2016.

Comments: 5 pages, 3 figures. Accepted to be published - Physical Review B (2016)

Journal ref: Phys. Rev. B 93, 115120 (2016)

Fluctuation Phenomena in Chaotic Dirac Quantum Dots: Artificial Atoms on Graphene Flakes

Authors: J. G. G. S. Ramos, M. S. Hussein, A. L. R. Barbosa

Abstract: We develop the stub model for the Dirac Quantum Dot, an electron confining device on a grapheme surface. Analytical results for the average conductance and the correlation functions are obtained and found in agreement with those found previously using semiclassical calculation. Comparison with available data are presented. The results reported here demonstrate the applicability of Random Matrix Th… ▽ More We develop the stub model for the Dirac Quantum Dot, an electron confining device on a grapheme surface. Analytical results for the average conductance and the correlation functions are obtained and found in agreement with those found previously using semiclassical calculation. Comparison with available data are presented. The results reported here demonstrate the applicability of Random Matrix Theory in the case of Dirac electrons confined in a stadium. △ Less

Submitted 2 October, 2015; originally announced October 2015.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. B 93, 125136 (2016)

Correlation functions and correlation widths in Quantum-Chaotic Scattering for mesoscopic systems and nuclei

Authors: J. G. G. S. Ramos, A. L. R. Barbosa, B. V. Carlson, T. Frederico, M. S. Hussein

Abstract: We derive analytical expressions for the correlation functions of the electronic conductance fluctuations of an open quantum dot under several conditions. Both the variation of energy and that of an external parameter such as an applied perpendicular or parallel magnetic fields are considered in the general case of partial openness.. These expressions are then used to obtain the ensemble averaged… ▽ More We derive analytical expressions for the correlation functions of the electronic conductance fluctuations of an open quantum dot under several conditions. Both the variation of energy and that of an external parameter such as an applied perpendicular or parallel magnetic fields are considered in the general case of partial openness.. These expressions are then used to obtain the ensemble averaged density of maxima, a measure recently suggested to contain invaluable information concerning the chaoticity of the system. The correlation width is then calculated for the case of energy variation and a significant deviation from the Weisskopf estimate is found in the case of two terminals. The results are extended to more than two terminals. All our results are analytical.The use of these results in other fields, such as nuclei, where the system can only be studied through a variation of the energy, is then discussed. △ Less

Submitted 6 October, 2015; v1 submitted 5 August, 2015; originally announced August 2015.

Comments: 6 pages, 2 figures, changes made include the inclusion of a second figure

Journal ref: Phys. Rev. E 93, 012210 (2016)

Continuity as a computational effect

Authors: Renato Neves, Luis S. Barbosa, Dirk Hofmann, Manuel A. Martins

Abstract: The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of contin… ▽ More The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of continuous behaviour as (yet another) computational effect. This paper introduces such an encoding through a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by the 1+, powerset, and distribution monads in the characterisation of partial, non deterministic and probabilistic components, respectively. This monad and its Kleisli category provide a setting in which the effects of continuity over (different forms of) composition can be suitably studied. △ Less

Submitted 1 August, 2016; v1 submitted 12 July, 2015; originally announced July 2015.

Comments: Journal of Logical and Algebraic Methods in Programming, 2016

A Survey of Extended H$_2$ Emission from Massive YSOs

Authors: Felipe Navarete, Augusto Damineli, Cassio L. Barbosa, Robert D. Blum

Abstract: We present the results from a survey, designed to investigate the accretion process of massive young stellar objects (MYSOs) through near infrared narrow band imaging using the H$_2$ $ν$=1-0 S(1) transition filter. A sample of 353 Massive Young Stellar Object (MYSO) candidates was selected from the Red MSX Source survey using photometric criteria at longer wavelengths (infrared and submillimeter)… ▽ More We present the results from a survey, designed to investigate the accretion process of massive young stellar objects (MYSOs) through near infrared narrow band imaging using the H$_2$ $ν$=1-0 S(1) transition filter. A sample of 353 Massive Young Stellar Object (MYSO) candidates was selected from the Red MSX Source survey using photometric criteria at longer wavelengths (infrared and submillimeter) and chosen with positions throughout the Galactic Plane. Our survey was carried out at the SOAR Telescope in Chile and CFHT in Hawaii covering both hemispheres. The data reveal that extended H$_2$ emission is a good tracer of outflow activity, which is a signpost of accretion process on young massive stars. Almost half of the sample exhibit extended H$_2$ emission and 74 sources (21\%) have polar morphology, suggesting collimated outflows. The polar-like structures are more likely to appear on radio-quiet sources, indicating these structures occur during the pre-UCHII phase. We also found an important fraction of sources associated with fluorescent H$_2$ diffuse emission that could be due to a more evolved phase. The images also indicate only $\sim$23\% (80) of the sample is associated with extant (young) stellar clusters. These results support the scenario in which massive stars are formed by accretion disks, since the merging of low mass stars would not produce outflow structures. △ Less

Submitted 23 April, 2015; originally announced April 2015.

Comments: to appear on MNRAS. 18 pages, 86 figures and supplementary data available at CDS

Backward Renormalization Priors and the Cortical Source Localization Problem with EEG or MEG

Authors: Leonardo S. Barbosa, Nestor Caticha

Abstract: We study source localization from high dimensional M/EEG data by extending a multiscale method based on Entropic inference devised to increase the spatial resolution of inverse problems. This method is used to construct informative prior distributions in a manner inspired in the context of fMRI (Amaral et al 2004). We construct a set of renormalized lattices that approximate the cortex region wher… ▽ More We study source localization from high dimensional M/EEG data by extending a multiscale method based on Entropic inference devised to increase the spatial resolution of inverse problems. This method is used to construct informative prior distributions in a manner inspired in the context of fMRI (Amaral et al 2004). We construct a set of renormalized lattices that approximate the cortex region where the source activity is located and address the related problem of defining the relevant variables in a coarser scale representation of the cortex. The priors can be used in conjunction with other Bayesian methods such as the Variational Bayes method (VB, Sato et al 2004). The central point of the algorithm is that it uses a posterior obtained at a coarse scale to induce a prior at the next finer scale stage of the problem. We present results which suggest, on simulated data, that this way of including prior information is a useful aid for the source location problem. This is judged by the rate and magnitude of errors in source localization. Better convergence times are also achieved. We also present results on public data collected during a face recognition task. △ Less

Submitted 11 February, 2015; originally announced February 2015.

Anomalous Entanglement in Chaotic Dirac Billiards

Authors: J. G. G. S. Ramos, I. M. L. da Silva, A. L. R. Barbosa

Abstract: We present analytical and numerical results that demonstrate the presence of anomalous entanglement behavior on the Dirac Billiards. We investigate the statistical distribution of the characteristic entangled measures, focusing on the mean, on the variance and on the quantum interference terms. We show a quite distinct behavior of the Dirac Billiard compared with the non-relativist (Schrodinger) o… ▽ More We present analytical and numerical results that demonstrate the presence of anomalous entanglement behavior on the Dirac Billiards. We investigate the statistical distribution of the characteristic entangled measures, focusing on the mean, on the variance and on the quantum interference terms. We show a quite distinct behavior of the Dirac Billiard compared with the non-relativist (Schrodinger) ones. Particularly, we show a very plausible Bell state and a sharp amplitude of quantum interference term on entangled electrons left from the Dirac Billiards. The results have remarkable relevance to the novel quantum dots build of materials like graphene or topological insulators. △ Less

Submitted 22 January, 2015; originally announced January 2015.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. B 90 (2014) 245107

The Dead Cryptographers Society Problem

Authors: André Luiz Barbosa

Abstract: This paper defines The Dead Cryptographers Society Problem - DCS (where several great cryptographers created many polynomial-time Deterministic Turing Machines (DTMs) of a specific type, ran them on their proper descriptions concatenated with some arbitrary strings, deleted them and left only the results from those running, after they died: if those DTMs only permute and sometimes invert the bits… ▽ More This paper defines The Dead Cryptographers Society Problem - DCS (where several great cryptographers created many polynomial-time Deterministic Turing Machines (DTMs) of a specific type, ran them on their proper descriptions concatenated with some arbitrary strings, deleted them and left only the results from those running, after they died: if those DTMs only permute and sometimes invert the bits on input, is it possible to decide the language formed by such resulting strings within polynomial time?), proves some facts about its computational complexity, and discusses some possible uses on Cryptography, such as into distance keys distribution, online reverse auction and secure communication. △ Less

Submitted 21 December, 2018; v1 submitted 15 January, 2015; originally announced January 2015.

Comments: 7 pages, 2 tables, 1 JavaScript code and some great new ideas on Cryptography!

MSC Class: 94A60 (Primary); 94A62 (Secondary)

Bus Travel Time Predictions Using Additive Models

Authors: Matthias Kormaksson, Luciano Barbosa, Marcos R. Vieira, Bianca Zadrozny

Abstract: Many factors can affect the predictability of public bus services such as traffic, weather and local events. Other aspects, such as day of week or hour of day, may influence bus travel times as well, either directly or in conjunction with other variables. However, the exact nature of such relationships between travel times and predictor variables is, in most situations, not known. In this paper we… ▽ More Many factors can affect the predictability of public bus services such as traffic, weather and local events. Other aspects, such as day of week or hour of day, may influence bus travel times as well, either directly or in conjunction with other variables. However, the exact nature of such relationships between travel times and predictor variables is, in most situations, not known. In this paper we develop a framework that allows for flexible modeling of bus travel times through the use of Additive Models. In particular, we model travel times as a sum of linear as well as nonlinear terms that are modeled as smooth functions of predictor variables. The proposed class of models provides a principled statistical framework that is highly flexible in terms of model building. The experimental results demonstrate uniformly superior performance of our best model as compared to previous prediction methods when applied to a very large GPS data set obtained from buses operating in the city of Rio de Janeiro. △ Less

Submitted 28 November, 2014; originally announced November 2014.

Comments: 11 pages, this is the technical report supporting the IEEE 2014 International Conference on Data Mining (ICDM) submission with the same title

Universal Braess paradox in open quantum dots

Authors: A. L. R. Barbosa, D. Bazeia, J. G. G. S. Ramos

Abstract: We present analytical and numerical results that demonstrate the presence of the Braess paradox in chaotic quantum dots. The paradox that we identify, originally perceived in classical networks, shows that the addition of more capacity to the network can suppress the current flow in the universal regime. We investigate the weak localization term, showing that it presents the paradox encoded in a s… ▽ More We present analytical and numerical results that demonstrate the presence of the Braess paradox in chaotic quantum dots. The paradox that we identify, originally perceived in classical networks, shows that the addition of more capacity to the network can suppress the current flow in the universal regime. We investigate the weak localization term, showing that it presents the paradox encoded in a saturation minimum of the conductance, under the presence of hyperflow in the external leads. In addition, we demonstrate that the weak localization suffers a transition signal depending on the overcapacity lead and presents an echo on the magnetic crossover before going to zero due to the full time-reversal symmetry breaking.We also show that the quantum interference contribution can dominate the Ohm term in the presence of constrictions and that the corresponding Fano factor engenders an anomalous behavior △ Less

Submitted 28 October, 2014; originally announced October 2014.

Comments: 5 pages, 5 figures

Journal ref: Phys. Rev. E 90 (2014) 042915

Globally subanalytic CMC surfaces in $\mathbb{R}^3$

Authors: João Lucas M. Barbosa, Lev Birbrair, Manfredo P. do Carmo, Alexandre Fernandes

Abstract: We prove that globally subanalytic nonsingular CMC surfaces of $\mathbb{R}^3$ are only planes, round spheres or right circular cylinders We prove that globally subanalytic nonsingular CMC surfaces of $\mathbb{R}^3$ are only planes, round spheres or right circular cylinders △ Less

Submitted 4 May, 2014; originally announced May 2014.

Comments: 6 pages

MSC Class: 53C42; 53A10

On regular algebraic surfaces of $R^3$ with constant mean curvature

Authors: João Lucas Marques Barbosa, Manfredo Perdigão do Carmo

Abstract: We consider regular surfaces $M$ that are given as the zeros of a polynomial function $p:R^3\rightarrow R$, where the gradient of $p$ vanishes nowhere. We assume that $M$ has non-zero mean curvature and prove that there exist only two examples of such surfaces, namely the sphere and the circular cylinder. We consider regular surfaces $M$ that are given as the zeros of a polynomial function $p:R^3\rightarrow R$, where the gradient of $p$ vanishes nowhere. We assume that $M$ has non-zero mean curvature and prove that there exist only two examples of such surfaces, namely the sphere and the circular cylinder. △ Less

Submitted 27 March, 2014; originally announced March 2014.

MSC Class: 53C42

The role of logical interpretations in program development

Authors: Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa

Abstract: Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by… ▽ More Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by logical interpretations as a means to witness refinements. The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. This allows, for example, refining sentential into equational specifications and the latter into modal ones. △ Less

Submitted 29 January, 2014; v1 submitted 27 November, 2013; originally announced November 2013.

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 1 (January 3, 2014) lmcs:706

Planetary Transits with the ALMA Radio Interferometer

Authors: Caius L. Selhorst, Cassio L. Barbosa, Adriana Válio

Abstract: Planetary transits are commonly observed at visible wavelengths. Here we investigate the shape of a planetary transit observed at radio wavelengths. Solar maps of the Sun at 17 GHz are used as a proxy for the stellar eclipse by several sizes of planets from Super-Earths to Hot Jupiters. The relative depth at mid transit is the same as observed at visible wavelengths, but the limb brightening of th… ▽ More Planetary transits are commonly observed at visible wavelengths. Here we investigate the shape of a planetary transit observed at radio wavelengths. Solar maps of the Sun at 17 GHz are used as a proxy for the stellar eclipse by several sizes of planets from Super-Earths to Hot Jupiters. The relative depth at mid transit is the same as observed at visible wavelengths, but the limb brightening of the stellar disk at 17 GHz is clearly seen in the shape of the transit light curve. Moreover, when the planet occults an active region the depth of the transit decreases even further, depending on the brightness of the active region relative to the surrounding disk. For intense active region, with 50 times the brightness temperature of the surrounding disk, the decrease can supersede the unperturbed transit depth depending on the size of the eclipsing planet. For a Super-Earth (R_p=0.02 R_s) crossing, the decrease in intensity is 0.04%, increasing to 0.86% in the case when a strong active region is present. On the other hand, for a hot Jupiter with R_p=0.17 R_s, the unperturbed transit depth is 3% increasing to 4.7% when covering this strong active region. This kind of behavior can be verified with observation of planetary transits with the ALMA radio interferometer. △ Less

Submitted 9 October, 2013; originally announced October 2013.

Comments: Accepted for publication in The Astrophysical Journal Letters

Anti-correlation for Conductance Fluctuations in Chaotic Quantum Dots

Authors: A. L. R. Barbosa, M. S. Hussein, J. G. G. S. Ramos

Abstract: We investigate the correlation functions of mesoscopic electronic transport in open chaotic quantum dots with finite tunnel barriers in the crossover between Wigner-Dyson ensembles. Using an analytical stub formalism, we show the emergence of a depletion/amplification of conductance fluctuations as a function of tunnel barriers, for both parametric variations of electron energy or magnetoconductan… ▽ More We investigate the correlation functions of mesoscopic electronic transport in open chaotic quantum dots with finite tunnel barriers in the crossover between Wigner-Dyson ensembles. Using an analytical stub formalism, we show the emergence of a depletion/amplification of conductance fluctuations as a function of tunnel barriers, for both parametric variations of electron energy or magnetoconductance fields. Furthermore, even for pure Dyson ensembles, correlation functions of conductance fluctuations in chaotic quantum dots can exhibit anti-correlation. Experimental support to our findings is pointed out. △ Less

Submitted 21 June, 2013; originally announced June 2013.

Comments: 5 pages, 4 figures. Accepted as Rapid Communication in Phys. Rev. E (2013)

Bisimilarity and refinement for hybrid(ised) logics

Authors: Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Abstract: The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is en- dowed… ▽ More The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is en- dowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of this sort of systems. Therefore, the quest for suitable notions of equivalence and refinement between models of hybrid logic specifications becomes fundamental to any design discipline adopting this perspective. This paper contributes to this effort from a distinctive point of view: instead of focussing on a specific hybrid logic, the paper introduces notions of bisimilarity and refinement for hybridised logics, i.e. standard specification logics (e.g. propositional, equational, fuzzy, etc) to which modal and hybrid features were added in a systematic way. △ Less

Submitted 27 May, 2013; originally announced May 2013.

Comments: In Proceedings Refine 2013, arXiv:1305.5634

Journal ref: EPTCS 115, 2013, pp. 84-98

Velocities: mean, average and instantaneous in uniform accelerated motion, some pedagogical comments

Authors: Paco Talero, Orlando Organista, Luis H. Barbosa

Abstract: The relation among instantaneous, mean and average velocities in one-dimensional motion with constant acceleration is studied. It was shown that the instant velocity evaluated in the time $t_{p}=\left(t_2+t_1\right)/2$ is similar to the mean and average velocities evaluated between the times $t_1$ and $t_2$. The reason for relations illustrated before were shown in detail. Also, the results obtain… ▽ More The relation among instantaneous, mean and average velocities in one-dimensional motion with constant acceleration is studied. It was shown that the instant velocity evaluated in the time $t_{p}=\left(t_2+t_1\right)/2$ is similar to the mean and average velocities evaluated between the times $t_1$ and $t_2$. The reason for relations illustrated before were shown in detail. Also, the results obtained were used to propose a pedagogical strategy in order to study the one-dimensional motion with constant acceleration as a natural extension of one-dimensional motion with constant velocity. △ Less

Submitted 27 March, 2013; originally announced March 2013.

Comments: 4 pages,2 figures. Submitted to Revista Brasileira de Ensino de Fisica, in Portuguese

ALPRS - A New Approach for License Plate Recognition using the Sift Algorithm

Authors: Francisco Assis da Silva, Almir Olivette Artero, Maria Stela Veludo de Paiva, Ricardo Luis Barbosa

Abstract: This paper presents a new approach for the automatic license plate recognition, which includes the SIFT algorithm in step to locate the plate in the input image. In this new approach, besides the comparison of the features obtained with the SIFT algorithm, the correspondence between the spatial orientations and the positioning associated with the keypoints is also observed. Afterwards, an algorith… ▽ More This paper presents a new approach for the automatic license plate recognition, which includes the SIFT algorithm in step to locate the plate in the input image. In this new approach, besides the comparison of the features obtained with the SIFT algorithm, the correspondence between the spatial orientations and the positioning associated with the keypoints is also observed. Afterwards, an algorithm is used for the character recognition of the plates, very fast, which makes it possible its application in real time. The results obtained with the proposed approach presented very good success rates, so much for locating the characters in the input image, as for their recognition. △ Less

Submitted 7 March, 2013; originally announced March 2013.

Journal ref: Signal & Image Processing : An International Journal (SIPIJ) Vol.4, No.1, February 2013

Generalized correlation functions for conductance fluctuations and the mesoscopic spin Hall effect

Authors: J. G. G. S. Ramos, A. L. R. Barbosa, D. Bazeia, M. S. Hussein, C. H. Lewenkopf

Abstract: We study the spin-Hall conductance fluctuations in ballistic mesoscopic systems. We obtain universal expressions for the spin and charge current fluctuations, cast in terms of current-current autocorrelation functions. We show that the latter are conveniently parametrized as deformed Lorentzian shape lines, functions of an external applied magnetic field and the Fermi energy. We find that the char… ▽ More We study the spin-Hall conductance fluctuations in ballistic mesoscopic systems. We obtain universal expressions for the spin and charge current fluctuations, cast in terms of current-current autocorrelation functions. We show that the latter are conveniently parametrized as deformed Lorentzian shape lines, functions of an external applied magnetic field and the Fermi energy. We find that the charge current fluctuations show quite unique statistical features at the symplectic-unitary crossover regime. Our findings are based on an evaluation of the generalized transmission coefficients correlation functions within the stub model and are amenable to experimental test. △ Less

Submitted 9 December, 2012; originally announced December 2012.

Comments: Accepted to be published - Physical Review B (PRB)

Journal ref: Phys. Rev. B 86, 235112 (2012)

Semi-quantitative diagram about temporal evolution in basic physics learning: a study with engineering students

Authors: Paco Talero, César Mora, Orlando Organista, Luis Barbosa

Abstract: We show a new semi-quantitative technique of analysis about of temporal evolution of learning of basic physics concepts. In this technique we arrange a geometric diagram with the score and the homogeneity (H-S), in this diagram we have a quantitative and qualitative information about the learning of students and the effectiveness instruction. We applied this technique to study the temporal evoluti… ▽ More We show a new semi-quantitative technique of analysis about of temporal evolution of learning of basic physics concepts. In this technique we arrange a geometric diagram with the score and the homogeneity (H-S), in this diagram we have a quantitative and qualitative information about the learning of students and the effectiveness instruction. We applied this technique to study the temporal evolution of the graphical interpretation of motion in one dimension through tutorials in a introductory course physics with 20 students of engineering at the Universidad Central de Bogotá Colombia for a period of 6 weeks. We found in the general diagram that (Smax,Hmax)=(0.75,0.75). △ Less

Submitted 27 October, 2012; originally announced October 2012.

Comments: 8 pages,6 figures. Submitted to Revista Brasileira de Ensino de Fíisica

Application of FCI at engineering students in Bogota: an interpretation of the answers through a random model of two levels

Authors: Paco Talero, Orlando Organista, Luis Barbosa

Abstract: We applied the FCI to 646 engineering students from Bogota when they began your first year physics, we found that the relative frequency of the number of correct answers has a random pattern of two levels, also we found that they don't have clear mental models about physical world. We applied the FCI to 646 engineering students from Bogota when they began your first year physics, we found that the relative frequency of the number of correct answers has a random pattern of two levels, also we found that they don't have clear mental models about physical world. △ Less

Submitted 26 October, 2012; originally announced October 2012.

Comments: 4 pages,3 figures. Submitted to Revista Brasileira de Ensino de Física

Spin Accumulation Encoded in Electronic Noise for Mesoscopic Billiards with Finite Tunneling Rates

Authors: J. G. G. S. Ramos, A. L. R. Barbosa, D. Bazeia, M. S. Hussein

Abstract: We study the effects of spin accumulation (inside reservoirs) on electronic transport with tunneling and reflections at the gates of a quantum dot. Within the stub model, the calculation focus on the current-current correlation function for the flux of electrons injected into the quantum dot. The linear response theory used allows to obtain the noise power in the regime of thermal crossover as a f… ▽ More We study the effects of spin accumulation (inside reservoirs) on electronic transport with tunneling and reflections at the gates of a quantum dot. Within the stub model, the calculation focus on the current-current correlation function for the flux of electrons injected into the quantum dot. The linear response theory used allows to obtain the noise power in the regime of thermal crossover as a function of parameters that reveal the spin polarization at the reservoirs. The calculation is performed employing diagrammatic integration within the universal groups (ensembles of Dyson) for a non-ideal, non-equilibrium chaotic quantum dot. We show that changes in the spin distribution determines significant alteration in noise behavior at values of the tunneling rates close to zero, in the regime of strong reflection at the gates. △ Less

Submitted 12 April, 2012; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: New version, 8 pages, 5 figures

Journal ref: Phys. Rev. B 85, 115123 (2012)

Presence of asymmetric noise in multi-terminal chaotic cavities

Authors: A. L. R. Barbosa, J. G. G. S. Ramos, D. Bazeia

Abstract: This work deals with chaotic quantum dot connected to two and four leads. We use standard diagrammatic procedure to integrate on the unitary group, to study the main term in the semiclassical expansion of the noise in the three pure Wigner-Dyson ensembles at finite frequency and temperature, in the noninteracting and interacting regimes. We investigate several limits, related to the temperature an… ▽ More This work deals with chaotic quantum dot connected to two and four leads. We use standard diagrammatic procedure to integrate on the unitary group, to study the main term in the semiclassical expansion of the noise in the three pure Wigner-Dyson ensembles at finite frequency and temperature, in the noninteracting and interacting regimes. We investigate several limits, related to the temperature and the potential difference in the leads, in the presence of a capacitive environment. At the thermal crossover regime, we obtain general expressions described in terms of parameters that can be controlled experimentally. As an interesting result, we show the appearance of asymmetries in the noise, controlled by the topology of the cavity and the number of open channels in the corresponding terminals. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 8 pages, 7 figures

Journal ref: Phys. Rev. B 84, 115312 (2011)

Refinement by interpretation in π-institutions

Authors: César Rodrigues, Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa

Abstract: The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to b… ▽ More The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions. △ Less

Submitted 21 June, 2011; originally announced June 2011.

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal ref: EPTCS 55, 2011, pp. 53-64

Crossover of thermal to shot noise in chaotic cavities

Authors: A. L. R. Barbosa, J. G. G. S. Ramos, D. Bazeia

Abstract: We study the crossover between thermal and shot-noise power in a chaotic quantum dot in the presence of non-ideal contacts at finite temperature. The result explicitly demonstrates that the temperature affect the suppression-amplification effect present in the main quantum noise. In particular, the weak localization contribution to the noise has an anomalous thermal behavior when one let the barri… ▽ More We study the crossover between thermal and shot-noise power in a chaotic quantum dot in the presence of non-ideal contacts at finite temperature. The result explicitly demonstrates that the temperature affect the suppression-amplification effect present in the main quantum noise. In particular, the weak localization contribution to the noise has an anomalous thermal behavior when one let the barriers vary, indicating the presence of a critical point related to specific value of the tunneling barriers. We also show how to get to the opaque limit of the quantum dot at finite temperature. △ Less

Submitted 21 February, 2011; originally announced February 2011.

Comments: 6 pages, 5 figures. To be published in Europhysics Letters

Journal ref: EPL 93 (2011) 67003

Spectrophotometric Distances to Galactic H\,{\sc{ii}} Regions

Authors: A. P. Moisés, A. Damineli, E. Figuerêdo, R. D. Blum, P. S. Conti, C. L. Barbosa

Abstract: We present a near infrared study of the stellar content of 35 H\,{\sc{ii}} regions in the Galactic plane. In this work, we have used the near infrared domain $J-$, $H-$ and $K_{s}-$ band color images to visually inspect the sample. Also, color-color and color-magnitude diagrams were used to indicate ionizing star candidates, as well as, the presence of young stellar objects such as classical TTaur… ▽ More We present a near infrared study of the stellar content of 35 H\,{\sc{ii}} regions in the Galactic plane. In this work, we have used the near infrared domain $J-$, $H-$ and $K_{s}-$ band color images to visually inspect the sample. Also, color-color and color-magnitude diagrams were used to indicate ionizing star candidates, as well as, the presence of young stellar objects such as classical TTauri Stars (CTTS) and massive young stellar objects (MYSOs). We have obtained {\it Spitzer} IRAC images for each region to help further characterize them. {\it Spitzer} and near infrared morphology to place each cluster in an evolutionary phase of development. {\it Spitzer} photometry was also used to classify the MYSOs. Comparison of the main sequence in color-magnitude diagrams to each observed cluster was used to infer whether or not the cluster kinematic distance is consistent with brightnesses of the stellar sources. We find qualitative agreement for a dozen of the regions, but about half the regions have near infrared photometry that suggests they may be closer than the kinematic distance. A significant fraction of these already have spectrophotometric parallaxes which support smaller distances. These discrepancies between kinematic and spectrophotometric distances are not due to the spectrophotometric methodologies, since independent non-kinematic measurements are in agreement with the spectrophotometric results. For instance, trigonometric parallaxes of star-forming regions were collected from the literature and show the same effect of smaller distances when compared to the kinematic results. In our sample of H\,{\sc{ii}} regions, most of the clusters are evident in the near infrared images. Finally, it is possible to distinguish among qualitative evolutionary stages for these objects. △ Less

Submitted 20 September, 2010; originally announced September 2010.

Comments: 59 pages, 146 figures and 4 tables. MNRAS accepted

Nanostructured Europium Oxide thin films deposited by pulsed laser ablation of a metallic target in a He buffer atmosphere

Authors: H. Luna, D. F. Franceschini, R. Prioli, R. B. Guimarães, C. M. Sanchez, G. P. Canal, M. D. L. Barbosa, R. M. O. Galvão

Abstract: Nanostrucured Europium oxide and hydroxide films were obtained by pulsed Nd:Yag (532 nm) laser ablation of an Europium metallic target, in the presence of a 1 mbar Helium buffer atmosphere. Both the produced film and the ambient plasma were characterized. The plasma was monitored by an electrostatic probe, for plume expansion in vacuum or in the presence of the buffer atmosphere. The time evolut… ▽ More Nanostrucured Europium oxide and hydroxide films were obtained by pulsed Nd:Yag (532 nm) laser ablation of an Europium metallic target, in the presence of a 1 mbar Helium buffer atmosphere. Both the produced film and the ambient plasma were characterized. The plasma was monitored by an electrostatic probe, for plume expansion in vacuum or in the presence of the buffer atmosphere. The time evolution of the ion saturation current was obtained for several probe to substrate distances. The results show the splitting of the plume into two velocity groups, being the lower velocity profile associated with metal cluster formation within the plume. The films were obtained in the presence of helium atmosphere, for several target to substrate distances. They were analyzed by Rutherford backscattering spectrometry (RBS), X-Ray Diffraction (XRD) and Atomic Force Microscopy, for samples as-deposited and treated at 600 degrees C in air. The results show that the as-deposited samples are amorphous and have chemical composition compatible with Europium hydroxide. The thermally treated samples show X-Ray diffraction peaks of Eu_2O_3, with chemical composition showing excess oxygen. Film nanostructuring was shown to be strongly correlated to cluster formation, as shown by velocity splitting in probe current versus time plots. △ Less

Submitted 18 March, 2010; v1 submitted 14 November, 2009; originally announced November 2009.

Comments: 7 pages, 11 figures, 31 references

Cost of material or information flow in complex transportation networks

Authors: L. A. Barbosa, J. K. L. da Silva

Abstract: To analyze the transport of information or material from a source to every node of a network we use two quantities introduced in the study of river networks: the cost and the flow. For a network with $K$ nodes and $M$ levels, we show that an upper bound to the global cost is $C_{0,max}\propto KM$. From numerical simulations for spanning tree networks with scale-free topology and with $10^2$ up t… ▽ More To analyze the transport of information or material from a source to every node of a network we use two quantities introduced in the study of river networks: the cost and the flow. For a network with $K$ nodes and $M$ levels, we show that an upper bound to the global cost is $C_{0,max}\propto KM$. From numerical simulations for spanning tree networks with scale-free topology and with $10^2$ up to $10^7$ nodes, it is found, for large $K$, that the average number of levels and the global cost are given by $M\propto \ln(K)$ and $C_0\propto K\ln (K)$, respectively. These results agree very well with the ones obtained from a mean-field approach. If the network is characterized by a degree distribution of connectivity $P(k)\propto k^{- γ}$, we also find that the transport efficiency increases as long as $γ$ decreases and that spanning tree networks with scale-free topology are more optimized to transfer information or material than random networks. △ Less

Submitted 31 August, 2009; originally announced September 2009.

Comments: 4 pages, 2 figures

P != NP Proof

Authors: André Luiz Barbosa

Abstract: This paper demonstrates that P \not= NP. The way was to generalize the traditional definitions of the classes P and NP, to construct an artificial problem (a generalization to SAT: The XG-SAT, much more difficult than the former) and then to demonstrate that it is in NP but not in P (where the classes P and NP are generalized and called too simply P and NP in this paper, and then it is explained w… ▽ More This paper demonstrates that P \not= NP. The way was to generalize the traditional definitions of the classes P and NP, to construct an artificial problem (a generalization to SAT: The XG-SAT, much more difficult than the former) and then to demonstrate that it is in NP but not in P (where the classes P and NP are generalized and called too simply P and NP in this paper, and then it is explained why the traditional classes P and NP should be fixed and replaced by these generalized ones into Theory of Computer Science). The demonstration consists of: 1. Definition of Restricted Type X Program; 2. Definition of the General Extended Problem of Satisfiability of a Boolean Formula - XG-SAT; 3. Generalization to classes P and NP; 4. Demonstration that the XG-SAT is in NP; 5. Demonstration that the XG-SAT is not in P; 6. Demonstration that the Baker-Gill-Solovay Theorem does not refute the proof; 7. Demonstration that the Razborov-Rudich Theorem does not refute the proof; 8. Demonstration that the Aaronson-Wigderson Theorem does not refute the proof. △ Less

Submitted 28 June, 2019; v1 submitted 22 July, 2009; originally announced July 2009.

Comments: 25 pages and 3 new great ideas!

MSC Class: 68Q15 (Primary); 68Q17 (Secondary)

Culture-area relation in Axelrod's model for culture dissemination

Authors: Lauro A. Barbosa, José F. Fontanari

Abstract: Axelrod's model for culture dissemination offers a nontrivial answer to the question of why there is cultural diversity given that people's beliefs have a tendency to become more similar to each other's as people interact repeatedly. The answer depends on the two control parameters of the model, namely, the number $F$ of cultural features that characterize each agent, and the number $q$ of trait… ▽ More Axelrod's model for culture dissemination offers a nontrivial answer to the question of why there is cultural diversity given that people's beliefs have a tendency to become more similar to each other's as people interact repeatedly. The answer depends on the two control parameters of the model, namely, the number $F$ of cultural features that characterize each agent, and the number $q$ of traits that each feature can take on, as well as on the size $A$ of the territory or, equivalently, on the number of interacting agents. Here we investigate the dependence of the number $C$ of distinct coexisting cultures on the area $A$ in Axelrod's model -- the culture-area relationship -- through extensive Monte Carlo simulations. We find a non-monotonous culture-area relation, for which the number of cultures decreases when the area grows beyond a certain size, provided that $q$ is smaller than a threshold value $q_c = q_c (F)$ and $F \geq 3$. In the limit of infinite area, this threshold value signals the onset of a discontinuous transition between a globalized regime marked by a uniform culture (C=1), and a completely polarized regime where all $C = q^F$ possible cultures coexist. Otherwise the culture-area relation exhibits the typical behavior of the species-area relation, i.e., a monotonically increasing curve the slope of which is steep at first and steadily levels off at some maximum diversity value. △ Less

Submitted 4 April, 2009; v1 submitted 8 February, 2009; originally announced February 2009.

Journal ref: Theor. Biosci. 128, 205 (2009)

Closed Weingarten hypersurfaces in warped product manifolds

Authors: F. Andrade, J. L. Barbosa, J. H. de Lira

Abstract: Given a compact Riemannian manifold $M$, we consider a warped product $\bar M = I \times_h M$ where $I$ is an open interval in $\Rr$. We suppose that the mean curvature of the fibers do not change sign. Given a positive differentiable function $ψ$ in $\bar M$, we find a closed hypersurface $Σ$ which is solution of an equation of the form $F(B)=ψ$, where $B$ is the second fundamental form of $Σ$… ▽ More Given a compact Riemannian manifold $M$, we consider a warped product $\bar M = I \times_h M$ where $I$ is an open interval in $\Rr$. We suppose that the mean curvature of the fibers do not change sign. Given a positive differentiable function $ψ$ in $\bar M$, we find a closed hypersurface $Σ$ which is solution of an equation of the form $F(B)=ψ$, where $B$ is the second fundamental form of $Σ$ and $F$ is a function satisfying certain structural properties. As examples, we may exhibit examples of hypersurfaces with prescribed higher order mean curvature. △ Less

Submitted 18 October, 2008; originally announced October 2008.

Comments: Paper accepted to publication in Indiana University Mathematics Journal

MSC Class: 53C42; 35J60

Near-infrared integral field spectroscopy of the Homunculus nebula around Eta Carinae using Gemini/CIRPASS

Authors: M. Teodoro, A. Damineli, R. G. Sharp, J. H. Groh, C. L. Barbosa

Abstract: This work presents the first integral field spectroscopy of the Homunculus nebula around Eta Carinae in the near-infrared spectral region (J band). We confirmed the presence of a hole on the polar region of each lobe, as indicated by previous near-IR long-slit spectra and mid-IR images. The holes can be described as a cylinder of height (i.e. the thickness of the lobe) and diameter of 6.5 and 6.… ▽ More This work presents the first integral field spectroscopy of the Homunculus nebula around Eta Carinae in the near-infrared spectral region (J band). We confirmed the presence of a hole on the polar region of each lobe, as indicated by previous near-IR long-slit spectra and mid-IR images. The holes can be described as a cylinder of height (i.e. the thickness of the lobe) and diameter of 6.5 and 6.0x10^{16} cm, respectively. We also mapped the blue-shifted component of He I 10830 seen towards the NW lobe. Contrary to previous works, we suggested that this blue-shifted component is not related to the Paddle but it is indeed in the equatorial disc. We confirmed the claim of Smith (2005) and showed that the spatial extent of the Little Homunculus matches remarkably well the radio continuum emission at 3 cm, indicating that the Little Homunculus can be regarded as a small HII region. Therefore, we used the optically-thin 1.3 mm radio flux to derive a lower limit for the number of Lyman-continuum photons of the central source in Eta Car. In the context of a binary system, and assuming that the ionising flux comes entirely from the hot companion star, the lower limit for its spectral type and luminosity class ranges from O5.5 III to O7 I. Moreover, we showed that the radio peak at 1.7 arcsec NW from the central star is in the same line-of-sight of the `Sr-filament' but they are obviously spatially separated, while the blue-shifted component of He I 10830 may be related to the radio peak and can be explained by the ultraviolet radiation from the companion star. △ Less

Submitted 7 April, 2008; v1 submitted 2 April, 2008; originally announced April 2008.

Comments: Accepted for publication on MNRAS (15 pages, 12 EPS figures). A version of this paper with high-resolution figures is available at ftp://www.astro.iag.usp.br/pub/mairan/homunc.pdf

High Spatial Resolution Spectroscopy of W51 IRS2E and IRS2W: Two Very Massive Young Stars in Early Formation Stages

Authors: C. L. Barbosa, R. D. Blum, P. S. Conti, A. Damineli, E. Figueredo

Abstract: We present $K$-band spectra of the near infrared counterparts to IRS2E and IRS2W which is associated with the ultracompact HII region W51d, both of them embedded sources in the Galactic compact HII region W51 IRS2. The high spatial resolution observations were obtained with the laser guide star facility and Near infrared Integral Field Spectrograph (NIFS) mounted at the Gemini North observatory.… ▽ More We present $K$-band spectra of the near infrared counterparts to IRS2E and IRS2W which is associated with the ultracompact HII region W51d, both of them embedded sources in the Galactic compact HII region W51 IRS2. The high spatial resolution observations were obtained with the laser guide star facility and Near infrared Integral Field Spectrograph (NIFS) mounted at the Gemini North observatory. The spectrum of the ionizing source of W51d shows the photospheric features NIII (21155 Å) in emission and HeII (21897 Å) in absorption which lead us to classify it as an young O3 type star. We detected CO overtone in emission at 23000 Åin the spectrum of IRS2E, suggesting that it is a massive young object still surrounded by an accretion disc, probably transitioning from the hot core phase to an ultracompact HII region. △ Less

Submitted 26 March, 2008; originally announced March 2008.

Comments: Accepted by ApJ Letters

The Stellar Content of Obscured Galactic Giant HII Regions. VI: W51A

Authors: E. Figueredo, R. D. Blum, A. Damineli, P. S. Conti, C. L. Barbosa

Abstract: We present K-band spectra of newly born OB stars in the obscured Galactic giant H II region W51A and ~ 0.8'' angular resolution images in the J, H and K_S-bands. Four objects have been spectroscopically classified as O-type stars. The mean spectroscopic parallax of the four stars gives a distance of 2.0 \pm 0.3 kpc (error in the mean), significantly smaller than the radio recombination line kine… ▽ More We present K-band spectra of newly born OB stars in the obscured Galactic giant H II region W51A and ~ 0.8'' angular resolution images in the J, H and K_S-bands. Four objects have been spectroscopically classified as O-type stars. The mean spectroscopic parallax of the four stars gives a distance of 2.0 \pm 0.3 kpc (error in the mean), significantly smaller than the radio recombination line kinematic value of 5.5 kpc or the values derived from maser propermotion observations (6--8 kpc). The number of Lyman continuum photons from the contribution of all massive stars (NLyc ~ 1.5 x 10^{50} s^{-1}) is in good agreement with that inferred from radio recombination lines (NLyc = 1.3 x 10^{50} s^{-1}) after accounting for the smaller distance derived here. We present analysis of archival high angular resolution images (NAOS CONICA at VLT and T-ReCS at Gemini) of the compact region W51 IRS2. The K_S--band images resolve the infrared source IRS~2 indicating that it is a very young compact HII region. Sources IRS2E was resolved into compact cluster (within 660 AU of projected distance) of 3 objects, but one of them is just bright extended emission. W51d1 and W51d2 were identified with compact clusters of 3 objects (maybe 4 in the case of W51d1) each one. Although IRS~2E is the brightest source in the K-band and at 12.6 \micron, it is not clearly associated with a radio continuum source. Our spectrum of IRS~2E shows, similar to previous work, strong emission in Br$γ$ and HeI, as well as three forbidden emission lines of FeIII and emission lines of molecular hydrogen (H_2) marking it as a massive young stellar object. △ Less

Submitted 25 February, 2008; originally announced February 2008.

Comments: 31 pages and 9 figures, submitted to AJ