Showing 1–41 of 41 results for author: Silveira, A

Beyond Point Masses. II. Non-Keplerian Shape Effects are Detectable in Several TNO Binaries

Authors: Benjamin C. N. Proudfoot, Darin A. Ragozzine, Meagan L. Thatcher, Will Grundy, Dallin J. Spencer, Tahina M. Alailima, Sawyer Allen, Penelope C. Bowden, Susanne Byrd, Conner D. Camacho, Gibson H. Campbell, Edison P. Carlisle, Jacob A. Christensen, Noah K. Christensen, Kaelyn Clement, Benjamin J. Derieg, Mara K. Dille, Cristian Dorrett, Abigail L. Ellefson, Taylor S. Fleming, N. J. Freeman, Ethan J. Gibson, William G. Giforos, Jacob A. Guerrette, Olivia Haddock , et al. (38 additional authors not shown)

Abstract: About 40 transneptunian binaries (TNBs) have fully determined orbits with about 10 others being solved except for breaking the mirror ambiguity. Despite decades of study almost all TNBs have only ever been analyzed with a model that assumes perfect Keplerian motion (e.g., two point masses). In reality, all TNB systems are non-Keplerian due to non-spherical shapes, possible presence of undetected s… ▽ More About 40 transneptunian binaries (TNBs) have fully determined orbits with about 10 others being solved except for breaking the mirror ambiguity. Despite decades of study almost all TNBs have only ever been analyzed with a model that assumes perfect Keplerian motion (e.g., two point masses). In reality, all TNB systems are non-Keplerian due to non-spherical shapes, possible presence of undetected system components, and/or solar perturbations. In this work, we focus on identifying candidates for detectable non-Keplerian motion based on sample of 45 well-characterized binaries. We use MultiMoon, a non-Keplerian Bayesian inference tool, to analyze published relative astrometry allowing for non-spherical shapes of each TNB system's primary. We first reproduce the results of previous Keplerian fitting efforts with MultiMoon, which serves as a comparison for the non-Keplerian fits and confirms that these fits are not biased by the assumption of a Keplerian orbit. We unambiguously detect non-Keplerian motion in 8 TNB systems across a range of primary radii, mutual orbit separations, and system masses. As a proof of concept for non-Keplerian fitting, we perform detailed fits for (66652) Borasisi-Pabu, possibly revealing a $J_2 \approx 0.44$, implying Borasisi (and/or Pabu) may be a contact binary or an unresolved compact binary. However, full confirmation of this result will require new observations. This work begins the next generation of TNB analyses that go beyond the point mass assumption to provide unique and valuable information on the physical properties of TNBs with implications for their formation and evolution. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: Accepted to AJ

Journal ref: AJ 167 144 (2024)

Compression-induced crossovers for the ground-state of classical dipole lattices on a Möbius strip

Authors: Ansgar Siemens, Felipe Augusto Oliveira Silveira, Peter Schmelcher

Abstract: We explore the ground state properties of a lattice of classical dipoles spanned on the surface of a Möbius strip. The dipole equilibrium configurations depend significantly on the geometrical parameters of the Möbius strip, as well as on the lattice dimensions. As a result of the variable dipole spacing on the curved surface of the Möbius strip, the ground state can consist of multiple domains wi… ▽ More We explore the ground state properties of a lattice of classical dipoles spanned on the surface of a Möbius strip. The dipole equilibrium configurations depend significantly on the geometrical parameters of the Möbius strip, as well as on the lattice dimensions. As a result of the variable dipole spacing on the curved surface of the Möbius strip, the ground state can consist of multiple domains with different dipole orientations which are separated by domain walls. We analyze in particular the dependence of the ground state dipole configuration on the width of the Möbius strip and highlight two crossovers in the ground state that can be correspondingly tuned. A first crossover changes the dipole lattice from a phase which resists compression to a phase that favors it. The second crossover leads to an exchange of the topological properties of the two involved domains. We conclude with a brief summary and an outlook on more complex topologically intricate surfaces. △ Less

Submitted 5 January, 2024; originally announced January 2024.

Comments: 7 pages, 4 figures

Pressure-driven homogenization of lithium disilicate glasses

Authors: Yasser Bakhouch, Silvio Buchner, Rafael Abel Silveira, Leonardo Resende, Altair Soria Pereira, Abdellatif Hasnaoui, Achraf Atila

Abstract: Lithium disilicate glasses and glass-ceramics are good potential candidates for biomedical applications and solid-state batteries, and serve as models of nucleation and crystal growth. Moreover, these glasses exhibit a phase separation that influences their nucleation and crystallization behavior. The atomistic mechanisms of the phase separation and their pressure dependence are unclear so far. He… ▽ More Lithium disilicate glasses and glass-ceramics are good potential candidates for biomedical applications and solid-state batteries, and serve as models of nucleation and crystal growth. Moreover, these glasses exhibit a phase separation that influences their nucleation and crystallization behavior. The atomistic mechanisms of the phase separation and their pressure dependence are unclear so far. Here, we used molecular dynamics simulations supported by experiments to assess the spatial heterogeneity of lithium disilicate glasses prepared under pressure. We show that the glass heterogeneity decreases with increasing the cooling pressure and almost disappears at pressures around 30 GPa. The origin of the heterogeneity is due to the attraction between Li cations to form clustering channels, which decreases with pressure. Through our results, we hope to provide valuable insights and guidance for making glass-ceramics with controlled crystallization. △ Less

Submitted 8 October, 2023; originally announced October 2023.

Journal ref: Journal of the American Ceramic Society (2024)

Performance and Analysis of the Alchemical Transfer Method for Binding Free Energy Predictions of Diverse Ligands

Authors: Lieyang Chen, Yujie Wu, Chuanjie Wu, Ana Silveira, Woody Sherman, Huafeng Xu, Emilio Gallicchio

Abstract: The Alchemical Transfer Method (ATM) is herein validated against the relative binding free energies of a diverse set of protein-ligand complexes. We employed a streamlined setup workflow, a bespoke force field, and the AToM-OpenMM software to compute the relative binding free energies (RBFE) of the benchmark set prepared by Schindler and collaborators at Merck KGaA. This benchmark set includes exa… ▽ More The Alchemical Transfer Method (ATM) is herein validated against the relative binding free energies of a diverse set of protein-ligand complexes. We employed a streamlined setup workflow, a bespoke force field, and the AToM-OpenMM software to compute the relative binding free energies (RBFE) of the benchmark set prepared by Schindler and collaborators at Merck KGaA. This benchmark set includes examples of standard small R-group ligand modifications as well as more challenging scenarios, such as large R-group changes, scaffold hop**, formal charge changes, and charge-shifting transformations. The novel coordinate perturbation scheme and a dual-topology approach of ATM address some of the challenges of single-topology alchemical relative binding free energy methods. Specifically, ATM eliminates the need for splitting electrostatic and Lennard-Jones interactions, atom map**, defining ligand regions, and post-corrections for charge-changing perturbations. Thus, ATM is simpler and more broadly applicable than conventional alchemical methods, especially for scaffold-hop** and charge-changing transformations. Here, we performed well over 500 relative binding free energy calculations for eight protein targets and found that ATM achieves accuracy comparable to existing state-of-the-art methods, albeit with larger statistical fluctuations. We discuss insights into specific strengths and weaknesses of the ATM method that will inform future deployments. This study confirms that ATM is applicable as a production tool for relative binding free energy (RBFE) predictions across a wide range of perturbation types within a unified, open-source framework. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Blume-Emery-Griffiths model on Random Graphs

Authors: R. Erichsen Jr., Alexandre Silveira, S. G. Magalhaes

Abstract: The Blume-Emery-Griffiths model with a random crystal field is studied in a random graph architecture, in which the average connectivity is a controllable parameter. The disordered average over the graph realizations is treated by replica symmetry formalism of order parameter functions. A self-consistent equation for the distribution of local fields is derived and numerically solved by a populatio… ▽ More The Blume-Emery-Griffiths model with a random crystal field is studied in a random graph architecture, in which the average connectivity is a controllable parameter. The disordered average over the graph realizations is treated by replica symmetry formalism of order parameter functions. A self-consistent equation for the distribution of local fields is derived and numerically solved by a population dynamics algorithm. The results show that the average connectivity amounts to changes in the topology of the phase diagrams. Phase diagrams for representative values of the model parameters are compared with those obtained for fully connected mean field and renormalization group approaches. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 14 pages, 6 figures, accepted for publication in Physica A

Characterizing a transition from limited to unlimited diffusion in energy for a time-dependent billiard

Authors: Felipe Augusto O. Silveira, Anne Kétri P. da Fonseca, Peter Schmelcher, Denis G. Ladeira, Edson Denis Leonel

Abstract: We explore Fermi acceleration in a driven oval billiard which shows unlimited to limited diffusion in energy when passing from the free to the dissipative case. We provide evidence for a second-order phase transition taking place while detuning the corresponding restitution coefficient from one responsible for the degree of dissipation. A corresponding order parameter is suggested, and its suscept… ▽ More We explore Fermi acceleration in a driven oval billiard which shows unlimited to limited diffusion in energy when passing from the free to the dissipative case. We provide evidence for a second-order phase transition taking place while detuning the corresponding restitution coefficient from one responsible for the degree of dissipation. A corresponding order parameter is suggested, and its susceptibility is shown to diverge at the transition point. We also discuss the underlying symmetry breaking and the elementary excitation of the controlled diffusion process. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 7 pages, 6 Figures

2-Terminal Coaxial Capacitance Measurements and Cable Corrections

Authors: F. A. Silveira

Abstract: Coaxial 2-terminal bridge comparison is a widely used metrological method in the dissemination of value of capacitance up to 1000 pF and $10^4$ rad/s. In this range, capacitance can be measured with uncertainties as small as few parts in $10^{7}$; however, such measuments must take into account the corrections due to the impedance of cables, connectors and ports, which can tipically amount up to… ▽ More Coaxial 2-terminal bridge comparison is a widely used metrological method in the dissemination of value of capacitance up to 1000 pF and $10^4$ rad/s. In this range, capacitance can be measured with uncertainties as small as few parts in $10^{7}$; however, such measuments must take into account the corrections due to the impedance of cables, connectors and ports, which can tipically amount up to $10^{-8}$ $μ$F/F $-$ and maybe larger. In this work, we report on how correction factors in 2-terminal pair coaxial bridge capacitance measurements are presently measured and calculated at Inmetro. △ Less

Submitted 1 July, 2024; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 3 pages, 2 figures, 2 tables

Reconfigurable Heterogeneous Parallel Island Models

Authors: Lucas Ângelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón

Abstract: Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-tuned for homogeneous PIMs (HoPIMs), which run the same BA in all their islands, previous work introduced HePIMs that provided competitive quality solutions regarding the best-adapted BA in HoPIMs. This work goes a step f… ▽ More Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-tuned for homogeneous PIMs (HoPIMs), which run the same BA in all their islands, previous work introduced HePIMs that provided competitive quality solutions regarding the best-adapted BA in HoPIMs. This work goes a step forward, maintaining the population diversity provided by HePIMs, and increasing their flexibility, allowing BA reconfiguration on islands during execution: according to their performance, islands may substitute their BAs dynamically during the evolutionary process. Experiments with the introduced architectures (RecHePIMs) were applied to the NP-hard problem of sorting permutations by reversals, using four different BAs, namely, simple Genetic Algorithm, Double-point crossover Genetic Algorithm, Differential Evolution, and self-adjusting Particle Swarm Optimization. The results showed that the new reconfigurable heterogeneous models compute better quality solutions than the HePIMs closing the gap with the HoPIM running the best-adapted BA. △ Less

Submitted 5 May, 2022; originally announced May 2022.

Biases and Variability from Costly Bayesian Inference

Authors: Arthur Prat-Carrabin, Florent Meyniel, Misha Tsodyks, Rava Azeredo da Silveira

Abstract: When humans infer underlying probabilities from stochastic observations, they exhibit biases and variability that cannot be explained on the basis of sound, Bayesian manipulations of probability. This is especially salient when beliefs are updated as a function of sequential observations. We introduce a theoretical framework in which biases and variability emerge from a trade-off between Bayesian… ▽ More When humans infer underlying probabilities from stochastic observations, they exhibit biases and variability that cannot be explained on the basis of sound, Bayesian manipulations of probability. This is especially salient when beliefs are updated as a function of sequential observations. We introduce a theoretical framework in which biases and variability emerge from a trade-off between Bayesian inference and a cognitive cost of carrying out probabilistic computations. We consider two forms of the cost: a precision cost and an unpredictability cost; these penalize beliefs that are less entropic and less deterministic, respectively. We apply our framework to the case of a Bernoulli variable: the bias of a coin is inferred from a sequence of coin flips. Theoretical predictions are qualitatively different depending on the form of the cost. A precision cost induces overestimation of small probabilities on average and a limited memory of past observations, and, consequently, a fluctuating bias. An unpredictability cost induces underestimation of small probabilities and a fixed bias that remains appreciable even for nearly unbiased observations. The case of a fair (equiprobable) coin, however, is singular, with non-trivial and slow fluctuations of the inferred bias. The proposed framework of costly Bayesian inference illustrates the richness of a 'resource-rational' (or 'bounded-rational') picture of seemingly irrational human cognition. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 17 pages, 4 figures

Journal ref: Entropy 2021, 23(5), 603

Gras** force estimation using state-space model and Kalman filter

Authors: Bruno Dutra, Antonio Silveira, Antônio Pereira

Abstract: The grip force required to handle an object depends on the object's mass and the friction coefficient of its surface. The control of grip force in myoelectric prosthesis is crucial for handling objects adequately. In the current paper we propose a new method for improving the proportional and continuous gras** force estimation to improve control systems for myoelectric prosthesis based on surfac… ▽ More The grip force required to handle an object depends on the object's mass and the friction coefficient of its surface. The control of grip force in myoelectric prosthesis is crucial for handling objects adequately. In the current paper we propose a new method for improving the proportional and continuous gras** force estimation to improve control systems for myoelectric prosthesis based on surface electromyography (sEMG) recordings. For this purpose, we develop an approach based on multivariable system identification in the state-space (SS) and continuous force estimation with Kalman Filter (KF). The sEMG recordings of ten healthy individuals performing a grip task were used as data set for model identification. The root mean square (RMS), the mean absolute value (MAV), and the waveform length (WL) extracted from the sEMG signals were used at the model's input while the measured gras** force was the output. The performance of the method was evaluated with the normalized root-mean-squared-error (NRMSE) and the square of the Pearson's correlation coefficient ($ R^2 $). We found the $R^2$ and NRMSE values were 0.92$ \pm $ 0.0319 and 0.723$ \pm $ 0.0563, respectively. The performance of the proposed technique was superior to the results obtained with other regression models, such as the recurrent nonlinear autoregressive exogenous (NARX)-based neural network, the multi-layer perceptron (MLP) network and the linear discriminant analysis (LDA) with a quadratic polynomial fitting (QPF). The results confirm that the method is adequate for real-time applications with myoelectric hand prostheses. △ Less

Submitted 18 August, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Geometrical Frustration and Cluster Spin Glass with Random Graphs

Authors: Alexandre Silveira, R. Erichsen Jr., S. G. Magalhaes

Abstract: We develop a novel method based in the sparse random graph to account the interplay between geometric frustration and disorder in cluster magnetism. Our theory allows to introduce the cluster network connectivity as a controllable parameter. Two types of inner cluster geometry are considered: triangular and tetrahedral. The theory was developed for a general, non-uniform intra-cluster interactions… ▽ More We develop a novel method based in the sparse random graph to account the interplay between geometric frustration and disorder in cluster magnetism. Our theory allows to introduce the cluster network connectivity as a controllable parameter. Two types of inner cluster geometry are considered: triangular and tetrahedral. The theory was developed for a general, non-uniform intra-cluster interactions, but in the present paper the results presented correspond to uniform, anti-ferromagnetic (AF) intra-clusters interactions $J_{0}/J$. The clusters are represented by nodes on a finite connectivity random graph, and the inter-cluster interactions are random Gaussian distributed. The graph realizations are treated in replica theory using the formalism of order parameter functions, which allows to calculate the distribution of local fields and, as a consequence, the relevant observable. In the case of triangular cluster geometry, there is the onset of a classical Spin Liquid state at a temperature $T^{*}/J$ and then, a Cluster Spin Glass (CSG) phase at a temperature $T_{f}/J$. The CSG ground state is robust even for very weak disorder or large negative $J_{0}/J$. These results does not depend on the network connectivity. Nevertheless, variations in the connectivity strongly affect the level of frustration $f_{p}=-Θ_{CW}/T_{f}$ for large $J_{0}/J$. In contrast, for the non-frustrated tetrahedral cluster geometry, the CSG ground state is suppressed for weak disorder or large negative $J_{0}/J$. The CSG boundary phase presents a re-entrance which is dependent on the network connectivity. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Comments: 29 pages, 8 figures, submitted to PRE

Journal ref: Phys. Rev. E 103, 052110 (2021)

A Formal Analysis of the MimbleWimble Cryptocurrency Protocol

Authors: Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Abstract: MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. We present and discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of the protocol implementations. In particular, we propose an idealized model t… ▽ More MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. We present and discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of the protocol implementations. In particular, we propose an idealized model that is key in the described verification process, and identify and precisely state sufficient conditions for our model to ensure the verification of relevant security properties of MW. Since MW is built on top of a consensus protocol, we develop a Z specification of one such protocol and present an excerpt of the $\{log\}$ prototype generated from the Z specification. This $\{log\}$ prototype can be used as an executable model where simulations can be run. This allows us to analyze the behavior of the protocol without having to implement it in a low level programming language. Finally, we analyze the Grin and Beam implementations of MW in their current state of development. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Ising spin glass in a random network with a gaussian random field

Authors: R. Erichsen Jr, A. Silveira, S. G. Magalhaes

Abstract: We investigate thermodynamic phase transitions of the joint presence of spin glass (SG) and random field (RF) using a random graph model that allows us to deal with the quenched disorder. Therefore, the connectivity becomes a controllable parameter in our theory, allowing us to answer what the differences are between this description and the mean-field theory i.e., the fully connected theory. We h… ▽ More We investigate thermodynamic phase transitions of the joint presence of spin glass (SG) and random field (RF) using a random graph model that allows us to deal with the quenched disorder. Therefore, the connectivity becomes a controllable parameter in our theory, allowing us to answer what the differences are between this description and the mean-field theory i.e., the fully connected theory. We have considered the random network random field Ising model where the spin exchange interaction as well as the RF are random variables following a Gaussian distribution. The results were found within the replica symmetric (RS) approximation, whose stability is obtained using the two-replica method. This also puts our work in the context of a broader discussion, which is the RS stability as a function of the connectivity. In particular, our results show that for small connectivity there is a region at zero temperature where the RS solution remains stable above a given value of the magnetic field no matter the strength of RF. Consequently, our results show important differences with the crossover between the RF and SG regimes predicted by the fully connected theory. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Journal ref: Phys. Rev. E 103, 022133 Published 19 February 2021

The Geometry of Information Coding in Correlated Neural Populations

Authors: Rava Azeredo da Silveira, Fred Rieke

Abstract: Neurons in the brain represent information in their collective activity. The fidelity of this neural population code depends on whether and how variability in the response of one neuron is shared with other neurons. Two decades of studies have investigated the influence of these noise correlations on the properties of neural coding. We provide an overview of the theoretical developments on the top… ▽ More Neurons in the brain represent information in their collective activity. The fidelity of this neural population code depends on whether and how variability in the response of one neuron is shared with other neurons. Two decades of studies have investigated the influence of these noise correlations on the properties of neural coding. We provide an overview of the theoretical developments on the topic. Using simple, qualitative and general arguments, we discuss, categorize, and relate the various published results. We emphasize the relevance of the fine structure of noise correlation, and we present a new approach to the issue. Throughout we emphasize a geometrical picture of how noise correlations impact the neural code. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 30 pages; 3 figures; review article

Human Inference in Changing Environments With Temporal Structure

Authors: Arthur Prat-Carrabin, Robert C. Wilson, Jonathan D. Cohen, Rava Azeredo da Silveira

Abstract: To make informed decisions in natural environments that change over time, humans must update their beliefs as new observations are gathered. Studies exploring human inference as a dynamical process that unfolds in time have focused on situations in which the statistics of observations are history-independent. Yet temporal structure is everywhere in nature, and yields history-dependent observations… ▽ More To make informed decisions in natural environments that change over time, humans must update their beliefs as new observations are gathered. Studies exploring human inference as a dynamical process that unfolds in time have focused on situations in which the statistics of observations are history-independent. Yet temporal structure is everywhere in nature, and yields history-dependent observations. Do humans modify their inference processes depending on the latent temporal statistics of their observations? We investigate this question experimentally and theoretically using a change-point inference task. We show that humans adapt their inference process to fine aspects of the temporal structure in the statistics of stimuli. As such, humans behave qualitatively in a Bayesian fashion, but, quantitatively, deviate away from optimality. Perhaps more importantly, humans behave suboptimally in that their responses are not deterministic, but variable. We show that this variability itself is modulated by the temporal statistics of stimuli. To elucidate the cognitive algorithm that yields this behavior, we investigate a broad array of existing and new models that characterize different sources of suboptimal deviations away from Bayesian inference. While models with 'output noise' that corrupts the response-selection process are natural candidates, human behavior is best described by sampling-based inference models, in which the main ingredient is a compressed approximation of the posterior, represented through a modest set of random samples and updated over time. This result comes to complement a growing literature on sample-based representation and learning in humans. △ Less

Submitted 26 January, 2021; originally announced January 2021.

Comments: 59 pages, 21 figures, and 6 tables

Journal ref: Psychological Review (2021), 128(5), 879-912

Binary Segmentation of Seismic Facies Using Encoder-Decoder Neural Networks

Authors: Gefersom Lima, Gabriel Ramos, Sandro Rigo, Felipe Zeiser, Ariane da Silveira

Abstract: The interpretation of seismic data is vital for characterizing sediments' shape in areas of geological study. In seismic interpretation, deep learning becomes useful for reducing the dependence on handcrafted facies segmentation geometry and the time required to study geological areas. This work presents a Deep Neural Network for Facies Segmentation (DNFS) to obtain state-of-the-art results for se… ▽ More The interpretation of seismic data is vital for characterizing sediments' shape in areas of geological study. In seismic interpretation, deep learning becomes useful for reducing the dependence on handcrafted facies segmentation geometry and the time required to study geological areas. This work presents a Deep Neural Network for Facies Segmentation (DNFS) to obtain state-of-the-art results for seismic facies segmentation. DNFS is trained using a combination of cross-entropy and Jaccard loss functions. Our results show that DNFS obtains highly detailed predictions for seismic facies segmentation using fewer parameters than StNet and U-Net. △ Less

Submitted 14 November, 2020; originally announced December 2020.

Dual equivalence between self-dual and topologically massive $B\wedge F$ models coupled to matter in $3+1$ dimensions

Authors: R. V. Maluf, F. A. G. Silveira, J. E. G. Silva, C. A. S. Almeida

Abstract: In this work, we revisit the duality between a self-dual non-gauge invariant theory and a topological massive theory in $3+1$ dimensions. The self-dual Lagrangian is composed by a vector field and an antisymmetric field tensor whereas the topological massive Lagrangian is build using a $B \wedge F$ term. Though the Lagrangians are quite different, they yield to equations of motion that are connect… ▽ More In this work, we revisit the duality between a self-dual non-gauge invariant theory and a topological massive theory in $3+1$ dimensions. The self-dual Lagrangian is composed by a vector field and an antisymmetric field tensor whereas the topological massive Lagrangian is build using a $B \wedge F$ term. Though the Lagrangians are quite different, they yield to equations of motion that are connected by a simple dual map** among the fields. We discuss this duality by analyzing the degrees of freedom in both theories and comparing their propagating modes at the classical level. Moreover, we employ the master action method to obtain a fundamental Lagrangian that interpolates between these two theories and makes evident the role of the topological $B \wedge F$ term in the duality relation. By coupling these theories with matter fields, we show that the duality holds provided a Thirring-like term is included. In addition, we use the master action in order to probe the duality upon the quantized fields. We carried out a functional integration of the fields and compared the resulting effective Lagrangians. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Comments: 21 pages

Journal ref: Phys. Rev. D 102, 025006 (2020)

Machine learning force fields and coarse-grained variables in molecular dynamics: application to materials and biological systems

Authors: Paraskevi Gkeka, Gabriel Stoltz, Amir Barati Farimani, Zineb Belkacemi, Michele Ceriotti, John Chodera, Aaron R. Dinner, Andrew Ferguson, Jean-Bernard Maillet, Hervé Minoux, Christine Peter, Fabio Pietrucci, Ana Silveira, Alexandre Tkatchenko, Zofia Trstanova, Rafal Wiewiora, Tony Leliévre

Abstract: Machine learning encompasses a set of tools and algorithms which are now becoming popular in almost all scientific and technological fields. This is true for molecular dynamics as well, where machine learning offers promises of extracting valuable information from the enormous amounts of data generated by simulation of complex systems. We provide here a review of our current understanding of goals… ▽ More Machine learning encompasses a set of tools and algorithms which are now becoming popular in almost all scientific and technological fields. This is true for molecular dynamics as well, where machine learning offers promises of extracting valuable information from the enormous amounts of data generated by simulation of complex systems. We provide here a review of our current understanding of goals, benefits, and limitations of machine learning techniques for computational studies on atomistic systems, focusing on the construction of empirical force fields from ab-initio databases and the determination of reaction coordinates for free energy computation and enhanced sampling. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Effects of neuronal variability on phase synchronization of neural networks

Authors: Kalel Luiz Rossi, Roberto Cesar Budzisnki, Joao Antonio Paludo Silveira, Bruno Rafael Reichert Boaretto, Thiago Lima Prado, Sergio Roberto Lopes, Ulrike Feudel

Abstract: An important idea in neural information processing is the communication-through-coherence hypothesis, according to which communication between two brain regions is effective only if they are phase-locked. Also of importance is neuronal variability, a phenomenon in which a single neuron's inter-firing times may be highly variable. In this work, we aim to connect these two ideas by studying the effe… ▽ More An important idea in neural information processing is the communication-through-coherence hypothesis, according to which communication between two brain regions is effective only if they are phase-locked. Also of importance is neuronal variability, a phenomenon in which a single neuron's inter-firing times may be highly variable. In this work, we aim to connect these two ideas by studying the effects of that variability on the capability of neurons to reach phase synchronization. We simulate a network of modified-Hodgkin-Huxley-bursting neurons possessing a small-world topology. First, variability is shown to be correlated with the average degree of phase synchronization of the network. Next, restricting to spatial variability - which measures the deviation of firing times between all neurons in the network - we show that it is positively correlated to a behavior we call promiscuity, which is the tendency of neurons to to have their relative phases change with time. This relation is observed in all cases we tested, regardless of the degree of synchronization or the strength of the inter-neuronal coupling: high variability implies high promiscuity (low duration of phase-locking), even if the network as a whole is synchronized and the coupling is strong. We argue that spatial variability actually generates promiscuity. Therefore, we conclude that variability has a strong influence on both the degree and the manner in which neurons phase synchronize, which is another reason for its relevance in neural communication. △ Less

Submitted 27 February, 2020; originally announced March 2020.

Comments: 11 pages, 7 figures, to be submitted to Neural Networks journal

Results of DC Measuments on a Coaxial Resistor

Authors: Flavio A. da Silveira

Abstract: In this report, we briefly describe the most recent results from tests on the calculable resistance prototypes from the Electrical Standards Metrology Laboratory from Inmetro (Lampe/Inmetro). These prototypes were built using a different project from that originally proposed by Haddad, in which the resistive element is mechanically fixed. A new fixation system of the resistive wire elements was co… ▽ More In this report, we briefly describe the most recent results from tests on the calculable resistance prototypes from the Electrical Standards Metrology Laboratory from Inmetro (Lampe/Inmetro). These prototypes were built using a different project from that originally proposed by Haddad, in which the resistive element is mechanically fixed. A new fixation system of the resistive wire elements was conceived, in order to overcome experimental difficulties, and the results of new measurement runs are presented here. △ Less

Submitted 23 January, 2020; originally announced January 2020.

Comments: 2 pages, 6 figures and 1 table. To be submitted to Semetro/Seminário Internacional de Metrologia Elétrica 2020

Set-Based Models for Cryptocurrency Software

Authors: Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

Abstract: Emin Gün Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power reactor, than to writing loose web code [...] Yet the current Solidity language and underlying EVM seems designed more for the latter. Formal methods (FM) are mathematics-based software development methods aimed at producin… ▽ More Emin Gün Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power reactor, than to writing loose web code [...] Yet the current Solidity language and underlying EVM seems designed more for the latter. Formal methods (FM) are mathematics-based software development methods aimed at producing "code for a nuclear power reactor". That is, due application of FM can produce bug-free, zero-defect, correct-by-construction, guaranteed, certified software. However, the software industry seldom use FM. One of the main reasons for such a situation is that there exists the perception (which might well be a fact) that FM increase software costs. On the other hand, FM can be partially applied thus producing high-quality software, although not necessarily bug-free. In this paper we outline some FM related techniques whose application the cryptocurrency community should take into consideration because they could bridge the gap between "loose web code" and "code for a nuclear power reactor". △ Less

Submitted 1 August, 2019; originally announced August 2019.

GeoGebra e situações que envolvem modelação numa abordagem STEAM

Authors: J. M. D. S. Dos Santos, A. P. Silveira, A. E. S. Trocado

Abstract: In order to implement a STEAM approach including the use of technology, namely the use of interactive mathematics software GeoGebra, in mathematics classes, in the lusophone space, the materials presented here were conceived, to be implemented in a first phase among teachers. Later, with the necessary adaptations, these tasks will be applied to the students. The tasks deal with modeling situations… ▽ More In order to implement a STEAM approach including the use of technology, namely the use of interactive mathematics software GeoGebra, in mathematics classes, in the lusophone space, the materials presented here were conceived, to be implemented in a first phase among teachers. Later, with the necessary adaptations, these tasks will be applied to the students. The tasks deal with modeling situations, in two- and three-dimensional geometric problems, in order to apply GeoGebra software in its analysis to illustrate its capabilities. The different windows of this software are used, namely the 2D and 3D windows, CAS window, spreadsheet and extra two dimensional windows in order to study cutting planes in solids and some surfaces. The tasks are presented so that any user, regardless of the degree of knowledge they have of the software, can follow them, being supported in scripts with some indications of the tools and commands to use. Designed for the teaching and learning of Mathematics, from a STEAM approach, these tasks allow connections with other Sciences and the Arts, and allow the development of projects using and consolidating relevant mathematical contents. These tasks are part of the proposals of activities of the participants of the Training Courses for Trainers in GeoGebra for Portuguese Speaking Countries, which from 2019 have an impact on the STEAM approach. These courses are carried out with the high sponsorship of the Organization of Ibero-American States for Education, Science and Culture (OEI). Given the interest that the tasks have for the users of the Iberian space, as well as their dissemination at a global level, the materials initially developed in Portuguese language will be adapted for Spanish and English speakers. △ Less

Submitted 3 July, 2019; originally announced July 2019.

Comments: in Portuguese

MSC Class: 00A35; 97C70 ACM Class: G.4; K.3.1

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

Authors: Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

Abstract: MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we present and briefly discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of a particular implementation of the protocol. MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we present and briefly discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of a particular implementation of the protocol. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Bootstrap Calibration of Inductive Voltage Dividers at Inmetro

Authors: Flavio A. Silveira

Abstract: The Laboratory of Metrology in Electrical Standards of Inmetro (Lampe) has built, in 2010, a transformer which is able to perform inductive voltage divider ratio calibrations using the bootstrap method. This transformer was idealized according to the design adopted at Physikalisch-Technische Bundesanstalt (PTB), and has very similiar characteristics to that system. Lampe's bootstrap system is not… ▽ More The Laboratory of Metrology in Electrical Standards of Inmetro (Lampe) has built, in 2010, a transformer which is able to perform inductive voltage divider ratio calibrations using the bootstrap method. This transformer was idealized according to the design adopted at Physikalisch-Technische Bundesanstalt (PTB), and has very similiar characteristics to that system. Lampe's bootstrap system is not yet in operation, and DIT calibrations are presently being carried according to a triangular set of measurements involving standard capacitors. This method, though, has uncertanties limited to a few parts in 1E6; the primary objective of Lampe's bootstrap system project is to achieve uncertanties at least 10 times smaller than this. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 3 pages, 3 figures

The NUMEN project: NUclear Matrix Elements for Neutrinoless double beta decay

Authors: F. Cappuzzello, C. Agodi, M. Cavallaro, D. Carbone, S. Tudisco, D. Lo Presti, J. R. B. Oliveira, P. Finocchiaro, M. Colonna, D. Rifuggiato, L. Calabretta, D. Calvo, L. Pandola, L. Acosta, N. Auerbach, J. Bellone, R. Bijker, D. Bonanno, D. Bongiovanni, T. Borello-Lewin, I. Boztosun, O. Brunasso, S. Burrello, S. Calabrese, A. Calanna , et al. (46 additional authors not shown)

Abstract: The article describes the main achievements of the NUMEN project together with an updated and detailed overview of the related R&D activities and theoretical developments. NUMEN proposes an innovative technique to access the nuclear matrix elements entering the expression of the lifetime of the double beta decay by cross section measurements of heavy-ion induced Double Charge Exchange (DCE) reacti… ▽ More The article describes the main achievements of the NUMEN project together with an updated and detailed overview of the related R&D activities and theoretical developments. NUMEN proposes an innovative technique to access the nuclear matrix elements entering the expression of the lifetime of the double beta decay by cross section measurements of heavy-ion induced Double Charge Exchange (DCE) reactions. Despite the two processes, namely neutrinoless double beta decay and DCE reactions, are triggered by the weak and strong interaction respectively, important analogies are suggested. The basic point is the coincidence of the initial and final state many-body wave-functions in the two types of processes and the formal similarity of the transition operators. First experimental results obtained at the INFN-LNS laboratory for the 40Ca(18O,18Ne)40Ar reaction at 270 MeV, give encouraging indication on the capability of the proposed technique to access relevant quantitative information. The two major aspects for this project are the K800 Superconducting Cyclotron and MAGNEX spectrometer. The former is used for the acceleration of the required high resolution and low emittance heavy ion beams and the latter is the large acceptance magnetic spectrometer for the detection of the ejectiles. The use of the high-order trajectory reconstruction technique, implemented in MAGNEX, allows to reach the experimental resolution and sensitivity required for the accurate measurement of the DCE cross sections at forward angles. However, the tiny values of such cross sections and the resolution requirements demand beam intensities much larger than manageable with the present facility. The on-going upgrade of the INFN-LNS facilities in this perspective is part of the NUMEN project and will be discussed in the article. △ Less

Submitted 21 November, 2018; originally announced November 2018.

Refinement of Thermostated Molecular Dynamics Using Backward Error Analysis

Authors: Ana J. Silveira, Charlles R. A. Abreu

Abstract: Kinetic energy equipartition is a premise for many deterministic and stochastic molecular dynamics methods that aim at sampling a canonical ensemble. While this is expected for real systems, discretization errors introduced by the numerical integration may distort such assumption. Fortunately, backward error analysis allows us to identify the quantity that is actually subject to equipartition. Thi… ▽ More Kinetic energy equipartition is a premise for many deterministic and stochastic molecular dynamics methods that aim at sampling a canonical ensemble. While this is expected for real systems, discretization errors introduced by the numerical integration may distort such assumption. Fortunately, backward error analysis allows us to identify the quantity that is actually subject to equipartition. This is related to a shadow Hamiltonian, which coincides with the specified Hamiltonian only when the time-step size approaches zero. This paper deals with discretization effects in a straightforward way. With a small computational overhead, we obtain refined versions of the kinetic and potential energies, whose sum is a suitable estimator of the shadow Hamiltonian. Then, we tune the thermostatting procedure by employing the refined kinetic energy instead of the conventional one. This procedure is shown to reproduce a canonical ensemble compatible with the refined system, as opposed to the original one, but canonical averages regarding the latter can be easily recovered by reweighting. Water, modeled as a rigid body, is an excellent test case for our proposal because its numerical stability extends up to time steps large enough to yield pronounced discretization errors in Verlet-type integrators. By applying our new approach, we were able to mitigate discretization effects in equilibrium properties of liquid water for time-step sizes up to 5 fs. △ Less

Submitted 25 April, 2019; v1 submitted 12 November, 2018; originally announced November 2018.

Comments: accepted manuscript

Journal ref: J. Chem. Phys. 150, 114110 (2019)

Non-equilibrium Thermodynamics of a Resistance Element

Authors: Flavio A. Silveira, Renata T. B. Vasconcellos

Abstract: This paper describes the thermal characterization of a coaxial calculable resistor, part of traceability chain of the capacitance unit to the quantum Hall effect, in construction at Inmetro. The realization of the capacitance unit (farad) is related to the QHE by a calculable coaxial resistor, and three low-uncertainty coaxial bridges: the two-terminal and the four-terminal bridges, already in ope… ▽ More This paper describes the thermal characterization of a coaxial calculable resistor, part of traceability chain of the capacitance unit to the quantum Hall effect, in construction at Inmetro. The realization of the capacitance unit (farad) is related to the QHE by a calculable coaxial resistor, and three low-uncertainty coaxial bridges: the two-terminal and the four-terminal bridges, already in operation at Inmetro; and the quadrature bridge, in final stage of construction. △ Less

Submitted 21 March, 2018; originally announced April 2018.

Comments: 3 pages and 3 figures. Work first presented at Conf. on Precision Electromagnetic Measurements, Daejon/Korea (2012)

Power-law Interpolation of AC-DC Differences

Authors: Flavio A. Silveira, Regiane M. Souza, Regis P. Landim

Abstract: In this work we present a general method, commonly applied to the numerical analysis of stochastic models, to interpolate AC-DC differences (usually denoted by the greek letter $δ$) between calibration points in thermal transfer standards. This method assigns a power-law behaviour to AC-DC differences, solely under the assumption that $δ$ must be some smooth-varying function of voltage and frequen… ▽ More In this work we present a general method, commonly applied to the numerical analysis of stochastic models, to interpolate AC-DC differences (usually denoted by the greek letter $δ$) between calibration points in thermal transfer standards. This method assigns a power-law behaviour to AC-DC differences, solely under the assumption that $δ$ must be some smooth-varying function of voltage and frequency. We argue it may be straightfowardly applied to all working ranges of the standards, with no distinction. △ Less

Submitted 21 February, 2018; originally announced March 2018.

Comments: 6 pages, 8 figures and 4 tables. Previously presented at Conf. on Precision Electromagnetic Measurements (CPEM2010)

Interpretation of Correlated Neural Variability from Models of Feed-Forward and Recurrent Circuits

Authors: Volker Pernice, Rava Azeredo da Silveira

Abstract: The correlated variability in the responses of a neural population to the repeated presentation of a sensory stimulus is a universally observed phenomenon. Such correlations have been studied in much detail, both with respect to their mechanistic origin and to their influence on stimulus discrimination and on the performance of population codes. In particular, recurrent neural network models have… ▽ More The correlated variability in the responses of a neural population to the repeated presentation of a sensory stimulus is a universally observed phenomenon. Such correlations have been studied in much detail, both with respect to their mechanistic origin and to their influence on stimulus discrimination and on the performance of population codes. In particular, recurrent neural network models have been used to understand the origin (or lack) of correlations in neural activity. Here, we apply a model of recurrently connected stochastic neurons to interpret correlations found in a population of neurons recorded from mouse auditory cortex. We study the consequences of recurrent connections on the stimulus dependence of correlations, and we compare them to those from alternative sources of correlated variability, like correlated gain fluctuations and common input in feed-forward architectures. We find that a recurrent network model with random effective connections reproduces observed statistics, like the relation between noise and signal correlations in the data, in a natural way. In the model, we can analyze directly the relation between network parameters, correlations, and how well pairs of stimuli can be discriminated based on population activity. In this way, we can relate circuit parameters to information processing. △ Less

Submitted 6 February, 2017; originally announced February 2017.

Comments: 41 pages, 10 figures

Static and spherically symmetric solutions in a scenario with quadratic curvature contribution

Authors: F. A. Silveira, R. F. Sobreiro, A. A. Tomaz

Abstract: In this work we investigate analytic static and spherically symmetric solutions of a generalized theory of gravity in the Einstein-Cartan formalism. The main goal consists in analyzing the behavior of the solutions under the influence of a quadratic curvature term in the presence of cosmological constant and no torsion. In the first incursion we found an exact de Sitter-like solution. This solutio… ▽ More In this work we investigate analytic static and spherically symmetric solutions of a generalized theory of gravity in the Einstein-Cartan formalism. The main goal consists in analyzing the behavior of the solutions under the influence of a quadratic curvature term in the presence of cosmological constant and no torsion. In the first incursion we found an exact de Sitter-like solution. This solution is obtained by imposing vanishing torsion in the field equations. On the other hand, by imposing vanishing torsion directly in the action, we are able to find a perturbative solution around the Schwarzschild-de Sitter usual solution. We briefly discuss classical singularities for each solution and the event horizons. A primer discussion on the thermodynamics of the geometrical solutions is also addressed. △ Less

Submitted 11 April, 2018; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 21 pages, 7 figures (one new added). 3 appendices and 10 new references were included. To be published in Annals of Physics

High-Fidelity Coding with Correlated Neurons

Authors: Rava Azeredo da Silveira, Michael J. Berry II

Abstract: Positive correlations in the activity of neurons are widely observed in the brain. Previous studies have shown these correlations to be detrimental to the fidelity of population codes or at best marginally favorable compared to independent codes. Here, we show that positive correlations can enhance coding performance by astronomical factors. Specifically, the probability of discrimination error ca… ▽ More Positive correlations in the activity of neurons are widely observed in the brain. Previous studies have shown these correlations to be detrimental to the fidelity of population codes or at best marginally favorable compared to independent codes. Here, we show that positive correlations can enhance coding performance by astronomical factors. Specifically, the probability of discrimination error can be suppressed by many orders of magnitude. Likewise, the number of stimuli encoded--the capacity--can be enhanced by similarly large factors. These effects do not necessitate unrealistic correlation values and can occur for populations with a few tens of neurons. We further show that both effects benefit from heterogeneity commonly seen in population activity. Error suppression and capacity enhancement rest upon a pattern of correlation. In the limit of perfect coding, this pattern leads to a `lock-in' of response probabilities that eliminates variability in the subspace relevant for stimulus discrimination. We discuss the nature of this pattern and suggest experimental tests to identify it. △ Less

Submitted 19 July, 2013; v1 submitted 12 July, 2013; originally announced July 2013.

Comments: Includes the Supplementary Material, as well as 7 figures and 3 supplementary figures

Langevin equations for competitive growth models

Authors: F. A. Silveira, F. D. A. Aarao Reis

Abstract: Langevin equations for several competitive growth models in one dimension are derived. For models with crossover from random deposition (RD) to some correlated deposition (CD) dynamics, with small probability p of CD, the surface tension νand the nonlinear coefficient λof the associated equations have linear dependence on p due solely to this random choice. However, they also depend on the regular… ▽ More Langevin equations for several competitive growth models in one dimension are derived. For models with crossover from random deposition (RD) to some correlated deposition (CD) dynamics, with small probability p of CD, the surface tension νand the nonlinear coefficient λof the associated equations have linear dependence on p due solely to this random choice. However, they also depend on the regularized step functions present in the analytical representations of the CD, whose expansion coefficients scale with p according to the divergence of local height differences when p->0. The superposition of those scaling factors gives ν~ p^2 for random deposition with surface relaxation (RDSR) as the CD, and ν~ p, λ~ p^{3/2} for ballistic deposition (BD) as the CD, in agreement with simulation and other scaling approaches. For bidisperse ballistic deposition (BBD), the same scaling of RD-BD model is found. The Langevin equation for the model with competing RDSR and BD, with probability p for the latter, is also constructed. It shows linear p-dependence of λ, while the quadratic dependence observed in previous simulations is explained by an additional crossover before the asymptotic regime. The results highlight the relevance of scaling of the coefficients of step function expansions in systems with steep surfaces, which is responsible for noninteger exponents in some p-dependent stochastic equations, and the importance of the physical correspondence of aggregation rules and equation coefficients. △ Less

Submitted 3 February, 2013; originally announced February 2013.

Comments: 8 pages with 1 figure included

Journal ref: Phys. Rev. E 85, 011601 (2012)

Sociotechnical Management Model for Governance of an Ecosystem

Authors: Antonio J. Balloni, Adalberto Mantovani Martiniano de Azevedo, Marco Antonio Silveira

Abstract: This is an opinion paper regarding a proposal of a model for a Ecosystemm Governance. In the globalized world the importance of Information Systems (IS) and Information Technology (IT) become increasingly relevant regarding the requirements imposed by competition. Both the knowledge of the business as the rapid flow of information are fundamental for a enterprise decision making. Whereas the basic… ▽ More This is an opinion paper regarding a proposal of a model for a Ecosystemm Governance. In the globalized world the importance of Information Systems (IS) and Information Technology (IT) become increasingly relevant regarding the requirements imposed by competition. Both the knowledge of the business as the rapid flow of information are fundamental for a enterprise decision making. Whereas the basic definition of IT = hardware + software, i.e., tools that has been used to create, store and disseminate data and information in the creation of knowledge, and IS = IT + People + procedures that collect, process and disseminate the information to support decision making, coordination, control, analysis and visualization in the organization [01], it makes implicit the understanding of IS is essential to create competitive companies, to manage global corporations and provide customers with products and services of value. In this work we are correlating IS with the governance of management of an ecosystem. Yet, as IT is redefining the foundations of business, then the customer service, operations, strategies of product marketing and its distribution and even the knowledge management (KM) depends very much, or sometimes even completely, on the IS. The IT and its costs have become a part of day-to-day business [02]. In order to meet this complexity of business needs, today is not possible to disregard the IT and its available resources, which makes very dificult to draw up IS. Therefore, the perspective view of the Sociotehcnical Aspects of an IS are directly concerned with governance and the model proposed regarding an ecosystem. Finally, whereas the summary above, the main objective of this opinion paper is to propose the guidelines for a Sociotechnical Management Model of Governance for an Ecosystem. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Comments: 11 pages, 6 figures

Chemotaxis When Bacteria Remember: Drift versus Diffusion

Authors: Sakuntala Chatterjee, Rava Azeredo da Silveira, Yariv Kafri

Abstract: {\sl Escherichia coli} ({\sl E. coli}) bacteria govern their trajectories by switching between running and tumbling modes as a function of the nutrient concentration they experienced in the past. At short time one observes a drift of the bacterial population, while at long time one observes accumulation in high-nutrient regions. Recent work has viewed chemotaxis as a compromise between drift towar… ▽ More {\sl Escherichia coli} ({\sl E. coli}) bacteria govern their trajectories by switching between running and tumbling modes as a function of the nutrient concentration they experienced in the past. At short time one observes a drift of the bacterial population, while at long time one observes accumulation in high-nutrient regions. Recent work has viewed chemotaxis as a compromise between drift toward favorable regions and accumulation in favorable regions. A number of earlier studies assume that a bacterium resets its memory at tumbles -- a fact not borne out by experiment -- and make use of approximate coarse-grained descriptions. Here, we revisit the problem of chemotaxis without resorting to any memory resets. We find that when bacteria respond to the environment in a non-adaptive manner, chemotaxis is generally dominated by diffusion, whereas when bacteria respond in an adaptive manner, chemotaxis is dominated by a bias in the motion. In the adaptive case, favorable drift occurs together with favorable accumulation. We derive our results from detailed simulations and a variety of analytical arguments. In particular, we introduce a new coarse-grained description of chemotaxis as biased diffusion, and we discuss the way it departs from older coarse-grained descriptions. △ Less

Submitted 7 December, 2011; v1 submitted 28 March, 2011; originally announced March 2011.

Comments: Revised version, journal reference added

Journal ref: PLoS Comp. Biol. volume:7 Issue:12 e1002283 (2011)

Formation and Stability of Synaptic Receptor Domains

Authors: Christoph A. Haselwandter, Martino Calamai, Mehran Kardar, Antoine Triller, Rava Azeredo da Silveira

Abstract: Neurotransmitter receptor molecules, concentrated in postsynaptic domains along with scaffold and a number of other molecules, are key regulators of signal transmission across synapses. Employing experiment and theory, we develop a quantitative description of synaptic receptor domains in terms of a reaction-diffusion model. We show that interactions between only receptor and scaffold molecules, to… ▽ More Neurotransmitter receptor molecules, concentrated in postsynaptic domains along with scaffold and a number of other molecules, are key regulators of signal transmission across synapses. Employing experiment and theory, we develop a quantitative description of synaptic receptor domains in terms of a reaction-diffusion model. We show that interactions between only receptor and scaffold molecules, together with the rapid diffusion of receptors on the cell membrane, are sufficient for the formation and stable characteristic size of synaptic receptor domains. Our work reconciles long-term stability of synaptic receptor domains with rapid turnover and diffusion of individual receptors. △ Less

Submitted 20 December, 2010; originally announced December 2010.

Comments: 5 pages, 3 figures, Supplementary Material

Journal ref: Phys. Rev. Lett. 106, 238104 (2011)

Steady-State Chemotactic Response in E. coli

Authors: Yariv Kafri, Rava Azeredo da Silveira

Abstract: The bacterium E. coli maneuvers itself to regions with high chemoattractant concentrations by performing two stereotypical moves: `runs', in which it moves in near straight lines, and `tumbles', in which it does not advance but changes direction randomly. The duration of each move is stochastic and depends upon the chemoattractant concentration experienced in the recent past. We relate this stoc… ▽ More The bacterium E. coli maneuvers itself to regions with high chemoattractant concentrations by performing two stereotypical moves: `runs', in which it moves in near straight lines, and `tumbles', in which it does not advance but changes direction randomly. The duration of each move is stochastic and depends upon the chemoattractant concentration experienced in the recent past. We relate this stochastic behavior to the steady-state density of a bacterium population, and we derive the latter as a function of chemoattractant concentration. In contrast to earlier treatments, here we account for the effects of temporal correlations and variable tumbling durations. A range of behaviors obtains, that depends subtly upon several aspects of the system - memory, correlation, and tumbling stochasticity in particular. △ Less

Submitted 29 November, 2007; v1 submitted 25 October, 2007; originally announced October 2007.

Comments: 4 pages, 1 figure - shorter version with typos fixed

Surface and Bulk Properties of Deposits Grown with a Bidisperse Ballistic Deposition Model

Authors: F. A. Silveira, F. D. A. Aarão Reis

Abstract: We study roughness scaling of the outer surface and the internal porous structure of deposits generated with the three-dimensional bidisperse ballistic deposition (BBD), in which particles of two sizes are randomly deposited. Systematic extrapolation of roughness and dynamical exponents and the comparison of roughness distributions indicate that the top surface has Kardar-Parisi-Zhang scaling fo… ▽ More We study roughness scaling of the outer surface and the internal porous structure of deposits generated with the three-dimensional bidisperse ballistic deposition (BBD), in which particles of two sizes are randomly deposited. Systematic extrapolation of roughness and dynamical exponents and the comparison of roughness distributions indicate that the top surface has Kardar-Parisi-Zhang scaling for any ratio F of the flux between large and small particles. A scaling theory predicts the characteristic time of the crossover from random to correlated growth in BBD and provides relations between the amplitudes of roughness scaling and F in the KPZ regime. The porosity of the deposits monotonically increases with F and scales as F^{1/2} for small F, which is also explained by the scaling approach and illustrates the possibility of connecting surface growth rules and bulk properties. The suppression of relaxation mechanisms in BBD enhances the connectivity of the deposits when compared to other ballisticlike models, so that they percolate down to F~0.05. The fractal dimension of the internal surface of the percolating deposits is D_F~2.9, which is very close to the values in other ballisticlike models and suggests universality among these systems. △ Less

Submitted 27 June, 2007; v1 submitted 26 June, 2007; originally announced June 2007.

Comments: 18 pages, 8 figures, to be published in Physical Review E

Critical Hysteresis from Random Anisotropy

Authors: Rava A. da Silveira, Stefano Zapperi

Abstract: Critical hysteresis in ferromagnets is investigated through a $N$-component spin model with random anisotropies, more prevalent experimentally than the random fields used in most theoretical studies. Metastability, and the tensorial nature of anisotropy, dictate its physics. Generically, random field Ising criticality occurs, but other universality classes exist. In particular, proximity to… ▽ More Critical hysteresis in ferromagnets is investigated through a $N$-component spin model with random anisotropies, more prevalent experimentally than the random fields used in most theoretical studies. Metastability, and the tensorial nature of anisotropy, dictate its physics. Generically, random field Ising criticality occurs, but other universality classes exist. In particular, proximity to $\mathcal{O}(N)$ criticality may explain the discrepancy between experiment and earlier theories. The uniaxial anisotropy constant, which can be controlled in magnetostrictive materials by an applied stress, emerges as a natural tuning parameter. △ Less

Submitted 8 July, 2004; v1 submitted 17 November, 2003; originally announced November 2003.

Comments: four pages, revtex4; minor corrections in the text and typos corrected (published version)

Journal ref: Physical Review B 69, 212404 (2004)

Temperature and Disorder Chaos in Low Dimensional Directed Paths

Authors: Rava A. da Silveira, Jean-Philippe Bouchaud

Abstract: The responses of a $1+ε$ dimensional directed path to temperature and to potential variations are calculated exactly, and are governed by the same scaling form. The short scale decorrelation (strong correlation regime) leads to the overlap length predicted by heuristic approaches; its temperature dependence and large absolute value agree with scaling and numerical observations. Beyond the overla… ▽ More The responses of a $1+ε$ dimensional directed path to temperature and to potential variations are calculated exactly, and are governed by the same scaling form. The short scale decorrelation (strong correlation regime) leads to the overlap length predicted by heuristic approaches; its temperature dependence and large absolute value agree with scaling and numerical observations. Beyond the overlap length (weak correlation regime), the correlation decays algebraically. A clear physical mechanism explains the behavior in each case: the initial decorrelation is due to `fragile droplets,' which contribute to the entropy fluctuations as $\sqrt{T}$, while the residual correlation results from accidental intersections of otherwise uncorrelated configurations. △ Less

Submitted 4 July, 2004; v1 submitted 29 October, 2003; originally announced October 2003.

Comments: four pages, revtex4; minor modifications in the text and typos corrected

Journal ref: Physical Review Letters 93, 015901 (2004)

Ultrasharp Crossover from Quantum to Classical Decay in a Quantum Dot Flanked by a Double-Barrier Tunneling Structure

Authors: Denis A. Gorokhov, Rava A. da Silveira

Abstract: The decay of metastable states is dominated by quantum tunneling at low temperatures and by thermal activation at high temperatures. The escape rate of a particle out of a square well is calculated within a semi-classical approximation and exhibits an `ultrasharp' crossover: a kink in the decay rate separates a purely quantum regime at low temperatures from a purely thermal regime at high temper… ▽ More The decay of metastable states is dominated by quantum tunneling at low temperatures and by thermal activation at high temperatures. The escape rate of a particle out of a square well is calculated within a semi-classical approximation and exhibits an `ultrasharp' crossover: a kink in the decay rate separates a purely quantum regime at low temperatures from a purely thermal regime at high temperatures. An experimental system -- a quantum dot supplemented by a semiconductor heterostructure -- that may be used to check the prediction, along with necessary experimental conditions, are described. △ Less

Submitted 1 August, 2003; originally announced August 2003.

Comments: RevTeX, 4 pages, 3 eps figures inserted

Non-Linear Stochastic Equations with Calculable Steady States

Authors: Rava A. da Silveira, Mehran Kardar

Abstract: We consider generalizations of the Kardar--Parisi--Zhang equation that accomodate spatial anisotropies and the coupled evolution of several fields, and focus on their symmetries and non-perturbative properties. In particular, we derive generalized fluctuation--dissipation conditions on the form of the (non-linear) equations for the realization of a Gaussian probability density of the fields in t… ▽ More We consider generalizations of the Kardar--Parisi--Zhang equation that accomodate spatial anisotropies and the coupled evolution of several fields, and focus on their symmetries and non-perturbative properties. In particular, we derive generalized fluctuation--dissipation conditions on the form of the (non-linear) equations for the realization of a Gaussian probability density of the fields in the steady state. For the amorphous growth of a single height field in one dimension we give a general class of equations with exactly calculable (Gaussian and more complicated) steady states. In two dimensions, we show that any anisotropic system evolves on long time and length scales either to the usual isotropic strong coupling regime or to a linear-like fixed point associated with a hidden symmetry. Similar results are derived for textural growth equations that couple the height field with additional order parameters which fluctuate on the growing surface. In this context, we propose phenomenological equations for the growth of a crystalline material, where the height field interacts with lattice distortions, and identify two special cases that obtain Gaussian steady states. In the first case compression modes influence growth and are advected by height fluctuations, while in the second case it is the density of dislocations that couples with the height. △ Less

Submitted 31 October, 2003; v1 submitted 31 January, 2003; originally announced February 2003.

Comments: 9 pages, revtex4

Journal ref: Phys. Rev. E 68, 046108 (2003)