1,150 research outputs found

    Electrostatics of ions inside the nanopores and trans-membrane channels

    Full text link
    A model of a finite cylindrical ion channel through a phospholipid membrane of width LL separating two electrolyte reservoirs is studied. Analytical solution of the Poisson equation is obtained for an arbitrary distribution of ions inside the trans-membrane pore. The solution is asymptotically exact in the limit of large ionic strength of electrolyte on the two sides of membrane. However, even for physiological concentrations of electrolyte, the electrostatic barrier sizes found using the theory are in excellent agreement with the numerical solution of the Poisson equation. The analytical solution is used to calculate the electrostatic potential energy profiles for pores containing charged protein residues. Availability of a semi-exact interionic potential should greatly facilitate the study of ionic transport through nanopores and ion channels

    Confinement Effects on the Kinetics and Thermodynamics of Protein Dimerization

    Full text link
    In the cell, protein complexes form relying on specific interactions between their monomers. Excluded volume effects due to molecular crowding would lead to correlations between molecules even without specific interactions. What is the interplay of these effects in the crowded cellular environment? We study dimerization of a model homodimer both when the mondimers are free or tethered to each other. We consider a structured environment: Two monomers first diffuse into a cavity of size LL and then fold and bind within the cavity. The folding and binding are simulated using molecular dynamics based on a simplified topology based model. The {\it confinement} in the cell is described by an effective molecular concentration CL3C \sim L^{-3}. A two-state coupled folding and binding behavior is found. We show the maximal rate of dimerization occurred at an effective molecular concentration Cop1mC^{op}\simeq 1mM which is a relevant cellular concentration. In contrast, for tethered chains the rate keeps at a plateau when CCopCC^{op}. For both the free and tethered cases, the simulated variation of the rate of dimerization and thermodynamic stability with effective molecular concentration agrees well with experimental observations. In addition, a theoretical argument for the effects of confinement on dimerization is also made

    Effects of interatomic collisions on atom laser outcoupling

    Full text link
    We present a computational approach to the outcoupling in a simple one-dimensional atom laser model, the objective being to circumvent mathematical difficulties arising from the breakdown of the Born and Markov approximations. The approach relies on the discretization of the continuum representing the reservoir of output modes, which allows the treatment of arbitrary forms of outcoupling as well as the incorporation of non-linear terms in the Hamiltonian, associated with interatomic collisions. By considering a single-mode trapped condensate, we study the influence of elastic collisions between trapped and free atoms on the quasi steady-state population of the trap, as well as the energy distribution and the coherence of the outcoupled atoms.Comment: 25 pages, 11 figures, to appear in J. Phys.

    Coherent Tunneling of Atoms from Bose-condensed Gases at Finite Temperatures

    Full text link
    Tunneling of atoms between two trapped Bose-condensed gases at finite temperatures is explored using a many-body linear response tunneling formalism similar to that used in superconductors. To lowest order, the tunneling currents can be expressed quite generally in terms of the single-particle Green's functions of the isolated Bose gases. A coherent first-order tunneling Josephson current between two atomic Bose-condensates is found, in addition to coherent and dissipative contributions from second-order condensate-noncondensate and noncondensate-noncondensate tunneling. Our work is a generalization of Meier and Zwerger, who recently treated tunneling between uniform atomic Bose gases. We apply our formalism to the analysis of an out-coupling experiment induced by light wave fields, using a simple Bogoliubov-Popov quasiparticle approximation for the trapped Bose gas. For tunneling into the vacuum, we recover the results of Japha, Choi, Burnett and Band, who recently pointed out the usefulness of studying the spectrum of out-coupled atoms. In particular, we show that the small tunneling current of noncondensate atoms from a trapped Bose gas has a broad spectrum of energies, with a characteristic structure associated with the Bogoliubov quasiparticle u^2 and v^2 amplitudes.Comment: 26 pages, 5 figures, minor changes, to appear in PR

    Adiabatic Output Coupling of a Bose Gas at Finite Temperatures

    Get PDF
    We develop a general theory of adiabatic output coupling from trapped atomic Bose-Einstein Condensates at finite temperatures. For weak coupling, the output rate from the condensate, and the excited levels in the trap, settles in a time proportional to the inverse of the spectral width of the coupling to the output modes. We discuss the properties of the output atoms in the quasi-steady-state where the population in the trap is not appreciably depleted. We show how the composition of the output beam, containing condensate and thermal component, may be controlled by changing the frequency of the output coupler. This composition determines the first and second order coherence of the output beam. We discuss the changes in the composition of the bose gas left in the trap and show how nonresonant output coupling can stimulate either the evaporation of thermal excitations in the trap or the growth of non-thermal excitations, when pairs of correlated atoms leave the condensate.Comment: 22 pages, 6 Figs. To appear in Physical Review A All the typos from the previous submission have been fixe

    Program analysis is harder than verification: A computability perspective

    Get PDF
    We study from a computability perspective static program analysis, namely detecting sound program assertions, and verification, namely sound checking of program assertions. We first design a general computability model for domains of program assertions and correspond- ing program analysers and verifiers. Next, we formalize and prove an instantiation of Rice\u2019s theorem for static program analysis and verifica- tion. Then, within this general model, we provide and show a precise statement of the popular belief that program analysis is a harder prob- lem than program verification: we prove that for finite domains of pro- gram assertions, program analysis and verification are equivalent prob- lems, while for infinite domains, program analysis is strictly harder than verification

    Boojums and the Shapes of Domains in Monolayer Films

    Full text link
    Domains in Langmuir monolayers support a texture that is the two-dimensional version of the feature known as a boojum. Such a texture has a quantifiable effect on the shape of the domain with which it is associated. The most noticeable consequence is a cusp-like feature on the domain boundary. We report the results of an experimental and theoretical investigation of the shape of a domain in a Langmuir monolayer. A further aspect of the investigation is the study of the shape of a ``bubble'' of gas-like phase in such a monolayer. This structure supports a texture having the form of an inverse boojum. The distortion of a bubble resulting from this texture is also studied. The correspondence between theory and experiment, while not perfect, indicates that a qualitative understanding of the relationship between textures and domain shapes has been achieved.Comment: replaced with published version, 10 pages, 13 figures include
    corecore