TY - JOUR
AB - We study the relativistic electron-positron field at positive temperature in the Hartree-Fock approximation. We consider both the case with and without exchange terms, and investigate the existence and properties of minimizers. Our approach is non-perturbative in the sense that the relevant electron subspace is determined in a self-consistent way. The present work is an extension of previous work by Hainzl, Lewin, Séré and Solovej where the case of zero temperature was considered.
AU - Hainzl, Christian
AU - Lewin, Mathieu
AU - Robert Seiringer
ID - 2383
IS - 10
JF - Reviews in Mathematical Physics
TI - A nonlinear model for relativistic electrons at positive temperature
VL - 20
ER -
TY - CONF
AB - We review our proof that in a scaling limit, the time evolution of a quantum particle in a static random environment leads to a diffusion equation. In particular, we discuss the role of Feynman graph expansions and of renormalization.
AU - László Erdös
AU - Salmhofer, Manfred
AU - Yau, Horng-Tzer
ID - 2702
TI - Feynman graphs and renormalization in quantum diffusion
ER -
TY - JOUR
AB - The field of cavity quantum electrodynamics (QED), traditionally studied in atomic systems, has gained new momentum by recent reports of quantum optical experiments with solid-state semiconducting and superconducting systems. In cavity QED, the observation of the vacuum Rabi mode splitting is used to investigate the nature of matter-light interaction at a quantum-mechanical level. However, this effect can, at least in principle, be explained classically as the normal mode splitting of two coupled linear oscillators. It has been suggested that an observation of the scaling of the resonant atom-photon coupling strength in the Jaynes-Cummings energy ladder with the square root of photon number n is sufficient to prove that the system is quantum mechanical in nature. Here we report a direct spectroscopic observation of this characteristic quantum nonlinearity. Measuring the photonic degree of freedom of the coupled system, our measurements provide unambiguous spectroscopic evidence for the quantum nature of the resonant atom-field interaction in cavity QED. We explore atom-photon superposition states involving up to two photons, using a spectroscopic pump and probe technique. The experiments have been performed in a circuit QED set-up, in which very strong coupling is realized by the large dipole coupling strength and the long coherence time of a superconducting qubit embedded in a high-quality on-chip microwave cavity. Circuit QED systems also provide a natural quantum interface between flying qubits (photons) and stationary qubits for applications in quantum information processing and communication.
AU - Johannes Fink
AU - Göppl, M
AU - Baur, Matthias P
AU - Bianchetti, R
AU - Leek, Peter J
AU - Blais, Alexandre
AU - Wallraff, Andreas
ID - 1763
IS - 7202
JF - Nature
TI - Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system
VL - 454
ER -
TY - JOUR
AB - High quality on-chip microwave resonators have recently found prominent new applications in quantum optics and quantum information processing experiments with superconducting electronic circuits, a field now known as circuit quantum electrodynamics (QED). They are also used as single photon detectors and parametric amplifiers. Here we analyze the physical properties of coplanar waveguide resonators and their relation to the materials properties for use in circuit QED. We have designed and fabricated resonators with fundamental frequencies from 2 to 9 GHz and quality factors ranging from a few hundreds to a several hundred thousands controlled by appropriately designed input and output coupling capacitors. The microwave transmission spectra measured at temperatures of 20 mK are shown to be in good agreement with theoretical lumped element and distributed element transmission matrix models. In particular, the experimentally determined resonance frequencies, quality factors, and insertion losses are fully and consistently explained by the two models for all measured devices. The high level of control and flexibility in design renders these resonators ideal for storing and manipulating quantum electromagnetic fields in integrated superconducting electronic circuits.
AU - Göppl, M
AU - Fragner, A
AU - Baur, Matthias P
AU - Bianchetti, R
AU - Filipp, Stefan
AU - Johannes Fink
AU - Leek, Peter J
AU - Puebla, G
AU - Steffen, L. Kraig
AU - Wallraff, Andreas
ID - 1765
IS - 11
JF - Journal of Applied Physics
TI - Coplanar waveguide resonators for circuit quantum electrodynamics
VL - 104
ER -
TY - JOUR
AB - We consider the linear stochastic Cauchy problem dX (t) =AX (t) dt +B dWH (t), t≥ 0, where A generates a C0-semigroup on a Banach space E, WH is a cylindrical Brownian motion over a Hilbert space H, and B: H → E is a bounded operator. Assuming the existence of a unique minimal invariant measure μ∞, let Lp denote the realization of the Ornstein-Uhlenbeck operator associated with this problem in Lp (E, μ∞). Under suitable assumptions concerning the invariance of the range of B under the semigroup generated by A, we prove the following domain inclusions, valid for 1 < p ≤ 2: Image omitted. Here WHk, p (E, μinfin; denotes the kth order Sobolev space of functions with Fréchet derivatives up to order k in the direction of H. No symmetry assumptions are made on L p.
AU - Jan Maas
AU - van Neerven, Jan M
ID - 2120
IS - 4
JF - Infinite Dimensional Analysis, Quantum Probability and Related Topics
TI - On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
VL - 11
ER -
TY - JOUR
AB - Let H be a separable real Hubert space and let double struck F sign = (ℱt)t∈[0,T] be the augmented filtration generated by an H-cylindrical Brownian motion (WH(t))t∈[0,T] on a probability space (Ω, ℱ ℙ). We prove that if E is a UMD Banach space, 1 ≤ p < ∞, and F ∈ double struck D sign1,p(Ω E) is ℱT-measurable, then F = double struck E sign(F) + ∫0T Pdouble struck F sign(DF) dW H, where D is the Malliavin derivative of F and P double struck F sign is the projection onto the F-adapted elements in a suitable Banach space of Lp-stochastically integrable ℒ(H, E)-valued processes.
AU - van Neerven, Jan M
AU - Jan Maas
ID - 2121
JF - Electronic Communications in Probability
TI - A Clark-Ocone formula in UMD Banach spaces
VL - 13
ER -
TY - JOUR
AB - We present an analytic model of thermal state-to-state rotationally inelastic collisions of polar molecules in electric fields. The model is based on the Fraunhofer scattering of matter waves and requires Legendre moments characterizing the “shape” of the target in the body-fixed frame as its input. The electric field orients the target in the space-fixed frame and thereby effects a striking alteration of the dynamical observables: both the phase and amplitude of the oscillations in the partial differential cross sections undergo characteristic field-dependent changes that transgress into the partial integral cross sections. As the cross sections can be evaluated for a field applied parallel or perpendicular to the relative velocity, the model also offers predictions about steric asymmetry. We exemplify the field-dependent quantum collision dynamics with the behavior of the Ne–OCS(Σ1) and Ar–NO(Π2) systems. A comparison with the close-coupling calculations available for the latter system [Chem. Phys. Lett.313, 491 (1999)] demonstrates the model’s ability to qualitatively explain the field dependence of all the scattering features observed.
AU - Mikhail Lemeshko
AU - Friedrich, Břetislav
ID - 2146
IS - 2
JF - Journal of Chemical Physics
TI - An analytic model of rotationally inelastic collisions of polar molecules in electric fields
VL - 129
ER -
TY - JOUR
AB - Homeostasis of internal carbon dioxide (CO2) and oxygen (O2) levels is fundamental to all animals. Here we examine the CO2 response of the nematode Caenorhabditis elegans. This species inhabits rotting material, which typically has a broad CO2 concentration range. We show that well fed C. elegans avoid CO2 levels above 0.5%. Animals can respond to both absolute CO2 concentrations and changes in CO2 levels within seconds. Responses to CO2 do not reflect avoidance of acid pH but appear to define a new sensory response. Sensation of CO2 is promoted by the cGMP-gated ion channel subunits TAX-2 and TAX-4, but other pathways are also important. Robust CO2 avoidance in well fed animals requires inhibition of the DAF-16 forkhead transcription factor by the insulin-like receptor DAF-2. Starvation, which activates DAF-16, strongly suppresses CO2 avoidance. Exposure to hypoxia (<1% O2) also suppresses CO2 avoidance via activation of the hypoxia-inducible transcription factor HIF-1. The npr-1 215V allele of the naturally polymorphic neuropeptide receptor npr-1, besides inhibiting avoidance of high ambient O2 in feeding C. elegans, also promotes avoidance of high CO2. C. elegans integrates competing O2 and CO2 sensory inputs so that one response dominates. Food and allelic variation at NPR-1 regulate which response prevails. Our results suggest that multiple sensory inputs are coordinated by C. elegans to generate different coherent foraging strategies.
AU - Bretscher, A. J.
AU - Busch, K. E.
AU - de Bono, Mario
ID - 6146
IS - 23
JF - Proceedings of the National Academy of Sciences
SN - 0027-8424
TI - A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
VL - 105
ER -
TY - JOUR
AB - We calculate the E-polynomials of certain twisted GL(n,ℂ)-character varieties Mn of Riemann surfaces by counting points over finite fields using the character table of the finite group of Lie-type GL(n, q) and a theorem proved in the appendix by N. Katz. We deduce from this calculation several geometric results, for example, the value of the topological Euler characteristic of the associated PGL(n,ℂ)-character variety. The calculation also leads to several conjectures about the cohomology of Mn: an explicit conjecture for its mixed Hodge polynomial; a conjectured curious hard Lefschetz theorem and a conjecture relating the pure part to absolutely indecomposable representations of a certain quiver. We prove these conjectures for n=2.
AU - Tamas Hausel
AU - Rodríguez Villegas, Fernando
ID - 1460
IS - 3
JF - Inventiones Mathematicae
TI - Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
VL - 174
ER -
TY - JOUR
AB - We report on the control of interaction-induced dephasing of Bloch oscillations for an atomic Bose-Einstein condensate in an optical lattice. We quantify the dephasing in terms of the width of the quasimomentum distribution and measure its dependence on time for different interaction strengths which we control by means of a Feshbach resonance. For minimal interaction, the dephasing time is increased from a few to more than 20 thousand Bloch oscillation periods, allowing us to realize a BEC-based atom interferometer in the noninteracting limit.
AU - Gustavsson, Mattias
AU - Haller, Elmar
AU - Mark, Manfred
AU - Danzl, Johann G
AU - Rojas Kopeinig, Gabriel
AU - Nägerl, Hanns
ID - 1036
IS - 8
JF - Physical Review Letters
TI - Control of interaction-induced dephasing of bloch oscillations
VL - 100
ER -
TY - JOUR
AB - We experimentally demonstrate Cs2 Feshbach molecules well above the dissociation threshold, which are stable against spontaneous decay on the time scale of 1s. An optically trapped sample of ultracold dimers is prepared in a high rotational state and magnetically tuned into a region with a negative binding energy. The metastable character of these molecules arises from the large centrifugal barrier in combination with negligible coupling to states with low rotational angular momentum. A sharp onset of dissociation with increasing magnetic field is mediated by a crossing with a lower rotational dimer state and facilitates dissociation on demand with a well-defined energy.
AU - Knoop, Steven
AU - Mark, Michael
AU - Ferlaino, Francesca
AU - Danzl, Johann G
AU - Kraemer, Tobias
AU - Nägerl, Hanns
AU - Grimm, Rudolf
ID - 1037
IS - 8
JF - Physical Review Letters
TI - Metastable feshbach molecules in high rotational states
VL - 100
ER -
TY - JOUR
AB - Molecular cooling techniques face the hurdle of dissipating translational as well as internal energy in the presence of a rich electronic, vibrational, and rotational energy spectrum. In our experiment, we create a translationally ultracold, dense quantum gas of molecules bound by more than 1000 wave numbers in the electronic ground state. Specifically, we stimulate with 80% efficiency, a two-photon transfer of molecules associated on a Feshbach resonance from a Bose-Einstein condensate of cesium atoms. In the process, the initial loose, long-range electrostatic bond of the Feshbach molecule is coherently transformed into a tight chemical bond. We demonstrate coherence of the transfer in a Ramsey-type experiment and show that the molecular sample is not heated during the transfer. Our results show that the preparation of a quantum gas of molecules in specific rovibrational states is possible and that the creation of a Bose-Einstein condensate of molecules in their rovibronic ground state is within reach.
AU - Danzl, Johann G
AU - Haller, Elmar
AU - Gustavsson, Mattias
AU - Mark, Manfred
AU - Hart, Russell
AU - Bouloufa, Nadia
AU - Dulieu, Olivier
AU - Ritsch, Helmut
AU - Nägerl, Hanns
ID - 1039
IS - 5892
JF - Science
TI - Quantum gas of deeply bound ground state molecules
VL - 321
ER -
TY - JOUR
AB - We give many examples of applying Bogoliubov's forest formula to iterative solutions of various nonlinear equations. The same formula describes an extremely wide class of objects, from an ordinary quadratic equation to renormalization in quantum field theory.
AU - Morozov, Alexei Y
AU - Maksym Serbyn
ID - 965
IS - 2
JF - Theoretical and Mathematical Physics
TI - Nonlinear algebra and Bogoliubov's recursion
VL - 154
ER -
TY - JOUR
AB - Gene expression levels fluctuate even under constant external conditions. Much emphasis has usually been placed on the components of this noise that are due to randomness in transcription and translation. Here we focus on the role of noise associated with the inputs to transcriptional regulation; in particular, we analyze the effects of random arrival times and binding of transcription factors to their target sites along the genome. This contribution to the total noise sets a fundamental physical limit to the reliability of genetic control, and has clear signatures, but we show that these are easily obscured by experimental limitations and even by conventional methods for plotting the variance vs. mean expression level. We argue that simple, universal models of noise dominated by transcription and translation are inconsistent with the embedding of gene expression in a network of regulatory interactions. Analysis of recent experiments on transcriptional control in the early Drosophila embryo shows that these results are quantitatively consistent with the predicted signatures of input noise, and we discuss the experiments needed to test the importance of input noise more generally.
AU - Gasper Tkacik
AU - Gregor, Thomas
AU - Bialek, William S
ID - 3734
IS - 7
JF - PLoS One
TI - The role of input noise in transcriptional regulation
VL - 3
ER -
TY - JOUR
AB - In the simplest view of transcriptional regulation, the expression of a gene is turned on or off by changes in the concentration of a transcription factor (TF). We use recent data on noise levels in gene expression to show that it should be possible to transmit much more than just one regulatory bit. Realizing this optimal information capacity would require that the dynamic range of TF concentrations used by the cell, the input/output relation of the regulatory module, and the noise in gene expression satisfy certain matching relations, which we derive. These results provide parameter-free, quantitative predictions connecting independently measurable quantities. Although we have considered only the simplified problem of a single gene responding to a single TF, we find that these predictions are in surprisingly good agreement with recent experiments on the Bicoid/Hunchback system in the early Drosophila embryo and that this system achieves approximately 90% of its theoretical maximum information transmission.
AU - Gasper Tkacik
AU - Callan,Curtis G
AU - Bialek, William S
ID - 3740
IS - 34
JF - PNAS
TI - Information flow and optimization in transcriptional regulation
VL - 105
ER -
TY - JOUR
AB - It is widely acknowledged that detailed timing of action potentials is used to encode information, for example, in auditory pathways; however, the computational tools required to analyze encoding through timing are still in their infancy. We present a simple example of encoding, based on a recent model of time-frequency analysis, in which units fire action potentials when a certain condition is met, but the timing of the action potential depends also on other features of the stimulus. We show that, as a result, spike-triggered averages are smoothed so much that they do not represent the true features of the encoding. Inspired by this example, we present a simple method, differential reverse correlations, that can separate an analysis of what causes a neuron to spike, and what controls its timing. We analyze with this method the leaky integrate-and-fire neuron and show the method accurately reconstructs the model's kernel.
AU - Gasper Tkacik
AU - Magnasco, Marcelo O
ID - 3744
IS - 1-2
JF - Biosystems
TI - Decoding spike timing: The differential reverse-correlation method
VL - 93
ER -
TY - JOUR
AB - Revealing the spectrum of combinatorial regulation of transcription at individual promoters is essential for understanding the complex structure of biological networks. However, the computations represented by the integration of various molecular signals at complex promoters are difficult to decipher in the absence of simple cis regulatory codes. Here we synthetically shuffle the regulatory architecture-operator sequences binding activators and repressors-of a canonical bacterial promoter. The resulting library of complex promoters allows for rapid exploration of promoter encoded logic regulation. Among all possible logic functions, NOR and ANDN promoter encoded logics predominate. A simple transcriptional cis regulatory code determines both logics, establishing a straightforward map between promoter structure and logic phenotype. The regulatory code is determined solely by the type of transcriptional regulation combinations: two repressors generate a NOR: NOT (a OR b) whereas a repressor and an activator generate an ANDN: a AND NOT b. Three-input versions of both logics, having an additional repressor as an input, are also present in the library. The resulting complex promoters cover a wide dynamic range of transcriptional strengths. Synthetic promoter shuffling represents a fast and efficient method for exploring the spectrum of complex regulatory functions that can be encoded by complex promoters. From an engineering point of view, synthetic promoter shuffling enables the experimental testing of the functional properties of complex promoters that cannot necessarily be inferred ab initio from the known properties of the individual genetic components. Synthetic promoter shuffling may provide a useful experimental tool for studying naturally occurring promoter shuffling.
AU - Kinkhabwala, Ali
AU - Guet, Calin C
ID - 3751
IS - 4
JF - PLoS One
TI - Uncovering cis regulatory codes using synthetic promoter shuffling
VL - 3
ER -
TY - JOUR
AB - Dentate gyrus granule cells transmit action potentials (APs) along their unmyelinated mossy fibre axons to the CA3 region. Although the initiation and propagation of APs are fundamental steps during neural computation, little is known about the site of AP initiation and the speed of propagation in mossy fibre axons. To address these questions, we performed simultaneous somatic and axonal whole-cell recordings from granule cells in acute hippocampal slices of adult mice at approximately 23 degrees C. Injection of short current pulses or synaptic stimulation evoked axonal and somatic APs with similar amplitudes. By contrast, the time course was significantly different, as axonal APs had a higher maximal rate of rise (464 +/- 30 V s(-1) in the axon versus 297 +/- 12 V s(-1) in the soma, mean +/- s.e.m.). Furthermore, analysis of latencies between the axonal and somatic signals showed that APs were initiated in the proximal axon at approximately 20-30 mum distance from the soma, and propagated orthodromically with a velocity of 0.24 m s(-1). Qualitatively similar results were obtained at a recording temperature of approximately 34 degrees C. Modelling of AP propagation in detailed cable models of granule cells suggested that a approximately 4 times higher Na(+) channel density ( approximately 1000 pS mum(-2)) in the axon might account for both the higher rate of rise of axonal APs and the robust AP initiation in the proximal mossy fibre axon. This may be of critical importance to separate dendritic integration of thousands of synaptic inputs from the generation and transmission of a common AP output.
AU - Schmidt-Hieber, Christoph
AU - Peter Jonas
AU - Bischofberger, Josef
ID - 3822
IS - 7
JF - Journal of Physiology
TI - Action potential initiation and propagation in hippocampal mossy fibre axons
VL - 586
ER -
TY - JOUR
AB - Fast-spiking parvalbumin-expressing basket cells (BCs) represent a major type of inhibitory interneuron in the hippocampus. These cells inhibit principal cells in a temporally precise manner and are involved in the generation of network oscillations. Although BCs show a unique expression profile of Ca(2+)-permeable receptors, Ca(2+)-binding proteins and Ca(2+)-dependent signalling molecules, physiological Ca(2+) signalling in these interneurons has not been investigated. To study action potential (AP)-induced dendritic Ca(2+) influx and buffering, we combined whole-cell patch-clamp recordings with ratiometric Ca(2+) imaging from the proximal apical dendrites of rigorously identified BCs in acute slices, using the high-affinity Ca(2+) indicator fura-2 or the low-affinity dye fura-FF. Single APs evoked dendritic Ca(2+) transients with small amplitude. Bursts of APs evoked Ca(2+) transients with amplitudes that increased linearly with AP number. Analysis of Ca(2+) transients under steady-state conditions with different fura-2 concentrations and during loading with 200 microm fura-2 indicated that the endogenous Ca(2+)-binding ratio was approximately 200 (kappa(S) = 202 +/- 26 for the loading experiments). The peak amplitude of the Ca(2+) transients measured directly with 100 microm fura-FF was 39 nm AP(-1). At approximately 23 degrees C, the decay time constant of the Ca(2+) transients was 390 ms, corresponding to an extrusion rate of approximately 600 s(-1). At 34 degrees C, the decay time constant was 203 ms and the corresponding extrusion rate was approximately 1100 s(-1). At both temperatures, continuous theta-burst activity with three to five APs per theta cycle, as occurs in vivo during exploration, led to a moderate increase in the global Ca(2+) concentration that was proportional to AP number, whereas more intense stimulation was required to reach micromolar Ca(2+) concentrations and to shift Ca(2+) signalling into a non-linear regime. In conclusion, dentate gyrus BCs show a high endogenous Ca(2+)-binding ratio, a small AP-induced dendritic Ca(2+) influx, and a relatively slow Ca(2+) extrusion. These specific buffering properties of BCs will sharpen the time course of local Ca(2+) signals, while prolonging the decay of global Ca(2+) signals.
AU - Aponte, Yexica
AU - Bischofberger, Josef
AU - Peter Jonas
ID - 3825
IS - 8
JF - Journal of Physiology
TI - Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
VL - 586
ER -
TY - CONF
AB - We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between the tester and the system, where the system state space is partitioned according to some coverage criterion and the objective of the tester is to maximize the set of partitions (or coverage goals) visited during the game. We show the complexity of the maximal coverage problem for non-deterministic systems is PSPACE-complete, but is NP-complete for deterministic systems. For the special case of non-deterministic systems with a re-initializing “reset” action, which represent running a new test input on a re-initialized system, we show that the complexity is coNP-complete. Our proof technique for reset games uses randomized testing strategies that circumvent the exponentially large memory requirement of deterministic testing strategies.
AU - Krishnendu Chatterjee
AU - de Alfaro, Luca
AU - Majumdar, Ritankar S
ID - 3878
TI - The complexity of coverage
VL - 5356
ER -
TY - CONF
AB - Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memory. We show that, under certain conditions, the verification problem can be reduced to a finite-state problem, and we illustrate the use of the method by proving the correctness of several STMs, including two-phase locking, DSTM, TL2, and optimistic concurrency control. The safety properties we consider include strict serializability and opacity; the liveness properties include obstruction freedom, livelock freedom, and wait freedom.
Our main contribution lies in the structure of the proofs, which are largely automated and not restricted to the STMs mentioned above. In a first step we show that every STM that enjoys certain structural properties either violates a safety or liveness requirement on some program with two threads and two shared variables, or satisfies the requirement on all programs. In the second step we use a model checker to prove the requirement for the STM applied to a most general program with two threads and two variables. In the safety case, the model checker constructs a simulation relation between two carefully constructed finite-state transition systems, one representing the given STM applied to a most general program, and the other representing a most liberal safe STM applied to the same program. In the liveness case, the model checker analyzes fairness conditions on the given STM transition system.
AU - Guerraoui, Rachid
AU - Thomas Henzinger
AU - Jobstmann, Barbara
AU - Vasu Singh
ID - 4384
TI - Model checking transactional memories
ER -
TY - JOUR
AU - Feraru, Elena
AU - Friml, Jirí
ID - 3037
IS - 4
JF - Plant Physiology
TI - PIN polar targeting
VL - 147
ER -
TY - JOUR
AB - A complete mitochondrial (mt) genome sequence was reconstructed from a 38,000 year-old Neandertal individual with 8341 mtDNA sequences identified among 4.8 Gb of DNA generated from ∼0.3 g of bone. Analysis of the assembled sequence unequivocally establishes that the Neandertal mtDNA falls outside the variation of extant human mtDNAs, and allows an estimate of the divergence date between the two mtDNA lineages of 660,000 ± 140,000 years. Of the 13 proteins encoded in the mtDNA, subunit 2 of cytochrome c oxidase of the mitochondrial electron transport chain has experienced the largest number of amino acid substitutions in human ancestors since the separation from Neandertals. There is evidence that purifying selection in the Neandertal mtDNA was reduced compared with other primate lineages, suggesting that the effective population size of Neandertals was small.
AU - Green, Richard E
AU - Malaspinas, Anna-Sapfo
AU - Krause, Johannes
AU - Briggs, Adrian W
AU - Johnson, Philip L
AU - Caroline Uhler
AU - Meyer, Matthias
AU - Good, Jeffrey M
AU - Maricic, Tomislav
AU - Stenzel, Udo
AU - Prüfer, Kay
AU - Siebauer, Michael F
AU - Burbano, Hernän A
AU - Ronan, Michael T
AU - Rothberg, Jonathan M
AU - Egholm, Michael
AU - Rudan, Pavao
AU - Brajković, Dejana
AU - Kućan, Željko
AU - Gušić, Ivan
AU - Wikström, Mårten K
AU - Laakkonen, Liisa J
AU - Kelso, Janet F
AU - Slatkin, Montgomery
AU - Pääbo, Svante H
ID - 3307
JF - Cell
TI - A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
VL - 134
ER -
TY - JOUR
AB - We develop a new method for estimating effective population sizes, Ne, and selection coefficients, s, from time-series data of allele frequencies sampled from a single diallelic locus. The method is based on calculating transition probabilities, using a numerical solution of the diffusion process, and assuming independent binomial sampling from this diffusion process at each time point. We apply the method in two example applications. First, we estimate selection coefficients acting on the CCR5-Δ32 mutation on the basis of published samples of contemporary and ancient human DNA. We show that the data are compatible with the assumption of s = 0, although moderate amounts of selection acting on this mutation cannot be excluded. In our second example, we estimate the selection coefficient acting on a mutation segregating in an experimental phage population. We show that the selection coefficient acting on this mutation is ~0.43.
AU - Jonathan Bollback
AU - York, Thomas L
AU - Nielsen, Rasmus
ID - 3435
IS - 1
JF - Genetics
TI - Estimation of 2Nes From Temporal Allele Frequency Data
VL - 179
ER -
TY - CONF
AB - Simulation and bisimulation metrics for stochastic systems provide a quantitative gen- eralization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in the quantitative μ-calculus and related probabilistic logics.
We present algorithms for computing the metrics on Markov decision processes (MDPs), turn- based stochastic games, and concurrent games. For turn-based games and MDPs, we provide a polynomial-time algorithm based on linear programming for the computation of the one-step metric distance between states. The algorithm improves on the previously known exponential-time algo- rithm based on a reduction to the theory of reals. We then present PSPACE algorithms for both the decision problem and the problem of approximating the metric distance between two states, matching the best known bound for Markov chains. For the bisimulation kernel of the metric, which corresponds to probabilistic bisimulation, our algorithm works in time O(n4) for both turn-based games and MDPs; improving the previously best known O(n9 · log(n)) time algorithm for MDPs. For a concurrent game G, we show that computing the exact distance between states is at least as hard as computing the value of concurrent reachability games and the square-root-sum problem in computational geometry. We show that checking whether the metric distance is bounded by a rational r, can be accomplished via a reduction to the theory of real closed fields, involving a
formula with three quantifier alternations, yielding O(|G|O(|G|5)) time complexity, improving the previously known reduction with O(|G|O(|G|7)) time complexity. These algorithms can be iterated
to approximate the metrics using binary search.
AU - Chatterjee, Krishnendu
AU - De Alfaro, Luca
AU - Majumdar, Ritankar
AU - Raman, Vishwanath
ID - 3504
TI - Algorithms for game metrics
VL - 2
ER -
TY - JOUR
AB - It was recently shown by Hansen that the Wigner-Yanase entropy is, for general states of quantum systems, not subadditive with respect to decomposition into two subsystems, although this property is known to hold for pure states. We investigate the question whether the weaker property of subadditivity for pure states with respect to decomposition into more than two subsystems holds. This property would have interesting applications in quantum chemistry. We show, however, that it does not hold in general, and provide a counterexample.
AU - Robert Seiringer
ID - 2367
IS - 3
JF - Letters in Mathematical Physics
TI - On the failure of subadditivity of the Wigner-Yanase entropy
VL - 80
ER -
TY - JOUR
AB - After recalling briefly the connection between spontaneous symmetry breaking and off-diagonal long-range order for models of magnets a general proof of spontaneous breaking of gauge symmetry as a consequence of Bose-Einstein condensation is presented. The proof is based on a rigorous validation of Bogoliubov's c-number substitution for the k = 0 mode operator α0.
AU - Lieb, Élliott H
AU - Robert Seiringer
AU - Yngvason, Jakob
ID - 2370
IS - 3
JF - Reports on Mathematical Physics
TI - Bose-Einstein condensation and spontaneous symmetry breaking
VL - 59
ER -
TY - JOUR
AB - We give a proof of stability of relativistic matter with magnetic fields all the way up to the critical value of the nuclear charge Zα = 2/π.
AU - Frank, Rupert L
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2371
IS - 2
JF - Communications in Mathematical Physics
TI - Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value
VL - 275
ER -
TY - JOUR
AB - The increasing interest in the Müller density-matrix-functional theory has led us to a systematic mathematical investigation of its properties. This functional is similar to the Hartree-Fock (HF) functional, but with a modified exchange term in which the square of the density matrix γ(x, x′) is replaced by the square of γ1 2 (x, x′). After an extensive introductory discussion of density-matrix-functional theory we show, among other things, that this functional is convex (unlike the HF functional) and that energy minimizing γ 's have unique densities ρ(r), which is a physically desirable property often absent in HF theory. We show that minimizers exist if N≤Z, and derive various properties of the minimal energy and the corresponding minimizers. We also give a precise statement about the equation for the orbitals of γ, which is more complex than for HF theory. We state some open mathematical questions about the theory together with conjectured solutions.
AU - Frank, Rupert L
AU - Lieb, Élliott H
AU - Robert Seiringer
AU - Siedentop, Heinz K
ID - 2372
IS - 5
JF - Physical Review A - Atomic, Molecular, and Optical Physics
TI - Müller's exchange-correlation energy in density-matrix-functional theory
VL - 76
ER -
TY - JOUR
AB - For the BCS equation with local two-body interaction λV(x), we give a rigorous analysis of the asymptotic behavior of the critical temperature as γ"0. We derive necessary and sufficient conditions onV(x) for the existence of a nontrivial solution for all values of γ>0.
AU - Frank, Rupert L
AU - Hainzl, Christian
AU - Naboko, Serguei N
AU - Robert Seiringer
ID - 2373
IS - 4
JF - Journal of Geometric Analysis
TI - The critical temperature for the BCS equation at weak coupling
VL - 17
ER -
TY - JOUR
AB - We give a Cwikel-Lieb-Rozenblum type bound on the number of bound states of Schrödinger operators with matrix-valued potentials using the functional integral method of Lieb. This significantly improves the constant in this inequality obtained earlier by Hundertmark.
AU - Frank, Rupert L
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2375
IS - 2-3
JF - Letters in Mathematical Physics
TI - Number of bound states of Schrödinger operators with matrix-valued potentials
VL - 82
ER -
TY - CHAP
AU - László Erdös
ED - Gesztesy, Fritz
ED - Deift, Percy
ED - Galvez, Percy
ED - Perry, Peter
ED - Schlag, Wilhelm
ID - 2705
T2 - Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon's 60th Birthday
TI - Recent developments in quantum mechanics with magnetic fields
VL - 76
ER -
TY - JOUR
AB - In quantum information science, the phase of a wave function plays an important role in encoding information. Although most experiments in this field rely on dynamic effects to manipulate this information, an alternative approach is to use geometric phase, which has been argued to have potential fault tolerance. We demonstrated the controlled accumulation of a geometric phase, Berry's phase, in a superconducting qubit; we manipulated the qubit geometrically by means of microwave radiation and observed the accumulated phase in an interference experiment. We found excellent agreement with Berry's predictions and also observed a geometry-dependent contribution to dephasing.
AU - Leek, Peter J
AU - Johannes Fink
AU - Blais, Alexandre
AU - Bianchetti, R
AU - Göppl, M
AU - Gambetta, Jay M
AU - Schuster, David I
AU - Frunzio, Luigi
AU - Schoelkopf, Robert J
AU - Wallraff, Andreas
ID - 1762
IS - 5858
JF - Science
TI - Observation of Berry's phase in a solid-state qubit
VL - 318
ER -
TY - CONF
AB - We present a novel multi-scale representation and acquisition method for the animation of high-resolution facial geometry and wrinkles. We first acquire a static scan of the face including reflectance data at the highest possible quality. We then augment a traditional marker-based facial motion-capture system by two synchronized video cameras to track expression wrinkles. The resulting model consists of high-resolution geometry, motion-capture data, and expression wrinkles in 2D parametric form. This combination represents the facial shape and its salient features at multiple scales. During motion synthesis the motion-capture data deforms the high-resolution geometry using a linear shell-based mesh-deformation method. The wrinkle geometry is added to the facial base mesh using nonlinear energy optimization. We present the results of our approach for performance replay as well as for wrinkle editing.
AU - Bernd Bickel
AU - Botsch, Mario
AU - Angst, Roland
AU - Matusik, Wojciech
AU - Otaduy, Miguel A
AU - Pfister, Hanspeter
AU - Groß, Markus S
ID - 2091
TI - Multi scale capture of facial geometry and motion
ER -
TY - JOUR
AB - We present a novel multi-scale representation and acquisition method for the animation of high-resolution facial geometry and wrinkles. We first acquire a static scan of the face including reflectance data at the highest possible quality. We then augment a traditional marker-based facial motion-capture system by two synchronized video cameras to track expression wrinkles. The resulting model consists of high-resolution geometry, motion-capture data, and expression wrinkles in 2D parametric form. This combination represents the facial shape and its salient features at multiple scales. During motion synthesis the motion-capture data deforms the high-resolution geometry using a linear shell-based mesh-deformation method. The wrinkle geometry is added to the facial base mesh using nonlinear energy optimization. We present the results of our approach for performance replay as well as for wrinkle editing.
AU - Bernd Bickel
AU - Botsch, Mario
AU - Angst, Roland
AU - Matusik, Wojciech
AU - Otaduy, Miguel A
AU - Pfister, Hanspeter
AU - Groß, Markus S
ID - 2093
IS - 3
JF - ACM Transactions on Graphics
TI - Multi scale capture of facial geometry and motion
VL - 26
ER -
TY - JOUR
AB - We extend to infinite dimensions an explicit formula of Chill, Fašangová, Metafune, and Pallara for the optimal angle of analyticity of analytic Ornstein-Uhlenbeck semigroups. The main ingredient is an abstract representation of the Ornstein-Uhlenbeck operator in divergence form.
AU - Jan Maas
AU - van Neerven, Jan M
ID - 2118
IS - 3
JF - Archiv der Mathematik
TI - On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
VL - 89
ER -
TY - JOUR
AU - De La Bretèche, Régis
AU - Browning, Timothy D
ID - 221
IS - 1
JF - Michigan Mathematical Journal
TI - On Manin's conjecture for singular del Pezzo surfaces of degree four, I
VL - 55
ER -
TY - JOUR
AB - Acknowledgements. The authors are grateful to Ulrich Derenthal and Brendan Hassett for several useful conversations relating to universal torsors for singular del Pezzo surfaces. Special thanks are due to Roger Heath–Brown whose ideas led us to the proof of Lemma 6. The paper was finalised while the first author was at the École Normale Supérieure, and the second author was at Oxford University supported by EPSRC grant number GR/R93155/01. The hospitality and financial support of these institutions is gratefully acknowledged. Finally, the authors would like to thank the anonymous referee for his careful reading of the manuscript and numerous useful suggestions.
AU - de la Bretèche, Régis
AU - Timothy Browning
ID - 222
IS - 3
JF - Mathematical Proceedings of the Cambridge Philosophical Society
TI - On Manin's conjecture for singular del Pezzo surfaces of degree four, II
VL - 143
ER -
TY - JOUR
AB - Let Q be a non-singular diagonal quadratic form in at least four variables. We provide upper bounds for the number of integer solutions to the equation Q = 0, which lie in a box with sides of length 2B, as B → ∞. The estimates obtained are completely uniform in the coefficients of the form, and become sharper as they grow larger in modulus.
AU - Timothy Browning
ID - 223
IS - 1
JF - Monatshefte fur Mathematik
TI - Density of integer solutions to diagonal quadratic forms
VL - 152
ER -
TY - JOUR
AB - In many species, females show reduced expression of a trait that is under sexual selection in males, and this expression is thought to be maintained through genetic associations with the male phenotype. However, there is also the potential for the female trait to convey an advantage in intrasexual conflicts over resources. We tested this hypothesis in a feral population of Soay sheep, in which males and females have a polymorphism for horn development, producing either full (normal horned), reduced (scurred) or no (polled, females only) horns. During the lambing period, females who possessed horns were more likely to initiate and win aggressive interactions, independent of age, weight and birthing status. The occurrence of aggression was also context dependent, decreasing over the lambing period and associated with local density. Our results demonstrate that a trait that confers benefits to males during intrasexual competition for mates may also be used by females in intrasexual competition over resources: males use weaponry to gain mates, whereas females use weaponry to gain food.
AU - Robinson, Matthew Richard
AU - Kruuk, Loeske E.B
ID - 7753
IS - 6
JF - Biology Letters
SN - 1744-9561
TI - Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
VL - 3
ER -
TY - GEN
AB - These lecture notes describe the current state of affairs for Manin's conjecture in the context of del Pezzo surfaces.
AU - Browning, Timothy D
ID - 6321
T2 - arXiv
TI - The Manin conjecture in dimension 2
ER -
TY - CHAP
AB - This paper surveys recent progress towards the Manin conjecture for (singular and non-singular) del Pezzo surfaces. To illustrate some of the techniques available, an upper bound of the expected order of magnitude is established for a singular del Pezzo surface of degree four.
AU - Browning, Timothy D
ID - 6323
T2 - A Tribute to Gauss and Dirichlet
TI - An overview of Manin's conjecture for del Pezzo surfaces
VL - 7
ER -
TY - JOUR
AB - A 671 nm diode laser with a mode-hop-free tuning range of 40 GHz is described. This long tuning range is achieved by simultaneously ramping the external cavity length with the laser injection current. The laser output pointing remains fixed, independent of its frequency because of the cover slip cavity design. This system is simple, economical, robust, and easy to use for spectroscopy, as we demonstrate with lithium vapor and lithium atom beam experiments.
AU - Carr, Adra
AU - Serchest, Yancey
AU - Waitukaitis, Scott R
AU - Perreault, John
AU - Lonij, Vincent
AU - Cronin, Alexander
ID - 128
IS - 10
JF - Review of Scientific Instruments
TI - Cover slip external cavity diode laser
VL - 78
ER -
TY - CHAP
AB - This book contains research articles on Diophantine Geometry, written by participants of a research program held at the Ennio De Giorgi Mathematical Research Center in Pisa, Italy, during the period April – July 2005. The authors are eminent experts in the field. Several subfields of the main topic are presented; the volume thus is particularly useful to get a broad overview of recent research developments.
AU - Browning, Timothy D
AU - Heath Brown, Roger
ED - Zannier, Umberto
ID - 167
T2 - Diophantine Geometry
TI - Simultaneous equal sums of three powers
VL - 4
ER -
TY - JOUR
AB - We explore the rich internal structure of Cs2 Feshbach molecules. Pure ultracold molecular samples are prepared in a CO2 -laser trap, and a multitude of weakly bound states is populated by elaborate magnetic-field ramping techniques. Our methods use different Feshbach resonances as input ports and various internal level crossings for controlled state transfer. We populate higher partial-wave states of up to eight units of rotational angular momentum (l -wave states). We investigate the molecular structure by measurements of the magnetic moments for various states. Avoided level crossings between different molecular states are characterized through the changes in magnetic moment and by a Landau-Zener tunneling method. Based on microwave spectroscopy, we present a precise measurement of the magnetic-field-dependent binding energy of the weakly bound s -wave state that is responsible for the large background scattering length of Cs. This state is of particular interest because of its quantum-halo character.
AU - Mark, Michael
AU - Ferlaino, Francesca
AU - Knoop, Steven
AU - Danzl, Johann G
AU - Kraemer, Tobias
AU - Chin, Cheng
AU - Nägerl, Hanns
AU - Grimm, Rudolf
ID - 1035
IS - 4
JF - Physical Review A - Atomic, Molecular, and Optical Physics
TI - Spectroscopy of ultracold trapped cesium Feshbach molecules
VL - 76
ER -
TY - JOUR
AB - The interaction of tidal currents with sea-floor topography results in the radiation of internal gravity waves into the ocean interior. These waves are called internal tides and their dissipation due to nonlinear wave breaking and concomitant three-dimensional turbulence could play an important role in the mixing of the abyssal ocean, and hence in controlling the large-scale ocean circulation.
As part of on-going work aimed at providing a theory for the vertical distribution of wave breaking over sea-floor topography, in this paper we investigate the instability of internal tides in a very simple linear model that helps us to relate the formation of unstable regions to simple features in the sea-floor topography. For two-dimensional tides over one-dimensional topography we find that the formation of overturning instabilities is closely linked to the singularities in the topography shape and that it is possible to have stable waves at the sea floor and unstable waves in the ocean interior above.
For three-dimensional tides over two-dimensional topography there is in addition an effect of geometric focusing of wave energy into localized regions of high wave amplitude, and we investigate this focusing effect in simple examples. Overall, we find that the distribution of unstable wave breaking regions can be highly non-uniform even for very simple idealized topography shapes.
AU - BÜHLER, OLIVER
AU - MULLER, Caroline J
ID - 9149
JF - Journal of Fluid Mechanics
KW - Mechanical Engineering
KW - Mechanics of Materials
KW - Condensed Matter Physics
SN - 0022-1120
TI - Instability and focusing of internal tides in the deep ocean
VL - 588
ER -
TY - GEN
AB - Recent work has shown that probabilistic models based on pairwise interactions-in the simplest case, the Ising model-provide surprisingly accurate descriptions of experiments on real biological networks ranging from neurons to genes. Finding these models requires us to solve an inverse problem: given experimentally measured expectation values, what are the parameters of the underlying Hamiltonian? This problem sits at the intersection of statistical physics and machine learning, and we suggest that more efficient solutions are possible by merging ideas from the two fields. We use a combination of recent coordinate descent algorithms with an adaptation of the histogram Monte Carlo method, and implement these techniques to take advantage of the sparseness found in data on real neurons. The resulting algorithm learns the parameters of an Ising model describing a network of forty neurons within a few minutes. This opens the possibility of analyzing much larger data sets now emerging, and thus testing hypotheses about the collective behaviors of these networks.
AU - Broderick,Tamara
AU - Dudik,Miroslav
AU - Gasper Tkacik
AU - Schapire,Robert E
AU - Bialek, William S
ID - 3742
T2 - ArXiv
TI - Faster solutions of the inverse pairwise Ising problem
VL - q-bio.QM
ER -
TY - JOUR
AB - We study a generalised model of population growth in which the state variable is population growth rate instead of population size. Stochastic parametric perturbations, modelling phenotypic variability, lead to a Langevin system with two sources of multiplicative noise. The stationary probability distributions have two characteristic power-law scales. Numerical simulations show that noise suppresses the explosion of the growth rate which occurs in the deterministic counterpart. Instead, in different parameter regimes populations will grow with "anomalous" stochastic rates and (i) stabilise at "random carrying capacities", or (ii) go extinct in random times. Using logistic fits to reconstruct the simulated data, we find that even highly significant estimations do not recover or reflect information about the deterministic part of the process. Therefore, the logistic interpretation is not biologically meaningful. These results have implications for distinct model-aided calculations in biological situations because these kinds of estimations could lead to spurious conclusions. (c) 2006 Elsevier B.V. All rights reserved.
AU - de Vladar, Harold
AU - Pen, I.
ID - 4234
JF - Physica A
TI - Determinism, noise, and spurious estimations in a generalised model of population growth
VL - 373
ER -
TY - JOUR
AB - Mechanical single-molecule techniques offer exciting possibilities to investigate protein folding and stability in native environments at submolecular resolution. By applying a free-energy reconstruction procedure developed by Hummer and Szabo, which is based on a statistical theorem introduced by Jarzynski, we determined the unfolding free energy of the membrane proteins bacteriorhodopsin (BR), halorhodopsin, and the sodium-proton antiporter NhaA. The calculated energies ranged from 290.5kcal/mol for BR to 485.5kcal/mol for NhaA. For the remarkably stable BR, the equilibrium unfolding free energy was independent of pulling rate and temperature ranging between 18 and 42°C. Our experiments also revealed heterogeneous energetic properties in individual transmembrane helices. In halorhodopsin, the stabilization of a short helical segment yielded a characteristic signature in the energy profile. In NhaA, a pronounced peak was observed at a functionally important site in the protein. Since a large variety of single- and multispan membrane proteins can be tackled in mechanical unfolding experiments, our approach provides a basis for systematically elucidating energetic properties of membrane proteins with the resolution of individual secondary-structure elements.
AU - Preiner, Johannes
AU - Harald Janovjak
AU - Rankl, Christian
AU - Knaus, Helene
AU - Cisneros, David A
AU - Kedrov, Alexej
AU - Kienberger, Ferry
AU - Mueller, Daniel J
AU - Hinterdorfer, Peter
ID - 3411
IS - 3
JF - Biophysical Journal
TI - Free energy of membrane protein unfolding derived from single-molecule force measurements
VL - 93
ER -
TY - JOUR
AB - We present a general theoretical framework to discuss mechanisms of morphogen transport and gradient formation in a cell layer. Trafficking events on the cellular scale lead to transport on larger scales. We discuss in particular the case of transcytosis where morphogens undergo repeated rounds of internalization into cells and recycling. Based on a description on the cellular scale, we derive effective nonlinear transport equations in one and two dimensions which are valid on larger scales. We derive analytic expressions for the concentration dependence of the effective diffusion coefficient and the effective degradation rate. We discuss the effects of a directional bias on morphogen transport and those of the coupling of the morphogen and receptor kinetics. Furthermore, we discuss general properties of cellular transport processes such as the robustness of gradients and relate our results to recent experiments on the morphogen Decapentaplegic (Dpp) that acts in the wing disk of the fruit fly Drosophila.
© 2007 The American Physical Society
AU - Bollenbach, Mark Tobias
AU - Kruse, Karsten
AU - Pantazis, Periklis
AU - Gonzalez Gaitan, Marcos
AU - Julicher, Frank
ID - 3427
IS - 1
JF - Physical Review E Statistical Nonlinear and Soft Matter Physics
TI - Morphogen transport in epithelia
VL - 75
ER -