@article{3822,
abstract = {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.},
author = {Schmidt-Hieber, Christoph and Peter Jonas and Bischofberger, Josef},
journal = {Journal of Physiology},
number = {7},
pages = {1849 -- 57},
publisher = {Wiley-Blackwell},
title = {{Action potential initiation and propagation in hippocampal mossy fibre axons}},
doi = {10.1113/jphysiol.2007.150151 },
volume = {586},
year = {2008},
}
@article{3825,
abstract = {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.},
author = {Aponte, Yexica and Bischofberger, Josef and Peter Jonas},
journal = {Journal of Physiology},
number = {8},
pages = {2061 -- 75},
publisher = {Wiley-Blackwell},
title = {{Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus}},
doi = {10.1113/jphysiol.2007.147298},
volume = {586},
year = {2008},
}
@inproceedings{3878,
abstract = {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.},
author = {Krishnendu Chatterjee and de Alfaro, Luca and Majumdar, Ritankar S},
pages = {91 -- 106},
publisher = {Springer},
title = {{The complexity of coverage}},
doi = {10.1007/978-3-540-89330-1_7},
volume = {5356},
year = {2008},
}
@inproceedings{4384,
abstract = {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.},
author = {Guerraoui, Rachid and Thomas Henzinger and Jobstmann, Barbara and Vasu Singh},
pages = {372 -- 382},
publisher = {ACM},
title = {{Model checking transactional memories}},
doi = {10.1145/1375581.1375626},
year = {2008},
}
@article{3037,
author = {Feraru, Elena and Friml, Jirí},
journal = {Plant Physiology},
number = {4},
pages = {1553 -- 1559},
publisher = {American Society of Plant Biologists},
title = {{PIN polar targeting}},
doi = {10.1104/pp.108.121756},
volume = {147},
year = {2008},
}
@article{3307,
abstract = {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.},
author = {Green, Richard E and Malaspinas, Anna-Sapfo and Krause, Johannes and Briggs, Adrian W and Johnson, Philip L and Caroline Uhler and Meyer, Matthias and Good, Jeffrey M and Maricic, Tomislav and Stenzel, Udo and Prüfer, Kay and Siebauer, Michael F and Burbano, Hernän A and Ronan, Michael T and Rothberg, Jonathan M and Egholm, Michael and Rudan, Pavao and Brajković, Dejana and Kućan, Željko and Gušić, Ivan and Wikström, Mårten K and Laakkonen, Liisa J and Kelso, Janet F and Slatkin, Montgomery and Pääbo, Svante H},
journal = {Cell},
pages = {416 -- 426},
publisher = {Cell Press},
title = {{A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing}},
doi = {10.1016/j.cell.2008.06.021},
volume = {134},
year = {2008},
}
@article{3435,
abstract = {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.},
author = {Jonathan Bollback and York, Thomas L and Nielsen, Rasmus},
journal = {Genetics},
number = {1},
pages = {497 -- 502},
publisher = {Genetics Society of America},
title = {{Estimation of 2Nes From Temporal Allele Frequency Data}},
doi = {10.1534/genetics.107.085019},
volume = {179},
year = {2008},
}
@inproceedings{3504,
abstract = {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.},
author = {Chatterjee, Krishnendu and De Alfaro, Luca and Majumdar, Ritankar and Raman, Vishwanath},
pages = {107 -- 118},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Algorithms for game metrics}},
doi = {10.4230/LIPIcs.FSTTCS.2008.1745},
volume = {2},
year = {2008},
}
@article{9457,
abstract = {Eukaryotic chromatin is separated into functional domains differentiated by posttranslational histone modifications, histone variants, and DNA methylation1–6. Methylation is associated with repression of transcriptional initiation in plants and animals, and is frequently found in transposable elements. Proper methylation patterns are critical for eukaryotic development4,5, and aberrant methylation-induced silencing of tumor suppressor genes is a common feature of human cancer7. In contrast to methylation, the histone variant H2A.Z is preferentially deposited by the Swr1 ATPase complex near 5′ ends of genes where it promotes transcriptional competence8–20. How DNA methylation and H2A.Z influence transcription remains largely unknown. Here we show that in the plant Arabidopsis thaliana, regions of DNA methylation are quantitatively deficient in H2A.Z. Exclusion of H2A.Z is seen at sites of DNA methylation in the bodies of actively transcribed genes and in methylated transposons. Mutation of the MET1 DNA methyltransferase, which causes both losses and gains of DNA methylation4,5, engenders opposite changes in H2A.Z deposition, while mutation of the PIE1 subunit of the Swr1 complex that deposits H2A.Z17 leads to genome-wide hypermethylation. Our findings indicate that DNA methylation can influence chromatin structure and effect gene silencing by excluding H2A.Z, and that H2A.Z protects genes from DNA methylation.},
author = {ZILBERMAN, Daniel and Coleman-Derr, Devin and Ballinger, Tracy and Henikoff, Steven},
issn = {1476-4687},
journal = {Nature},
keywords = {Multidisciplinary},
number = {7218},
pages = {125--129},
publisher = {Springer Nature},
title = {{Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks}},
doi = {10.1038/nature07324},
volume = {456},
year = {2008},
}
@article{2367,
abstract = {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.},
author = {Robert Seiringer},
journal = {Letters in Mathematical Physics},
number = {3},
pages = {285 -- 288},
publisher = {Springer},
title = {{On the failure of subadditivity of the Wigner-Yanase entropy}},
doi = {10.1007/s11005-007-0159-x},
volume = {80},
year = {2007},
}
@article{2370,
abstract = {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.},
author = {Lieb, Élliott H and Robert Seiringer and Yngvason, Jakob},
journal = {Reports on Mathematical Physics},
number = {3},
pages = {389 -- 399},
publisher = {Elsevier},
title = {{Bose-Einstein condensation and spontaneous symmetry breaking}},
doi = {10.1016/S0034-4877(07)80074-7},
volume = {59},
year = {2007},
}
@article{2371,
abstract = {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/π.},
author = {Frank, Rupert L and Lieb, Élliott H and Robert Seiringer},
journal = {Communications in Mathematical Physics},
number = {2},
pages = {479 -- 489},
publisher = {Springer},
title = {{Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value}},
doi = {10.1007/s00220-007-0307-2},
volume = {275},
year = {2007},
}
@article{2372,
abstract = {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.},
author = {Frank, Rupert L and Lieb, Élliott H and Robert Seiringer and Siedentop, Heinz K},
journal = {Physical Review A - Atomic, Molecular, and Optical Physics},
number = {5},
publisher = {American Physical Society},
title = {{Müller's exchange-correlation energy in density-matrix-functional theory}},
doi = {10.1103/PhysRevA.76.052517},
volume = {76},
year = {2007},
}
@article{2373,
abstract = {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.},
author = {Frank, Rupert L and Hainzl, Christian and Naboko, Serguei N and Robert Seiringer},
journal = {Journal of Geometric Analysis},
number = {4},
pages = {559 -- 567},
publisher = {Springer},
title = {{The critical temperature for the BCS equation at weak coupling}},
doi = {10.1007/BF02937429},
volume = {17},
year = {2007},
}
@article{2375,
abstract = {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.},
author = {Frank, Rupert L and Lieb, Élliott H and Robert Seiringer},
journal = {Letters in Mathematical Physics},
number = {2-3},
pages = {107 -- 116},
publisher = {Springer},
title = {{Number of bound states of Schrödinger operators with matrix-valued potentials}},
doi = {10.1007/s11005-007-0211-x},
volume = {82},
year = {2007},
}
@inbook{2705,
author = {László Erdös},
booktitle = {Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon's 60th Birthday },
editor = {Gesztesy, Fritz and Deift, Percy and Galvez, Percy and Perry, Peter and Schlag, Wilhelm},
pages = {401 -- 428},
publisher = {American Mathematical Society},
title = {{Recent developments in quantum mechanics with magnetic fields}},
volume = {76},
year = {2007},
}
@article{1762,
abstract = {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.},
author = {Leek, Peter J and Johannes Fink and Blais, Alexandre and Bianchetti, R and Göppl, M and Gambetta, Jay M and Schuster, David I and Frunzio, Luigi and Schoelkopf, Robert J and Wallraff, Andreas},
journal = {Science},
number = {5858},
pages = {1889 -- 1892},
publisher = {American Association for the Advancement of Science},
title = {{Observation of Berry's phase in a solid-state qubit}},
doi = {10.1126/science.1149858},
volume = {318},
year = {2007},
}
@inproceedings{2091,
abstract = {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. },
author = {Bernd Bickel and Botsch, Mario and Angst, Roland and Matusik, Wojciech and Otaduy, Miguel A and Pfister, Hanspeter and Groß, Markus S},
publisher = {ACM},
title = {{Multi scale capture of facial geometry and motion}},
doi = {doi:10.1145/1275808.1276419},
year = {2007},
}
@article{2093,
abstract = {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. },
author = {Bernd Bickel and Botsch, Mario and Angst, Roland and Matusik, Wojciech and Otaduy, Miguel A and Pfister, Hanspeter and Groß, Markus S},
journal = {ACM Transactions on Graphics},
number = {3},
publisher = {ACM},
title = {{Multi scale capture of facial geometry and motion}},
doi = {10.1145/1276377.1276419},
volume = {26},
year = {2007},
}
@article{2118,
abstract = {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. },
author = {Jan Maas and van Neerven, Jan M},
journal = {Archiv der Mathematik},
number = {3},
pages = {226 -- 236},
publisher = {Birkhäuser},
title = {{On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions}},
doi = {10.1007/s00013-007-2082-x},
volume = {89},
year = {2007},
}
@article{221,
author = {De La Bretèche, Régis and Browning, Timothy D},
journal = {Michigan Mathematical Journal},
number = {1},
pages = {51 -- 80},
publisher = {Project Euclid},
title = {{On Manin's conjecture for singular del Pezzo surfaces of degree four, I}},
doi = {10.1307/mmj/1177681985},
volume = {55},
year = {2007},
}
@article{222,
abstract = {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.},
author = {de la Bretèche, Régis and Timothy Browning},
journal = {Mathematical Proceedings of the Cambridge Philosophical Society},
number = {3},
pages = {579 -- 605},
publisher = {Unknown},
title = {{On Manin's conjecture for singular del Pezzo surfaces of degree four, II}},
doi = {10.1017/S0305004107000205},
volume = {143},
year = {2007},
}
@article{223,
abstract = {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.},
author = {Timothy Browning},
journal = {Monatshefte fur Mathematik},
number = {1},
pages = {13 -- 38},
publisher = {Springer},
title = {{Density of integer solutions to diagonal quadratic forms}},
doi = {10.1007/s00605-007-0457-5},
volume = {152},
year = {2007},
}
@article{7753,
abstract = {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.},
author = {Robinson, Matthew Richard and Kruuk, Loeske E.B},
issn = {1744-9561},
journal = {Biology Letters},
number = {6},
pages = {651--654},
publisher = {The Royal Society},
title = {{Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep}},
doi = {10.1098/rsbl.2007.0278},
volume = {3},
year = {2007},
}
@unpublished{6321,
abstract = {These lecture notes describe the current state of affairs for Manin's conjecture in the context of del Pezzo surfaces.},
author = {Browning, Timothy D},
booktitle = {arXiv},
title = {{The Manin conjecture in dimension 2}},
year = {2007},
}
@inbook{6323,
abstract = {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.},
author = {Browning, Timothy D},
booktitle = {A Tribute to Gauss and Dirichlet},
pages = {39--56},
publisher = {American Mathematical Society},
title = {{An overview of Manin's conjecture for del Pezzo surfaces}},
volume = {7},
year = {2007},
}
@article{128,
abstract = {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. },
author = {Carr, Adra and Serchest, Yancey and Waitukaitis, Scott R and Perreault, John and Lonij, Vincent and Cronin, Alexander},
journal = {Review of Scientific Instruments},
number = {10},
publisher = {American Institute of Physics},
title = {{Cover slip external cavity diode laser}},
doi = {10.1063/1.2801006},
volume = {78},
year = {2007},
}
@inbook{167,
abstract = {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.},
author = {Browning, Timothy D and Heath Brown, Roger},
booktitle = {Diophantine Geometry},
editor = {Zannier, Umberto},
pages = {93 -- 100},
publisher = {Edizioni della Normale},
title = {{Simultaneous equal sums of three powers}},
volume = {4},
year = {2007},
}
@article{1035,
abstract = {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.},
author = {Mark, Michael and Ferlaino, Francesca and Knoop, Steven and Danzl, Johann G and Kraemer, Tobias and Chin, Cheng and Nägerl, Hanns and Grimm, Rudolf},
journal = {Physical Review A - Atomic, Molecular, and Optical Physics},
number = {4},
publisher = {American Physical Society},
title = {{Spectroscopy of ultracold trapped cesium Feshbach molecules}},
doi = {10.1103/PhysRevA.76.042514},
volume = {76},
year = {2007},
}
@article{9149,
abstract = {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.},
author = {BÜHLER, OLIVER and MULLER, Caroline J},
issn = {0022-1120},
journal = {Journal of Fluid Mechanics},
keywords = {Mechanical Engineering, Mechanics of Materials, Condensed Matter Physics},
pages = {1--28},
publisher = {Cambridge University Press},
title = {{Instability and focusing of internal tides in the deep ocean}},
doi = {10.1017/s0022112007007410},
volume = {588},
year = {2007},
}
@unpublished{3742,
abstract = {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.},
author = {Broderick,Tamara and Dudik,Miroslav and Gasper Tkacik and Schapire,Robert E and Bialek, William S},
booktitle = {ArXiv},
publisher = {ArXiv},
title = {{Faster solutions of the inverse pairwise Ising problem}},
volume = {q-bio.QM},
year = {2007},
}
@article{4234,
abstract = {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.},
author = {de Vladar, Harold and Pen, I.},
journal = {Physica A},
pages = {477 -- 485},
publisher = {Elsevier},
title = {{Determinism, noise, and spurious estimations in a generalised model of population growth}},
doi = {10.1016/j.physa.2006.06.025},
volume = {373},
year = {2007},
}
@article{3411,
abstract = {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.},
author = {Preiner, Johannes and Harald Janovjak and Rankl, Christian and Knaus, Helene and Cisneros, David A and Kedrov, Alexej and Kienberger, Ferry and Mueller, Daniel J and Hinterdorfer, Peter},
journal = {Biophysical Journal},
number = {3},
pages = {930 -- 937},
publisher = {Biophysical Society},
title = {{Free energy of membrane protein unfolding derived from single-molecule force measurements}},
doi = {10.1529/biophysj.106.096982},
volume = {93},
year = {2007},
}
@article{3427,
abstract = {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},
author = {Bollenbach, Mark Tobias and Kruse, Karsten and Pantazis, Periklis and Gonzalez Gaitan, Marcos and Julicher, Frank},
journal = {Physical Review E Statistical Nonlinear and Soft Matter Physics},
number = {1},
publisher = {American Institute of Physics},
title = {{Morphogen transport in epithelia}},
doi = {10.1103/PhysRevE.75.011901},
volume = {75},
year = {2007},
}
@inproceedings{3561,
abstract = {The main result of this paper is an extension of de Silva's Weak Delaunay Theorem to smoothly embedded curves and surfaces in Euclidean space. Assuming a sufficiently fine sampling, we prove that i + 1 points in the sample span an i-simplex in the restricted Delaunay triangulation iff every subset of the i + 1 points has a weak witness.},
author = {Attali, Dominique and Herbert Edelsbrunner and Mileyko, Yuriy},
pages = {143 -- 150},
publisher = {ACM},
title = {{Weak witnesses for Delaunay triangulations of submanifolds}},
doi = {10.1145/1236246.1236267},
year = {2007},
}
@article{9524,
abstract = {Cytosine methylation is the most common covalent modification of DNA in eukaryotes. DNA methylation has an important role in many aspects of biology, including development and disease. Methylation can be detected using bisulfite conversion, methylation-sensitive restriction enzymes, methyl-binding proteins and anti-methylcytosine antibodies. Combining these techniques with DNA microarrays and high-throughput sequencing has made the mapping of DNA methylation feasible on a genome-wide scale. Here we discuss recent developments and future directions for identifying and mapping methylation, in an effort to help colleagues to identify the approaches that best serve their research interests.},
author = {ZILBERMAN, Daniel and Henikoff, Steven},
issn = {1477-9129},
journal = {Development},
number = {22},
pages = {3959--3965},
publisher = {The Company of Biologists},
title = {{Genome-wide analysis of DNA methylation patterns}},
doi = {10.1242/dev.001131},
volume = {134},
year = {2007},
}
@inproceedings{2333,
author = {Lieb, Élliott H and Robert Seiringer and Solovej, Jan P},
pages = {239 -- 248},
publisher = {American Mathematical Society},
title = {{Ground-state energy of a dilute Fermi gas}},
doi = {10.1090/conm/412},
volume = {412},
year = {2006},
}
@inproceedings{2334,
author = {Robert Seiringer and Lieb, Élliott H and Yngvason, Jakob},
editor = {Zambrini, Jean-Claude},
publisher = {World Scientific Publishing},
title = {{One-dimensional behavior of dilute, trapped Bose gases in traps}},
doi = {10.1007/s00220-003-0993-3},
year = {2006},
}
@misc{2363,
abstract = { We prove that the Gross-Pitaevskii equation correctly describes the ground state energy and corresponding one-particle density matrix of rotating, dilute, trapped Bose gases with repulsive two-body interactions. We also show that there is 100% Bose-Einstein condensation. While a proof that the GP equation correctly describes non-rotating or slowly rotating gases was known for some time, the rapidly rotating case was unclear because the Bose (i.e., symmetric) ground state is not the lowest eigenstate of the Hamiltonian in this case. We have been able to overcome this difficulty with the aid of coherent states. Our proof also conceptually simplifies the previous proof for the slowly rotating case. In the case of axially symmetric traps, our results show that the appearance of quantized vortices causes spontaneous symmetry breaking in the ground state. },
author = {Lieb, Élliott H and Robert Seiringer},
booktitle = {Communications in Mathematical Physics},
number = {2},
pages = {505 -- 537},
publisher = {Springer},
title = {{Derivation of the Gross-Pitaevskii equation for rotating Bose gases}},
doi = {10.1007/s00220-006-1524-9},
volume = {264},
year = {2006},
}
@article{2364,
abstract = {We present an inequality that gives a lower bound on the expectation value of certain two-body interaction potentials in a general state on Fock space in terms of the corresponding expectation value for thermal equilibrium states of non-interacting systems and the difference in the free energy. This bound can be viewed as a rigorous version of first-order perturbation theory for many-body systems at positive temperature. As an application, we give a proof of the first two terms in a high density (and high temperature) expansion of the free energy of jellium with Coulomb interactions, both in the fermionic and bosonic case. For bosons, our method works above the transition temperature (for the non-interacting gas) for Bose-Einstein condensation.},
author = {Robert Seiringer},
journal = {Reviews in Mathematical Physics},
number = {3},
pages = {233 -- 253},
publisher = {World Scientific Publishing},
title = {{A correlation estimate for quantum many-body systems at positive temperature}},
doi = {10.1142/S0129055X06002632},
volume = {18},
year = {2006},
}
@article{2365,
abstract = {We consider a gas of fermions with non-zero spin at temperature T and chemical potential μ. We show that if the range of the interparticle interaction is small compared to the mean particle distance, the thermodynamic pressure differs to leading order from the corresponding expression for non-interacting particles by a term proportional to the scattering length of the interparticle interaction. This is true for any repulsive interaction, including hard cores. The result is uniform in the temperature as long as T is of the same order as the Fermi temperature, or smaller.},
author = {Robert Seiringer},
journal = {Communications in Mathematical Physics},
number = {3},
pages = {729 -- 757},
publisher = {Springer},
title = {{The thermodynamic pressure of a dilute fermi gas}},
doi = {10.1007/s00220-005-1433-3},
volume = {261},
year = {2006},
}
@article{2366,
abstract = {Inequalities are derived for power sums of the real part and the modulus of the eigenvalues of a Schrödinger operator with a complex-valued potential.},
author = {Frank, Rupert L and Laptev, Ari and Lieb, Élliott H and Robert Seiringer},
journal = {Letters in Mathematical Physics},
number = {3},
pages = {309 -- 316},
publisher = {Springer},
title = {{Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials}},
doi = {10.1007/s11005-006-0095-1},
volume = {77},
year = {2006},
}
@inbook{2369,
abstract = {One of the most remarkable recent developments in the study of ultracold Bose gases is the observation of a reversible transition from a Bose Einstein condensate to a state composed of localized atoms as the strength of a periodic, optical trapping potential is varied. In [1] a model of this phenomenon has been analyzed rigorously. The gas is a hard core lattice gas and the optical lattice is modeled by a periodic potential of strength λ. For small λ and temperature Bose- Einstein condensation (BEC) is proved to occur, while at large λ BEC disappears, even in the ground state, which is a Mott-insulator state with a characteristic gap. The inter-particle interaction is essential for this effect. This contribution gives a pedagogical survey of these results.},
author = {Aizenman, Michael and Lieb, Élliott H and Robert Seiringer and Solovej, Jan P and Yngvason, Jakob},
booktitle = {Mathematical Physics of Quantum Mechanics},
editor = {Asch, Joachim and Joye, Alain},
pages = {199 -- 215},
publisher = {Springer},
title = {{Bose-Einstein condensation as a quantum phase transition in an optical lattice}},
doi = {10.1007/b11573432},
volume = {690},
year = {2006},
}
@unpublished{573,
abstract = {Mitchison and Jozsa recently suggested that the "chained-Zeno" counterfactual computation protocol recently proposed by Hosten et al. is counterfactual for only one output of the computer. This claim was based on the existing abstract algebraic definition of counterfactual computation, and indeed according to this definition, their argument is correct. However, a more general definition (physically adequate) for counterfactual computation is implicitly assumed by Hosten et. al. Here we explain in detail why the protocol is counterfactual and how the "history tracking" method of the existing description inadequately represents the physics underlying the protocol. Consequently, we propose a modified definition of counterfactual computation. Finally, we comment on one of the most interesting aspects of the error-correcting protocol. },
author = {Hosten, Onur and Rakher, Matthew and Barreiro, Julio and Peters, Nicholas and Kwiat, Paul},
pages = {12},
publisher = {ArXiv},
title = {{Counterfactual computation revisited}},
year = {2006},
}
@unpublished{574,
abstract = {Vaidman, in a recent article adopts the method of 'quantum weak measurements in pre- and postselected ensembles' to ascertain whether or not the chained-Zeno counterfactual computation scheme proposed by Hosten et al. is counterfactual; which has been the topic of a debate on the definition of counterfactuality. We disagree with his conclusion, which brings up some interesting aspects of quantum weak measurements and some concerns about the way they are interpreted. },
author = {Hosten, Onur and Kwiat, Paul},
pages = {2},
publisher = {ArXiv},
title = {{Weak measurements and counterfactual computation}},
year = {2006},
}
@article{6151,
author = {Salecker, Iris and Häusser, Michael and de Bono, Mario},
issn = {1469-221X},
journal = {EMBO reports},
number = {6},
pages = {585--589},
publisher = {Wiley},
title = {{On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits}},
doi = {10.1038/sj.embor.7400713},
volume = {7},
year = {2006},
}
@article{1461,
abstract = {This note proves combinatorially that the intersection pairing on the middle-dimensional compactly supported cohomology of a toric hyperkähler variety is always definite, providing a large number of non-trivial L 2 harmonic forms for toric hyperkähler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L 2 harmonic forms on complete hyperkähler manifolds of linear growth.},
author = {Tamas Hausel and Swartz, Edward},
journal = {Proceedings of the American Mathematical Society},
number = {8},
pages = {2403 -- 2409},
publisher = {American Mathematical Society},
title = {{Intersection forms of toric hyperkähler varieties}},
doi = {10.1090/S0002-9939-06-08248-7},
volume = {134},
year = {2006},
}
@article{1462,
abstract = {A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This technique in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence, simple unified proofs are obtained for formulas of Poincaré polynomials of toric hyperkähler varieties (recovering results of Bielawski-Dancer and Hausel-Sturmfels), Poincaré polynomials of Hubert schemes of points and twisted Atiyah-Drinfeld-Hitchin-Manin (ADHM) spaces of instantons on ℂ2 (recovering results of Nakajima-Yoshioka), and Poincaré polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable representations of a quiver is announced.},
author = {Tamas Hausel},
journal = {PNAS},
number = {16},
pages = {6120 -- 6124},
publisher = {National Academy of Sciences},
title = {{Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform}},
doi = {10.1073/pnas.0601337103},
volume = {103},
year = {2006},
}
@article{1033,
abstract = {Systems of three interacting particles are notorious for their complex physical behaviour. A landmark theoretical result in few-body quantum physics is Efimov\'s prediction1,2 of a universal set of bound trimer states appearing for three identical bosons with a resonant two-body interaction. Counterintuitively, these states even exist in the absence of a corresponding two-body bound state. Since the formulation of Efimov\'s problem in the context of nuclear physics 35 years ago, it has attracted great interest in many areas of physics3-8. However, the observation of Efimov quantum states has remained an elusive goal3,5. Here we report the observation of an Efimov resonance in an ultracold gas of caesium atoms. The resonance occurs in the range of large negative two-body scattering lengths, arising from the coupling of three free atoms to an Efimov trimer. Experimentally, we observe its signature as a giant three-body recombination loss9,10 when the strength of the two-body interaction is varied. We also detect a minimum 9,11,12 in the recombination loss for positive scattering lengths, indicating destructive interference of decay pathways. Our results confirm central theoretical predictions of Efimov physics and represent a starting point with which to explore the universal properties of resonantly interacting few-body systems7. While Feshbach resonances13,14 have provided the key to control quantum-mechanical interactions on the two-body level, Efimov resonances connect ultracold matter15 to the world of few-body quantum phenomena.},
author = {Kraemer, Tobias and Mark, Michael and Waldburger, Philipp and Danzl, Johann G and Chin, Cheng and Engeser, Bastian and Lange, Adam and Pilch, Karl and Jaakkola, Antti and Nägerl, Hanns and Grimm, Rudolf},
journal = {Nature},
number = {7082},
pages = {315 -- 318},
publisher = {Nature Publishing Group},
title = {{Evidence for Efimov quantum states in an ultracold gas of caesium atoms}},
doi = {10.1038/nature04626},
volume = {440},
year = {2006},
}
@inproceedings{1034,
abstract = {Three interacting particles form a system which is well known for its complex physical behavior. A landmark theoretical result in few-body quantum physics is Efimov\'s prediction of a universal set of weakly bound trimer states appearing for three identical bosons with a resonant two-body interaction [1, 2]. Surprisingly, these states even exist in the absence of a corresponding two-body bound state and their precise nature is largely independent of the particular type of the two-body interaction potential. Efimov\'s scenario has attracted great interest in many areas of physics; an experimental test however has not been achieved. We report the observation of an Efimov resonance in an ultracold thermal gas of cesium atoms [3]. The resonance occurs in the range of large negative two-body scattering lengths and arises from the coupling of three free atoms to an Efimov trimer. We observe its signature as a giant three-body recombination loss when the strength of the two-body interaction is varied near a Feshbach resonance. This resonance develops into a continuum resonance at non-zero collision energies, and we observe a shift of the resonance position as a function of temperature. We also report on a minimum in the recombination loss for positive scattering lengths, indicating destructive interference of decay pathways. Our results confirm central theoretical predictions of Efimov physics and represent a starting point from which to explore the universal properties of resonantly interacting few-body systems.},
author = {Nägerl, Hanns and Kraemer, Tobias and Mark, Michael and Waldburger, Philipp and Danzl, Johann G and Engeser, Bastian and Lange, Adam and Pilch, Karl and Jaakkola, Antti and Chin, Cheng and Grimm, Rudolf},
pages = {269 -- 277},
publisher = {AIP},
title = {{Experimental evidence for Efimov quantum states}},
doi = {10.1063/1.2400657},
volume = {869},
year = {2006},
}