Langevin Trajectories between Fixed Concentrations

We consider the trajectories of particles diffusing between two infinite baths of fixed concentrations connected by a channel, e.g. a protein channel of a biological membrane. The steady state influx and efflux of Langevin trajectories at the boundaries of a finite volume containing the channel and parts of the two baths is replicated by termination of outgoing trajectories and injection according to a residual phase space density. We present a simulation scheme that maintains averaged fixed concentrations without creating spurious boundary layers, consistent with the assumed physics

Roving vehicle motion control Final report

Roving vehicle motion control for unmanned planetary and lunar exploratio

Stable divisorial gonality is in NP

Divisorial gonality and stable divisorial gonality are graph parameters, which have an origin in algebraic geometry. Divisorial gonality of a connected graph $G$ can be defined with help of a chip firing game on $G$. The stable divisorial gonality of $G$ is the minimum divisorial gonality over all subdivisions of edges of $G$. In this paper we prove that deciding whether a given connected graph has stable divisorial gonality at most a given integer $k$ belongs to the class NP. Combined with the result that (stable) divisorial gonality is NP-hard by Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof consist of a partial certificate that can be verified by solving an Integer Linear Programming instance. As a corollary, we have that the number of subdivisions needed for minimum stable divisorial gonality of a graph with $n$ vertices is bounded by $2^{p(n)}$ for a polynomial $p$

Galois covers of the open p-adic disc

This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves.Comment: 19 pages; substantial organizational and expository changes; this is the final version corresponding to the official publication in Manuscripta Mathematica; abstract update

Ions in Fluctuating Channels: Transistors Alive

Ion channels are proteins with a hole down the middle embedded in cell membranes. Membranes form insulating structures and the channels through them allow and control the movement of charged particles, spherical ions, mostly Na+, K+, Ca++, and Cl-. Membranes contain hundreds or thousands of types of channels, fluctuating between open conducting, and closed insulating states. Channels control an enormous range of biological function by opening and closing in response to specific stimuli using mechanisms that are not yet understood in physical language. Open channels conduct current of charged particles following laws of Brownian movement of charged spheres rather like the laws of electrodiffusion of quasi-particles in semiconductors. Open channels select between similar ions using a combination of electrostatic and 'crowded charge' (Lennard-Jones) forces. The specific location of atoms and the exact atomic structure of the channel protein seems much less important than certain properties of the structure, namely the volume accessible to ions and the effective density of fixed and polarization charge. There is no sign of other chemical effects like delocalization of electron orbitals between ions and the channel protein. Channels play a role in biology as important as transistors in computers, and they use rather similar physics to perform part of that role. Understanding their fluctuations awaits physical insight into the source of the variance and mathematical analysis of the coupling of the fluctuations to the other components and forces of the system.Comment: Revised version of earlier submission, as invited, refereed, and published by journa

Roving vehicle motion control Quarterly report, 1 Mar. - 31 May 1967

System and subsystem requirements for remote control of roving space vehicle motio