TY - CONF
AB - Games on graphs with ω-regular objectives provide a model for the control and synthesis of reactive systems. Every ω-regular objective can be decomposed into a safety part and a liveness part. The liveness part ensures that something good happens “eventually.” Two main strengths of the classical, infinite-limit formulation of liveness are robustness (independence from the granularity of transitions) and simplicity (abstraction of complicated time bounds). However, the classical liveness formulation suffers from the drawback that the time until something good happens may be unbounded. A stronger formulation of liveness, so-called finitary liveness, overcomes this drawback, while still retaining robustness and simplicity. Finitary liveness requires that there exists an unknown, fixed bound b such that something good happens within b transitions. While for one-shot liveness (reachability) objectives, classical and finitary liveness coincide, for repeated liveness (Büchi) objectives, the finitary formulation is strictly stronger. In this work we study games with finitary parity and Streett (fairness) objectives. We prove the determinacy of these games, present algorithms for solving these games, and characterize the memory requirements of winning strategies. Our algorithms can be used, for example, for synthesizing controllers that do not let the response time of a system increase without bound.
AU - Krishnendu Chatterjee
AU - Thomas Henzinger
ID - 4539
TI - Finitary winning in omega-regular games
VL - 3920
ER -
TY - CONF
AB - We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system properties, such as resource consumption, price, or a measure of how well a system satisfies its specification. The theory supports the composition of systems and specifications, and the hiding of variables. Boolean refinement relations are replaced by real-numbered distances between descriptions of a system at different levels of detail. We show that the classical Boolean rules for compositional reasoning have quantitative counterparts in our setting. While our general theory allows costs to be specified by arbitrary cost functions, we also consider a class of linear cost functions, which give rise to an instance of our framework where all operations are computable in polynomial time.
AU - Krishnendu Chatterjee
AU - de Alfaro, Luca
AU - Faella, Marco
AU - Thomas Henzinger
AU - Majumdar, Ritankar S
AU - Stoelinga, Mariëlle
ID - 4549
TI - Compositional quantitative reasoning
ER -
TY - JOUR
AB - In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we consider lexicographic objectives: first, each player tries to maximize her own payoff, and then, the player tries to minimize the opponent's payoff. Such objectives arise naturally in the verification of systems with multiple components. There, instead of proving that each component satisfies its specification no matter how the other components behave, it sometimes suffices to prove that each component satisfies its specification provided that the other components satisfy their specifications. We say that a Nash equilibrium is secure if it is an equilibrium with respect to the lexicographic objectives of both players. We prove that in graph games with Borel winning conditions, which include the games that arise in verification, there may be several Nash equilibria, but there is always a unique maximal payoff profile of a secure equilibrium. We show how this equilibrium can be computed in the case of ω-regular winning conditions, and we characterize the memory requirements of strategies that achieve the equilibrium.
AU - Krishnendu Chatterjee
AU - Thomas Henzinger
AU - Jurdziński, Marcin
ID - 4550
IS - 1-2
JF - Theoretical Computer Science
TI - Games with secure equilibria
VL - 365
ER -
TY - CONF
AB - We consider Markov decision processes (MDPs) with multiple discounted reward objectives. Such MDPs occur in design problems where one wishes to simultaneously optimize several criteria, for example, latency and power. The possible trade-offs between the different objectives are characterized by the Pareto curve. We show that every Pareto-optimal point can be achieved by a memoryless strategy; however, unlike in the single-objective case, the memoryless strategy may require randomization. Moreover, we show that the Pareto curve can be approximated in polynomial time in the size of the MDP. Additionally, we study the problem if a given value vector is realizable by any strategy, and show that it can be decided in polynomial time; but the question whether it is realizable by a deterministic memoryless strategy is NP-complete. These results provide efficient algorithms for design exploration in MDP models with multiple objectives.
This research was supported in part by the AFOSR MURI grant F49620-00-1-0327, and the NSF grants CCR-0225610, CCR-0234690, and CCR-0427202.
AU - Krishnendu Chatterjee
AU - Majumdar, Ritankar S
AU - Thomas Henzinger
ID - 4551
TI - Markov decision processes with multiple objectives
VL - 3884
ER -
TY - CONF
AB - A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a probability distribution over the successor states. The objective for player 1 consists in reaching a set of target states; the objective for player 2 is to prevent this, so that the game is zero-sum. Our contributions are two-fold. First, we present a simple proof of the fact that in concurrent reachability games, for all epsilon > 0, memoryless epsilon-optimal strategies exist. A memoryless strategy is independent of the history of plays, and an epsilon-optimal strategy achieves the objective with probability within epsilon of the value of the game. In contrast to previous proofs of this fact, which rely on the limit behavior of discounted games using advanced Puisieux series analysis, our proof is elementary and combinatorial. Second, we present a strategy-improvement (a.k.a. policy-iteration) algorithm for concurrent games with reachability objectives.
AU - Krishnendu Chatterjee
AU - de Alfaro, Luca
AU - Thomas Henzinger
ID - 4552
TI - Strategy improvement for concurrent reachability games
ER -
TY - CONF
AB - Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is difficult to find adequate predicate abstractions for the heap. In contrast, shape analysis, which uses graph-based heap abstractions, can provide a compact representation of recursive data structures. We integrate shape analysis into the software model checker Blast. Because shape analysis is expensive, we do not apply it globally. Instead, we ensure that, like predicates, shape graphs are computed and stored locally, only where necessary for proving the verification goal. To achieve this, we extend lazy abstraction refinement, which so far has been used only for predicate abstractions, to three-valued logical structures. This approach does not only increase the precision of model checking, but it also increases the efficiency of shape analysis. We implemented the technique by extending Blast with calls to Tvla.
AU - Beyer, Dirk
AU - Thomas Henzinger
AU - Théoduloz, Grégory
ID - 4574
TI - Lazy shape analysis
VL - 4144
ER -
TY - GEN
AB - 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.
AU - Hosten, Onur
AU - Rakher, Matthew
AU - Barreiro, Julio
AU - Peters, Nicholas
AU - Kwiat, Paul
ID - 573
TI - Counterfactual computation revisited
ER -
TY - GEN
AB - 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.
AU - Hosten, Onur
AU - Kwiat, Paul
ID - 574
TI - Weak measurements and counterfactual computation
ER -
TY - CONF
AB - Visible light photon counters (VLPCs) and solid-state photomultipliers (SSPMs) are high-efficiency single-photon detectors which have multi-photon counting capability. While both the VLPCs and the SSPMs have inferred internal quantum efficiencies above 93%, the actual measured values for both the detectors were in fact limited to less than 88%, attributed to in-coupling losses. We are currently improving this overall detection efficiency via a) custom anti-reflection coating the detectors and the in-coupling fibers, b) implementing a novel cryogenic design to reduce transmission losses and, c) using low-noise electronics to obtain a better signal-to-noise ratio.
AU - Rangarajan, Radhika
AU - Altepeter, Joseph B
AU - Jeffrey, Evan R
AU - Stoutimore, Micah J
AU - Peters, Nicholas A
AU - Onur Hosten
AU - Kwiat, Paul G
ID - 577
TI - High-efficiency single-photon detectors
VL - 6372
ER -
TY - CONF
AB - A source of single photons allows secure quantum key distribution, in addition, to being a critical resource for linear optics quantum computing. We describe our progress on deterministically creating single photons from spontaneous parametric downconversion, an extension of the Pittman, Jacobs and Franson scheme [Phys. Rev A, v66, 042303 (2002)]. Their idea was to conditionally prepare single photons by measuring one member of a spontaneously emitted photon pair and storing the remaining conditionally prepared photon until a predetermined time, when it would be "deterministically" released from storage. Our approach attempts to improve upon this by recycling the pump pulse in order to decrease the possibility of multiple-pair generation, while maintaining a high probability of producing a single pair. Many of the challenges we discuss are central to other quantum information technologies, including the need for low-loss optical storage, switching and detection, and fast feed-forward control.
AU - Peters, Nicholas A
AU - Arnold, Keith J
AU - VanDevender, Aaron P
AU - Jeffrey, Evan R
AU - Rangarajan, Radhika
AU - Onur Hosten
AU - Barreiro, Julio T
AU - Altepeter, Joseph B
AU - Kwiat, Paul G
ID - 578
TI - Towards a quasi-deterministic single-photon source
VL - 6305
ER -
TY - JOUR
AB - The logic underlying the coherent nature of quantum information processing often deviates from intuitive reasoning, leading to surprising effects. Counterfactual computation constitutes a striking example: the potential outcome of a quantum computation can be inferred, even if the computer is not run 1. Relying on similar arguments to interaction-free measurements 2 (or quantum interrogation3), counterfactual computation is accomplished by putting the computer in a superposition of 'running' and 'not running' states, and then interfering the two histories. Conditional on the as-yet-unknown outcome of the computation, it is sometimes possible to counterfactually infer information about the solution. Here we demonstrate counterfactual computation, implementing Grover's search algorithm with an all-optical approach4. It was believed that the overall probability of such counterfactual inference is intrinsically limited1,5, so that it could not perform better on average than random guesses. However, using a novel 'chained' version of the quantum Zeno effect6, we show how to boost the counterfactual inference probability to unity, thereby beating the random guessing limit. Our methods are general and apply to any physical system, as illustrated by a discussion of trapped-ion systems. Finally, we briefly show that, in certain circumstances, counterfactual computation can eliminate errors induced by decoherence.
AU - Onur Hosten
AU - Rakher, Matthew T
AU - Barreiro, Julio T
AU - Peters, Nicholas A
AU - Kwiat, Paul G
ID - 579
IS - 7079
JF - Nature
TI - Counterfactual quantum computation through quantum interrogation
VL - 439
ER -
TY - CONF
AB - Visible light photon counters (VLPCs) and solid-state photomultipliers (SSPMs) facilitate efficient single-photon detection. We are attempting to improve their efficiency, previously limited to < 88% by coupling losses, via anti-reflection coatings, better electronics and cryogenics.
AU - Rangarajan, Radhika
AU - Peters, Nicholas A
AU - Onur Hosten
AU - Altepeter, Joseph B
AU - Jeffrey, Evan R
AU - Kwiat, Paul G
ID - 583
TI - Improved single-photon detection
ER -
TY - CONF
AB - Often the properties of a single cell are considered as representative for a complete polymer electrolyte fuel cell stack or even a fuel cell system. In some cases this comes close, however, in many real cases differences on several scales become important. Cell interaction phenomena in fuel cell stacks that arise from inequalities between adjacent cells are investigated in detail experimentally. For that, a specialized 2-cell stack with advanced localized diagnostics was developed. The results show that inequalities propagate by electrical coupling, inhomogeneous cell polarization and inducing in-plane current in the common bipolar plate. The effects of the different loss-mechanisms are analyzed and quantified.
AU - Büchi, Felix N.
AU - Freunberger, Stefan Alexander
AU - Santis, Marco
ID - 7326
IS - 1
T2 - ECS Transactions
TI - What is learned beyond the scale of single cells?
VL - 3
ER -
TY - JOUR
AB - Propagation of performance changes to adjacent cells in polymer electrolyte fuel cell stacks is studied by means of voltage monitoring and local current density measurements in peripheral cells of the stack. A technical fuel cell stack has been modified by implementing two independent reactant and coolant supplies in order to deliberately change the performance of one cell (anomalous cell) and study the coupling phenomena to adjacent cells (coupling cells), while keeping the working conditions of the later cell-group unaltered.
Two anomalies are studied: (i) air starvation and (ii) thermal anomaly, in a single anomalous cell in the stack and their coupling to adjacent cells. The results have shown that anomalies inducing considerable changes in the local current density of the anomalous cell (such as air starvation) propagate to adjacent cells affecting their performance. The propagation of local current density changes takes place via the common bipolar plate due to its finite thickness and in-plane conductivity. Consequently, anomalies which do not strongly influence the local current density distribution (such as a thermal anomaly under the studied working conditions) do not propagate to adjacent cells.
AU - Santis, Marco
AU - Freunberger, Stefan Alexander
AU - Papra, Matthias
AU - Wokaun, Alexander
AU - Büchi, Felix N.
ID - 7327
IS - 2
JF - Journal of Power Sources
SN - 0378-7753
TI - Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks
VL - 161
ER -
TY - JOUR
AB - An experimental technique for measuring the current density distribution with a resolution smaller than the channel/rib scale of the flow field in polymer electrolyte fuel cells (PEFCs) is presented. The electron conductors in a plane perpendicular to the channel direction are considered as two-dimensional resistors. Hence, the current density is obtained from the solution of Laplace's equation with the potentials at current collector and reaction layer as boundary conditions. Using ohmic drop for calculating the local current, detailed knowledge of all resistances involved is of prime importance. In particular, the contact resistance between the gas diffusion layer (GDL) and flow field rib, as well as GDL bulk conductivity, are strongly dependent on clamping pressure. They represent a substantial amount of the total ohmic drop and therefore require careful consideration. The detailed experimental setup as well as the concise procedure for quantitative data evaluation is described. Finally, the method is applied successfully to a cell operated on pure oxygen and air up to high current densities. The results show that electrical and ionic resistances seem to govern the current distribution at low current regimes, whereas mass transport limitations locally hamper the current production at high loads.
AU - Freunberger, Stefan Alexander
AU - Reum, Mathias
AU - Evertz, Jörg
AU - Wokaun, Alexander
AU - Büchi, Felix N.
ID - 7328
IS - 11
JF - Journal of The Electrochemical Society
SN - 0013-4651
TI - Measuring the current distribution in PEFCs with sub-millimeter resolution
VL - 153
ER -
TY - JOUR
AB - A novel measurement principle for measuring the current distribution in polymer electrolyte fuel cells (PEFCs) is introduced. It allows, in contrast to all other known techniques, for the first time for a resolution smaller than the channel/rib scale of the flow field in PEFCs. The current density is obtained by considering the electron conductors in the cell as a two-dimensional resistor with the voltage drop caused by the current. The method was applied to a cell operated on oxygen up to high current densities. The results show that the ohmic resistances govern the current distribution in the low current regime, whereas mass transport limitations hamper the current production under the land at high loads.
AU - Freunberger, Stefan Alexander
AU - Reum, Mathias
AU - Wokaun, Alexander
AU - Büchi, Felix N.
ID - 7329
IS - 9
JF - Electrochemistry Communications
SN - 1388-2481
TI - Expanding current distribution measurement in PEFCs to sub-millimeter resolution
VL - 8
ER -
TY - JOUR
AB - Polymer electrolyte fuel cells (PE fuel cells) working with air at low stoichiometries (<2.0) and standard electrochemical components show a high degree of inhomogeneity in the current density distribution over the active area. An inhomogeneous current density distribution leads to a non-uniform utilization of the active area, which could negatively affect the time of life of the cells. Furthermore, it is also believed to lower cell performance. In this work, the homogenization of the current density, realized by means of tailored cathodes with along-the-air-channel redistributed catalyst loadings, is investigated. The air stoichiometry range for which a homogenization of the current density is achieved depends upon the gradient with which the catalyst is redistributed along the air channel. A gentle increasing catalyst loading profile homogenizes the current density at relatively higher air stoichiometries, while a steeper profile is suited better for lower air stoichiometries. The results show that a homogenization of the current density by means of redistributed catalyst loading has negative effects on cell performance. Model calculations corroborate the experimental findings on homogenization of the current density and deliver an explanation for the decrease in cell performance.
AU - Santis, M.
AU - Freunberger, Stefan Alexander
AU - Reiner, A.
AU - Büchi, F.N.
ID - 7330
IS - 25
JF - Electrochimica Acta
SN - 0013-4686
TI - Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients
VL - 51
ER -
TY - JOUR
AB - A previously developed mathematical model for water management and current density distribution in a polymer electrolyte fuel cell (PEFCs) is employed to investigate the effects of cooling strategies on cell performance. The model describes a two-dimensional slice through the cell along the channels and through the entire cell sandwich including the coolant channels and the bipolar plate. Arbitrary flow arrangements of fuel, oxidant, and coolant stream directions can be described. Due to the serious impact of temperature on all processes in the PEFC, both the relative direction of the coolant stream to the gas streams and its mass flow turns out to significantly affect the cell performance. Besides influencing the electrochemical reaction and all kinds of mass transfer temperature, variations predominantly alter the local membrane hydration distribution and subseqently its conductivity.
AU - Freunberger, Stefan Alexander
AU - Wokaun, Alexander
AU - Büchi, Felix N.
ID - 7331
IS - 5
JF - Journal of The Electrochemical Society
SN - 0013-4651
TI - In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance
VL - 153
ER -
TY - JOUR
AB - A quasi-two-dimensional, along-the-channel mass and heat-transfer model for a proton exchange membrane fuel cell (PEFC) is described and validated against experimental current distribution data. The model is formulated in a dimensional manner, i.e., local transport phenomena are treated one-dimensional in through-plane direction and coupled in-plane by convective transport in the gas and coolant channels. Thus, a two-dimensional slice running through the repetitive unit of a cell from the anode channel via membrane-electrode assembly (MEA) and cathode channel to the coolant channel and from inlet to outlet is modeled. The aim of the work is to elucidate the influence of operating conditions such as feed gas humidities and stoichiometric ratios on the along-the-channel current density distribution and to identify the distinct underlying voltage loss mechanisms. Furthermore, a complicated technical flow field is modeled by a combination of co- and counterflow subdomains and compared with experimental current densities.
AU - Freunberger, Stefan Alexander
AU - Santis, Marco
AU - Schneider, Ingo A.
AU - Wokaun, Alexander
AU - Büchi, Felix N.
ID - 7332
IS - 2
JF - Journal of The Electrochemical Society
SN - 0013-4651
TI - In-plane effects in large-scale PEMFCs
VL - 153
ER -
TY - JOUR
AB - Background: Cell-to-cell communication at the synapse involves synaptic transmission as well as signaling mediated by growth factors, which provide developmental and plasticity cues. There is evidence that a retrograde, presynaptic transforming growth factor-β (TGF-β) signaling event regulates synapse development and function in Drosophila. Results: Here we show that a postsynaptic TGF-β signaling event occurs during larval development. The type I receptor Thick veins (Tkv) and the R-Smad transcription factor Mothers-against-dpp (Mad) are localized postsynaptically in the muscle. Furthermore, Mad phosphorylation occurs in regions facing the presynaptic active zones of neurotransmitter release within the postsynaptic subsynaptic reticulum (SSR). In order to monitor in real time the levels of TGF-β signaling in the synapse during synaptic transmission, we have established a FRAP assay to measure Mad nuclear import/export in the muscle. We show that Mad nuclear trafficking depends on stimulation of the muscle. Conclusions: Our data suggest a mechanism linking synaptic transmission and postsynaptic TGF-β signaling that may coordinate nerve-muscle development and function.
AU - Dudu, Veronika
AU - Bittig, Thomas
AU - Entchev, Eugeni
AU - Kicheva, Anna
AU - Julicher, Frank
AU - González Gaitán, Marcos
ID - 1715
IS - 7
JF - Current Biology
TI - Postsynaptic mad signaling at the Drosophila neuromuscular junction
VL - 16
ER -
TY - JOUR
AB - SiGe islands grown by deposition of 10 monolayers of Ge on Si(0 0 1) at 740 °C were investigated by using a combination of selective wet chemical etching and atomic force microscopy. The used etchant, a solution consisting of ammonium hydroxide and hydrogen peroxide, shows a high selectivity of Ge over SixGe1-x and is characterized by relatively slow etching rates for Si-rich alloys. By performing successive etching experiments on the same sample area, we are able to gain a deeper insight into the lateral displacement the islands undergo during post growth annealing.
AU - Georgios Katsaros
AU - Rastelli, Armando
AU - Stoffel, Mathieu
AU - Isella, Giovanni
AU - Von Känel, Hans
AU - Bittner, Alexander M
AU - Tersoff, Jerry
AU - Denker, Ulrich
AU - Schmidt, Oliver G
AU - Costantini, Giovanni
AU - Kern, Klaus
ID - 1745
IS - 12
JF - Surface Science
TI - Investigating the lateral motion of SiGe islands by selective chemical etching
VL - 600
ER -
TY - JOUR
AB - A microscopic picture for the GaAs overgrowth of self-organized InAs/GaAs(001) quantum dots is developed. Scanning tunneling microscopy measurements reveal two capping regimes: the first being characterized by a dot shrinking and a backward pyramid-to-dome shape transition. This regime is governed by fast dynamics resulting in island morphologies close to thermodynamic equilibrium. The second regime is marked by a true overgrowth and is controlled by kinetically limited surface diffusion processes. A simple model is developed to describe the observed structural changes which are rationalized in terms of energetic minimization driven by lattice mismatch and alloying.
AU - Costantini, Giovanni
AU - Rastelli, Armando
AU - Manzano, Carlos
AU - Acosta-Diaz, P
AU - Songmuang, Rudeeson
AU - Georgios Katsaros
AU - Schmidt, Oliver G
AU - Kern, Klaus
ID - 1746
IS - 22
JF - Physical Review Letters
TI - Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots
VL - 96
ER -
TY - JOUR
AB - We report on recent advances in the understanding of surface processes occurring during growth and post-growth annealing of strained islands which may find application as self-assembled quantum dots. We investigate the model system SiGe/Si(0 0 1) by a new approach based on "reading the footprints" which islands leave on the substrate during their growth and evolution. Such footprints consist of trenches carved in the Si substrate. We distinguish between surface footprints and footprints buried below the islands. The former allow us to discriminate islands which are in the process of growing from those which are shrinking. Islands with steep morphologies grow at the expense of smaller and shallower islands, consistent with the kinetics of anomalous coarsening. While shrinking, islands change their shape according to thermodynamic predictions. Buried footprints are investigated by removing the SiGe epilayer by means of selective wet chemical etching. Their reading shows that: (i) during post-growth annealing islands move laterally because of surface-mediated Si-Ge intermixing; (ii) a tree-ring structure of trenches is created by dislocated islands during their "cyclic" growth. This allows us to distinguish coherent from dislocated islands and to establish whether the latter are the result of island coalescence.
AU - Rastelli, Armando
AU - Stoffel, Mathieu
AU - Georgios Katsaros
AU - Tersoff, Jerry
AU - Denker, Ulrich
AU - Merdzhanova, Tsvetelina
AU - Kar, Gouranga S
AU - Costantini, Giovanni
AU - Kern, Klaus
AU - Von Känel, Hans
AU - Schmidt, Oliver G
ID - 1747
IS - 12
JF - Microelectronics Journal
TI - Reading the footprints of strained islands
VL - 37
ER -
TY - JOUR
AB - The authors apply selective wet chemical etching and atomic force microscopy to reveal the three-dimensional shape of SiGeSi (001) islands after capping with Si. Although the "self-assembled quantum dots" remain practically unaffected by capping in the temperature range of 300-450 °C, significant morphological changes take place on the Si surface. At 450 °C, the morphology of the capping layer (Si matrix) evolves toward an intriguing semifacetted structure, which we call a "ziggurat," giving the misleading impression of a stepped SiGe island shape.
AU - Georgios Katsaros
AU - Rastelli, Armando
AU - Stoffel, Mathieu
AU - Costantini, Giovanni
AU - Schmidt, Oliver G
AU - Kern, Klaus
AU - Tersoff, Jerry
AU - Müller, Elisabeth
AU - Von Känel, Hans
ID - 1748
IS - 25
JF - Applied Physics Letters
TI - Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping
VL - 89
ER -
TY - JOUR
AB - Drugs that block the entry of human immunodeficiency virus type 1 (HIV-1) into host cells abrogate the establishment of a productive infection and should ideally diminish the chances of HIV-1 developing resistance. This review will give an overview of the mechanism by which the envelope glycoprotein mediates HIV-1 entry and will summarize current drug developments.
AU - Sandra Siegert
AU - Schnierle, Peter
AU - Schnierle, Barbara S
ID - 1796
IS - 5
JF - Mini-Reviews in Medicinal Chemistry
TI - Novel anti-viral therapy: Drugs that block HIV entry at different target sites
VL - 6
ER -
TY - JOUR
AB - Respiratory complex I plays a central role in cellular energy production in bacteria and mitochondria. Its dysfunction is implicated in many human neurodegenerative diseases, as well as in aging. The crystal structure of the hydrophilic domain (peripheral arm) of complex I from Thermus thermophilus has been solved at 3.3 angstrom resolution. This subcomplex consists of eight subunits and contains all the redox centers of the enzyme, including nine iron-sulfur clusters. The primary electron acceptor, flavin-mononucleotide, is within electron transfer distance of cluster N3, leading to the main redox pathway, and of the distal cluster Nia, a possible antioxidant. The structure reveals new aspects of the mechanism and evolution of the enzyme. The terminal cluster N2 is coordinated, uniquely, by two consecutive cysteines. The novel subunit Nqo15 has a similar fold to the mitochondrial iron chaperone frataxin, and it may be involved in iron-sulfur cluster regeneration in the complex.
AU - Leonid Sazanov
AU - Hinchliffe, Philip
ID - 1961
IS - 5766
JF - Science
TI - Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus
VL - 311
ER -
TY - JOUR
AB - The hydrophilic domain (peripheral arm) of the proton-translocating NADH:quinone oxidoreductase (complex I) from the thermophilic organism Thermus thermophilus HB8 has been purified and characterized. The subcomplex is stable in sodium dodecyl sulfate up to 80 °C. Of nine iron-sulfur clusters, four to five (one or two binuclear and three tetranuclear) could be detected by EPR in the NADH-reduced enzyme. The preparation consists of eight different polypeptides. Seven of them have been positively identified by peptide mass mapping and N-terminal sequencing as known hydrophilic subunits of T. thermophilus complex I. The eighth polypeptide copurified with the subcomplex at all stages, is strongly associated with the other subunits, and is present in crystals of the subcomplex, used for X-ray data collection. Therefore, it has been identified as a novel complex I subunit and named Nqo15. It is encoded in a locus separate from the nqo operon, containing the 14 other known complex I genes. ORFs encoding Nqo15 homologues are present in the genomes of the closest relatives of T. thermophilus. Our data show that, contrary to previous assumptions, bacterial complex I can contain proteins in addition to a "core" complement of 14 subunits.
AU - Hinchliffe, Philip
AU - Carroll, Joe D
AU - Leonid Sazanov
ID - 1966
IS - 14
JF - Biochemistry
TI - Identification of a novel subunit of respiratory complex I from Thermus thermophilus
VL - 45
ER -
TY - JOUR
AU - Salecker, Iris
AU - Häusser, Michael
AU - de Bono, Mario
ID - 6151
IS - 6
JF - EMBO reports
SN - 1469-221X
TI - On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits
VL - 7
ER -
TY - JOUR
AU - Rogers, Candida
AU - Persson, Annelie
AU - Cheung, Benny
AU - de Bono, Mario
ID - 6152
IS - 7
JF - Current Biology
SN - 0960-9822
TI - Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans
VL - 16
ER -
TY - JOUR
AB - Background: The glyoxylate cycle is thought to be present in bacteria, protists, plants, fungi, and nematodes, but not in other Metazoa. However, activity of the glyoxylate cycle enzymes, malate synthase (MS) and isocitrate lyase (ICL), in animal tissues has been reported. In order to clarify the status of the MS and ICL genes in animals and get an insight into their evolution, we undertook a comparative-genomic study. Results: Using sequence similarity searches, we identified MS genes in arthropods, echinoderms, and vertebrates, including platypus and opossum, but not in the numerous sequenced genomes of placental mammals. The regions of the placental mammals' genomes expected to code for malate synthase, as determined by comparison of the gene orders in vertebrate genomes, show clear similarity to the opossum MS sequence but contain stop codons, indicating that the MS gene became a pseudogene in placental mammals. By contrast, the ICL gene is undetectable in animals other than the nematodes that possess a bifunctional, fused ICL-MS gene. Examination of phylogenetic trees of MS and ICL suggests multiple horizontal gene transfer events that probably went in both directions between several bacterial and eukaryotic lineages. The strongest evidence was obtained for the acquisition of the bifunctional ICL-MS gene from an as yet unknown bacterial source with the corresponding operonic organization by the common ancestor of the nematodes. Conclusion: The distribution of the MS and ICL genes in animals suggests that either they encode alternative enzymes of the glyoxylate cycle that are not orthologous to the known MS and ICL or the animal MS acquired a new function that remains to be characterized. Regardless of the ultimate solution to this conundrum, the genes for the glyoxylate cycle enzymes present a remarkable variety of evolutionary events including unusual horizontal gene transfer from bacteria to animals.
AU - Fyodor Kondrashov
AU - Koonin, Eugene V
AU - Morgunov, Igor G
AU - Finogenova, Tatiana V
AU - Kondrashova, Marie N
ID - 868
JF - Biology Direct
TI - Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation
VL - 1
ER -
TY - JOUR
AB - The impact of synonymous nucleotide substitutions on fitness in mammals remains controversial. Despite some indications of selective constraint, synonymous sites are often assumed to be neutral, and the rate of their evolution is used as a proxy for mutation rate. We subdivide all sites into four classes in terms of the mutable CpG context, nonCpG, postC, preG, and postCpreG, and compare four-fold synonymous sites and intron sites residing outside transposable elements. The distribution of the rate of evolution across all synonymous sites is trimodal. Rate of evolution at nonCpG synonymous sites, not preceded by C and not followed by G, is ∼10% below that at such intron sites. In contrast, rate of evolution at postCpreG synonymous sites is ∼30% above that at such intron sites. Finally, synonymous and intron postC and preG sites evolve at similar rates. The relationship between the levels of polymorphism at the corresponding synonymous and intron sites is very similar to that between their rates of evolution. Within every class, synonymous sites are occupied by G or C much more often than intron sites, whose nucleotide composition is consistent with neutral mutation-drift equilibrium. These patterns suggest that synonymous sites are under weak selection in favor of G and C, with the average coefficient s∼0.25/Ne∼10-5, where Ne is the effective population size. Such selection decelerates evolution and reduces variability at sites with symmetric mutation, but has the opposite effects at sites where the favored nucleotides are more mutable. The amino-acid composition of proteins dictates that many synonymous sites are CpGprone, which causes them, on average, to evolve faster and to be more polymorphic than intron sites. An average genotype carries ∼107 suboptimal nucleotides at synonymous sites, implying synergistic epistasis in selection against them.
AU - Fyodor Kondrashov
AU - Ogurtsov, Aleksey Yu
AU - Kondrashov, Alexey S
ID - 869
IS - 4
JF - Journal of Theoretical Biology
TI - Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites
VL - 240
ER -
TY - JOUR
AB - New genes commonly appear through complete or partial duplications of pre-existing genes. Duplications of long DNA segments are constantly produced by rare mutations, may become fixed in a population by selection or random drift, and are subject to divergent evolution of the paralogous sequences after fixation, although gene conversion can impede this process. New data shed some light on each of these processes. Mutations which involve duplications can occur through at least two different mechanisms, backward strand slippage during DNA replication and unequal crossing-over. The background rate of duplication of a complete gene in humans is 10-9-10-10 per generation, although many genes located within hot-spots of large-scale mutation are duplicated much more often. Many gene duplications affect fitness strongly, and are responsible, through gene dosage effects, for a number of genetic diseases. However, high levels of intrapopulation polymorphism caused by presence or absence of long, gene-containing DNA segments imply that some duplications are not under strong selection. The polymorphism to fixation ratios appear to be approximately the same for gene duplications and for presumably selectively neutral nucleotide substitutions, which, according to the McDonald-Kreitman test, is consistent with selective neutrality of duplications. However, this pattern can also be due to negative selection against most of segregating duplications and positive selection for at least some duplications which become fixed. Patterns in post-fixation evolution of duplicated genes do not easily reveal the causes of fixations. Many gene duplications which became fixed recently in a variety of organisms were positively selected because the increased expression of the corresponding genes was beneficial. The effects of gene dosage provide a unified framework for studying all phases of the life history of a gene duplication. Application of well-known methods of evolutionary genetics to accumulating data on new, polymorphic, and fixed duplication will enhance our understanding of the role of natural selection in the evolution by gene duplication.
AU - Fyodor Kondrashov
AU - Kondrashov, Alexey S
ID - 873
IS - 2
JF - Journal of Theoretical Biology
TI - Role of selection in fixation of gene duplications
VL - 239
ER -
TY - JOUR
AB - Background: Carcinogenesis typically involves multiple somatic mutations in caretaker (DNA repair) and gatekeeper (tumor suppressors and oncogenes) genes. Analysis of mutation spectra of the tumor suppressor that is most commonly mutated in human cancers, p53, unexpectedly suggested that somatic evolution of the p53 gene during tumorigenesis is dominated by positive selection for gain of function. This conclusion is supported by accumulating experimental evidence of evolution of new functions of p53 in tumors. These findings prompted a genome-wide analysis of possible positive selection during tumor evolution. Methods: A comprehensive analysis of probable somatic mutations in the sequences of Expressed Sequence Tags (ESTs) from malignant tumors and normal tissues was performed in order to access the prevalence of positive selection in cancer evolution. For each EST, the numbers of synonymous and non-synonymous substitutions were calculated. In order to identify genes with a signature of positive selection in cancers, these numbers were compared to: i) expected numbers and ii) the numbers for the respective genes in the ESTs from normal tissues. Results: We identified 112 genes with a signature of positive selection in cancers, i.e., a significantly elevated ratio of non-synonymous to synonymous substitutions, in tumors as compared to 37 such genes in an approximately equal-sized EST collection from normal tissues. A substantial fraction of the tumor-specific positive-selection candidates have experimentally demonstrated or strongly predicted links to cancer. Conclusion: The results of EST analysis should be interpreted with extreme caution given the noise introduced by sequencing errors and undetected polymorphisms. Furthermore, an inherent limitation of EST analysis is that multiple mutations amenable to statistical analysis can be detected only in relatively highly expressed genes. Nevertheless, the present results suggest that positive selection might affect a substantial number of genes during tumorigenic somatic evolution.
AU - Babenko, Vladimir N
AU - Basu, Malay K
AU - Fyodor Kondrashov
AU - Rogozin, Igor B
AU - Koonin, Eugene V
ID - 903
JF - BMC Cancer
TI - Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis
VL - 6
ER -
TY - JOUR
AB - 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.
AU - Tamas Hausel
AU - Swartz, Edward
ID - 1461
IS - 8
JF - Proceedings of the American Mathematical Society
TI - Intersection forms of toric hyperkähler varieties
VL - 134
ER -
TY - JOUR
AB - 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.
AU - Tamas Hausel
ID - 1462
IS - 16
JF - PNAS
TI - Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
VL - 103
ER -
TY - JOUR
AB - 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.
AU - Kraemer, Tobias
AU - Mark, Michael
AU - Waldburger, Philipp
AU - Danzl, Johann G
AU - Chin, Cheng
AU - Engeser, Bastian
AU - Lange, Adam
AU - Pilch, Karl
AU - Jaakkola, Antti
AU - Nägerl, Hanns
AU - Grimm, Rudolf
ID - 1033
IS - 7082
JF - Nature
TI - Evidence for Efimov quantum states in an ultracold gas of caesium atoms
VL - 440
ER -
TY - CONF
AB - 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.
AU - Nägerl, Hanns
AU - Kraemer, Tobias
AU - Mark, Michael
AU - Waldburger, Philipp
AU - Danzl, Johann G
AU - Engeser, Bastian
AU - Lange, Adam
AU - Pilch, Karl
AU - Jaakkola, Antti
AU - Chin, Cheng
AU - Grimm, Rudolf
ID - 1034
TI - Experimental evidence for Efimov quantum states
VL - 869
ER -
TY - JOUR
AB - Although the X chromosome is usually similar to the autosomes in size and cytogenetic appearance, theoretical models predict that its hemizygosity in males may cause unusual patterns of evolution. The sequencing of several genomes has indeed revealed differences between the X chromosome and the autosomes in the rates of gene divergence, patterns of gene expression and rates of gene movement between chromosomes. A better understanding of these patterns should provide valuable information on the evolution of genes located on the X chromosome. It could also suggest solutions to more general problems in molecular evolution, such as detecting selection and estimating mutational effects on fitness
AU - Beatriz Vicoso
AU - Charlesworth, Brian
ID - 2066
IS - 8
JF - Nature Reviews Genetics
TI - Evolution on the X chromosome: Unusual patterns and processes
VL - 7
ER -
TY - CONF
AB - We present an adaptive animation method for electrical discharges. Electrical discharges can be simulated using the dielectric breakdown model. Regular discretization of the governing Laplace equation leads to huge equation systems, and the computational cost of solving the equations quickly becomes prohibitive at high resolutions, especially for simulations in 3D. In contrast, our method discretizes the Laplace equation on an adaptive octree, reducing the size of the problem significantly, and making simulations of high resolution 3D datasets and even 3D animations feasible. In order to enhance realism for lightning animations, we propose a particle simulation that animates the residual positive charge. Thus, interaction of electrical discharges with their surroundings
can be simulated.
AU - Bernd Bickel
AU - Wicke, Martin
AU - Gross, Markus
ID - 2077
TI - Adaptive simulation of electrical discharges
ER -
TY - CONF
AB - We have measured 3D face geometry, skin reflectance, and subsurface scattering using custom-built devices for 149 subjects of varying age, gender, and race. We developed a novel skin reflectance model whose parameters can be estimated from measurements. The model decomposes the large amount of measured skin data into a spatially-varying analytic BRDF, a diffuse albedo map, and diffuse subsurface scattering. Our model is intuitive, physically plausible, and - since we do not use the original measured data - easy to edit as well. High-quality renderings come close to reproducing real photographs. The analysis of the model parameters for our sample population reveals variations according to subject age, gender, skin type, and external factors (e.g., sweat, cold, or makeup). Using our statistics, a user can edit the overall appearance of a face (e.g., changing skin type and age) or change small-scale features using texture synthesis (e.g., adding moles and freckles). We are making the collected statistics publicly available to the research community for applications in face synthesis and analysis.
AU - Weyrich, Tim
AU - Matusik, Wojciech
AU - Pfister, Hanspeter
AU - Bernd Bickel
AU - Donner, Craig
AU - Tu, Chien
AU - McAndless, Janet M
AU - Lee, Jinho
AU - Ngan, Addy
AU - Jensen, Henrik W
AU - Groß, Markus S
ID - 2088
TI - Analysis of human faces using a measurement-based skin reflectance model
ER -
TY - JOUR
AB - We have measured 3D face geometry, skin reflectance, and subsurface scattering using custom-built devices for 149 subjects of varying age, gender, and race. We developed a novel skin reflectance model whose parameters can be estimated from measurements. The model decomposes the large amount of measured skin data into a spatially-varying analytic BRDF, a diffuse albedo map, and diffuse subsurface scattering. Our model is intuitive, physically plausible, and - since we do not use the original measured data - easy to edit as well. High-quality renderings come close to reproducing real photographs. The analysis of the model parameters for our sample population reveals variations according to subject age, gender, skin type, and external factors (e.g., sweat, cold, or makeup). Using our statistics, a user can edit the overall appearance of a face (e.g., changing skin type and age) or change small-scale features using texture synthesis (e.g., adding moles and freckles). We are making the collected statistics publicly available to the research community for applications in face synthesis and analysis.
AU - Weyrich, Tim
AU - Matusik, Wojciech
AU - Pfister, Hanspeter
AU - Bernd Bickel
AU - Donner, Craig
AU - Tu, Chien
AU - McAndless, Janet M
AU - Lee, Jinho
AU - Ngan, Addy
AU - Jensen, Henrik W
AU - Groß, Markus S
ID - 2089
IS - 3
JF - ACM Transactions on Graphics
TI - Analysis of human faces using a measurement-based skin reflectance model
VL - 25
ER -
TY - CONF
AU - Bernd Bickel
AU - Weyrich, Tim
AU - Matusik, Wojciech
AU - Pfister, Hanspeter
AU - Donner, Craig
AU - Tu, Chien
AU - McAndless, Janet M
AU - Lee, Jinho
AU - Ngan, Addy
AU - Jensen, Henrik W
AU - Groß, Markus S
ID - 2090
TI - Processing and editing of faces using a measurement-based skin reflectance model
ER -
TY - JOUR
AB - For any integers d,n ≥2, let X ⊂ Pn be a non‐singular hypersurface of degree d that is defined over the rational numbers. The main result in this paper is a proof that the number of rational points on X which have height at most B is O(Bn − 1 + ɛ), for any ɛ > 0. The implied constant in this estimate depends at most upon d, ɛ and n. 2000 Mathematics Subject Classification 11D45 (primary), 11G35, 14G05 (secondary).
AU - Timothy Browning
AU - Heath-Brown, Roger
AU - Starr, Jason M
ID - 213
IS - 2
JF - Proceedings of the London Mathematical Society
TI - The density of rational points on non-singular hypersurfaces, II
VL - 93
ER -
TY - JOUR
AB - Predissociation of the N+2 C 2Σ+u(v') vibrational levels with v' ≥ 3 was observed via dispersed C 2Σ+u → X 2Σ+g fluorescence in the spectral range of 165–208 nm after resonant 1s−1π*(vr) excitation of N2 and its subsequent autoionization into the N+2 C state. This range is dominated by lines in atomic nitrogen, by overlapped C 2Σ+u(v') → X 2Σ+g(v'') vibrational band sequences with Δv = const and broad unresolved band systems (D, (2))2Πg(v') → A2Πu(v'') in the N+2 molecular ion. With very high fluorescence resolution of about 0.1 nm FWHM individual C 2Σ+u(v') → X 2Σ+g(v'') vibrational bands have been resolved. Calculation of the observed fluorescence spectra by taking into account predissociation and molecular rotation describes well the shape of both individual vibrational bands C 2Σ+u(v') → X 2Σ+g(v'') and the whole band system.
AU - Ehresmann, Arno
AU - Werner, Lutz
AU - Klumpp, Stefan
AU - Demekhin, Ph V
AU - Mikhail Lemeshko
AU - Sukhorukov, V. L
AU - Schartner, Karl H
AU - Schmoranzer, Hans P
ID - 2134
IS - 6
JF - Journal of Physics B: Atomic, Molecular and Optical Physics
TI - Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule
VL - 39
ER -
TY - JOUR
AB - Fluorescence from fragments formed after the de-excitation of the N*2(1s−1π*) resonance has been measured in the spectral range of 135–190 nm. This range is dominated by lines in atomic nitrogen and lines formed by overlapping C2Σ+u(v') → X2Σ+g(v'') bands with Δv = const in the N+2 molecular ion which result from the spectator Auger decays of the N*2(1s−1π*(vr)) resonances. Ab initio calculations of the corresponding potential curves and transition probabilities showed that the observed irregular intensity dependence of the C2Σ+u(v') → X2Σ+g(v'')(Δv = const) fluorescence lines on the vibrational quantum number vr is due to transitions between vibrational levels during the reaction N2(v0 = 0)→ N*2(1s−1π*(vr)) Longrightarrow C2Σ+u(v') → X2Σ+g(v'').
AU - Ehresmann, Arno
AU - Werner, Lutz
AU - Klumpp, Stefan
AU - Lucht, S
AU - Schmoranzer, Hans P
AU - Mickat, Sascha
AU - Schill, Rüdiger H
AU - Schartner, Karl H
AU - Demekhin, Philipp
AU - Mikhail Lemeshko
AU - Sukhorukov, Victor L
ID - 2142
IS - 2
JF - Journal of Physics B: Atomic, Molecular and Optical Physics
TI - Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance
VL - 39
ER -
TY - JOUR
AB - Temperature dependent preedge and extended x-ray absorption fine structure measurements at the Zr K edge for the perovskite-type zirconates Pb Zr0.515 Ti0.485 O3 (PZT), PbZr O3 (PZ), and BaZr O3 are performed. To carry out a more accurate study of the weak reconstruction of the local atomic structure we employed a combination of two techniques: (i) analysis of the preedge fine structure, and (ii) analysis of the Fourier transform of the difference between χ (k) functions obtained at different temperatures. A detailed investigation of local atomic structure in the cubic phase for all the crystals is also performed. It is shown that neither the displacive nor the order-disorder model can describe correctly the changes of local atomic structure during phase transitions in PZ and PZT. A spherical model describing the local atomic structure of perovskite-type crystals suffering structural phase transitions is proposed.
AU - Vedrinskiǐ, Rostislav V
AU - Nazarenko, Elena S
AU - Mikhail Lemeshko
AU - Nassif, Vivian M
AU - Proux, Olivier
AU - Novakovich, Alexander A
AU - Joly, Yves
ID - 2144
IS - 13
JF - Physical Review B - Condensed Matter and Materials Physics
TI - Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates
VL - 73
ER -
TY - JOUR
AB - For any n≥3, let F ∈ Z[X0,...,Xn ] be a form of degree d *≥5 that defines a non-singular hypersurface X ⊂ Pn . The main result in this paper is a proof of the fact that the number N (F ; B) of Q-rational points on X which have height at most B satisfiesN (F ; B) = Od,ε,n (Bn −1+ε ), for any ε > 0. The implied constant in this estimate depends at most upon d, ε and n. New estimates are also obtained for the number of representations of a positive integer as the sum of three dth powers, and for the paucity of integer solutions to equal sums of like polynomials.*
AU - Timothy Browning
AU - Heath-Brown, Roger
ID - 215
IS - 3
JF - Bulletin of the London Mathematical Society
TI - The density of rational points on non-singular hypersurfaces, I
VL - 38
ER -
TY - JOUR
AB - For any N ≥ 2, let Z ⊂ ℙN be a geometrically integral algebraic variety of degree d. This article is concerned with the number Nz(B) of ℚ-rational points on Z which have height at most B. For any ε > 0, we establish the estimate NZ(B) = O d,ε,N(Bdim Z+ε), provided that d ≥ 6. As indicated, the implied constant depends at most on d, ε, and N.
AU - Timothy Browning
AU - Heath-Brown, Roger
AU - Salberger, Per
ID - 216
IS - 3
JF - Duke Mathematical Journal
TI - Counting rational points on algebraic varieties
VL - 132
ER -
TY - JOUR
AB - This paper is concerned with the average order of certain arithmetic functions, as they range over the values taken by binary forms.
AU - de la Bretèche, Régis
AU - Timothy Browning
ID - 218
IS - 3
JF - Acta Arithmetica
TI - Sums of arithmetic functions over values of binary forms
VL - 125
ER -
TY - CONF
AU - Lieb, Élliott H
AU - Robert Seiringer
AU - Solovej, Jan P
ID - 2333
TI - Ground-state energy of a dilute Fermi gas
VL - 412
ER -
TY - CONF
AU - Robert Seiringer
AU - Lieb, Élliott H
AU - Yngvason, Jakob
ED - Zambrini, Jean-Claude
ID - 2334
TI - One-dimensional behavior of dilute, trapped Bose gases in traps
ER -
TY - GEN
AB - 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.
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2363
IS - 2
T2 - Communications in Mathematical Physics
TI - Derivation of the Gross-Pitaevskii equation for rotating Bose gases
VL - 264
ER -
TY - JOUR
AB - 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.
AU - Robert Seiringer
ID - 2364
IS - 3
JF - Reviews in Mathematical Physics
TI - A correlation estimate for quantum many-body systems at positive temperature
VL - 18
ER -
TY - JOUR
AB - 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.
AU - Robert Seiringer
ID - 2365
IS - 3
JF - Communications in Mathematical Physics
TI - The thermodynamic pressure of a dilute fermi gas
VL - 261
ER -
TY - JOUR
AB - 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.
AU - Frank, Rupert L
AU - Laptev, Ari
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2366
IS - 3
JF - Letters in Mathematical Physics
TI - Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials
VL - 77
ER -
TY - CHAP
AB - The recent experimental success in creating Bose-Einstein condensates of alkali atoms, honored by the Nobel prize awards in 2001 [1,5], led to renewed interest in the mathematical description of interacting Bose gases.
AU - Robert Seiringer
ED - Dereziński, Jan
ED - Siedentop, Heinz
ID - 2368
T2 - Large Coulomb Systems
TI - Dilute, trapped Bose gases and Bose-Einstein condensation
VL - 695
ER -
TY - CHAP
AB - 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.
AU - Aizenman, Michael
AU - Lieb, Élliott H
AU - Robert Seiringer
AU - Solovej, Jan P
AU - Yngvason, Jakob
ED - Asch, Joachim
ED - Joye, Alain
ID - 2369
T2 - Mathematical Physics of Quantum Mechanics
TI - Bose-Einstein condensation as a quantum phase transition in an optical lattice
VL - 690
ER -
TY - CHAP
AU - Bang-Jensen, Jørgen
AU - Reed, Bruce
AU - Schacht, Bruce
AU - Šámal, Robert
AU - Toft, Bjarne
AU - Uli Wagner
ID - 2416
T2 - Topics in Discrete Mathematics
TI - On six problems posed by Jarik Nešetřil
VL - 26
ER -
TY - JOUR
AB - We show, with an elementary proof, that the number of halving simplices in a set of n points in 4 in general position is O(n4-2/45). This improves the previous bound of O(n4-1/134). Our main new ingredient is a bound on the maximum number of halving simplices intersecting a fixed 2-plane.
AU - Matoušek, Jiří
AU - Sharir, Micha
AU - Smorodinsky, Shakhar
AU - Uli Wagner
ID - 2429
IS - 2
JF - Discrete & Computational Geometry
TI - K-sets in four dimensions
VL - 35
ER -
TY - JOUR
AB - We consider an online version of the conflict-free coloring of a set of points on the line, where each newly inserted point must be assigned a color upon insertion, and at all times the coloring has to be conflict-free, in the sense that in every interval I there is a color that appears exactly once in I. We present deterministic and randomized algorithms for achieving this goal, and analyze their performance, that is, the maximum number of colors that they need to use, as a function of the number n of inserted points. We first show that a natural and simple (deterministic) approach may perform rather poorly, requiring Ω(√̃) colors in the worst case. We then derive two efficient variants of this simple algorithm. The first is deterministic and uses O(log 2 n) colors, and the second is randomized and uses O(log n) colors with high probability. We also show that the O(log 2 n) bound on the number of colors used by our deterministic algorithm is tight on the worst case. We also analyze the performance of the simplest proposed algorithm when the points are inserted in a random order and present an incomplete analysis that indicates that, with high probability, it uses only O(log n) colors. Finally, we show that in the extension of this problem to two dimensions, where the relevant ranges are disks, n colors may be required in the worst case.
AU - Chent, Ke
AU - Fiat, Amos
AU - Kaplan, Haim
AU - Levy, Meital B
AU - Matoušek, Jiří
AU - Mossel, Elchanan
AU - Pach, János
AU - Sharir, Micha
AU - Smorodinsky, Shakhar
AU - Uli Wagner
AU - Welzl, Emo
ID - 2430
IS - 5
JF - SIAM Journal on Computing
TI - Online conflict-free coloring for intervals
VL - 36
ER -
TY - CONF
AB - We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most t in an arrangement of n halfspaces in R , for arbitrary n and d (in particular, the dimension d is not considered constant). This partially settles a conjecture of Eckhoff, Linhart, and Welzl. Up to the factor of 2, the result generalizes McMullen's Upper Bound Theorem for convex polytopes (the case ℓ = O) and extends a theorem of Linhart for the case d ≤ 4. Moreover, the bound sharpens asymptotic estimates obtained by Clarkson and Shor. The proof is based on the h-matrix of the arrangement (a generalization, introduced by Mulmuley, of the h-vector of a convex polytope). We show that bounding appropriate sums of entries of this matrix reduces to a lemma about quadrupels of sets with certain intersection properties, and we prove this lemma, up to a factor of 2, using tools from multilinear algebra. This extends an approach of Alon and Kalai, who used linear algebra methods for an alternative proof of the classical Upper Bound Theorem. The bounds for the entries of the h-matrix also imply bounds for the number of i-dimensional faces, i > 0, at level at most ℓ. Furthermore, we discuss a connection with crossing numbers of graphs that was one of the main motivations for investigating exact bounds that are valid for arbitrary dimensions.
AU - Uli Wagner
ID - 2431
TI - On a geometric generalization of the Upper Bound Theorem
ER -
TY - JOUR
AB - The highest densities of the two metabotropic GABA subunits, GABA B1 and GABAB2, have been reported as occurring around the glutamatergic synapses between Purkinje cell spines and parallel fibre varicosities. In order to determine how this distribution is achieved during development, we investigated the expression pattern and the cellular and subcellular localization of the GABAB1 and GABAB2 subunits in the rat cerebellum during postnatal development. At the light microscopic level, immunoreactivity for the GABAB1 and GABAB2 subunits was very prominent in the developing molecular layer, especially in Purkinje cells. Using double immunofluorescence, we demonstrated that GABAB1 was transiently expressed in glial cells. At the electron microscopic level, immunoreactivity for GABAB receptors was always detected both pre- and postsynaptically. Presynaptically, GABAB1 and GABAB2 were localized in the extrasynaptic membrane of parallel fibres at all ages, and only rarely in GABAergic axons. Postsynaptically, GABAB receptors were localized to the extrasynaptic and perisynaptic plasma membrane of Purkinje cell dendrites and spines throughout development. Quantitative analysis and three-dimensional reconstructions further revealed a progressive developmental movement of the GABAB1 subunit on the surface of Purkinje cells from dendritic shafts to its final destination, the dendritic spines. Together, these results indicate that GABAB receptors undergo dynamic regulation during cerebellar development in association with the establishment and maturation of glutamatergic synapses to Purkinje cells.
AU - Luján, Rafael
AU - Ryuichi Shigemoto
ID - 2657
IS - 6
JF - European Journal of Neuroscience
TI - Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum
VL - 23
ER -
TY - JOUR
AB - Transmembrane AMPA receptor regulatory proteins (TARPs), including stargazin/γ-2, are associated with AMPA receptors and participate in their surface delivery and anchoring at the postsynaptic membrane. TARPs may also act as a positive modulator of the AMPA receptor ion channel function; however, little is known about other TARP members except for stargazin/γ-2. We examined the synaptic localization of stargazin/γ-2 and γ-8 by immunoelectron microscopy and biochemical analysis. The analysis of sodium dodecyl sulfate-digested freeze-fracture replica labeling revealed that stargazin/γ-2 was concentrated in the postsynaptic area, whereas γ-8 was distributed both in synaptic and extra-synaptic plasma membranes of the hippocampal neuron. When a synaptic plasma membrane-enriched brain fraction was treated with Triton X-100 and separated by sucrose density gradient ultracentrifugation, a large proportion of NMDA receptor and stargazin/γ-2 was accumulated in raft-enriched fractions, whereas AMPA receptor and γ-8 were distributed in both the raft-enriched fractions and other Triton-insoluble fractions. Phosphorylation of stargazin/γ-2 and γ-8 was regulated by different sets of kinases and phosphatases in cultured cortical neurons. These results suggested that stargazin/γ-2 and γ-8 have distinct roles in postsynaptic membranes under the regulation of different intracellular signaling pathways.
AU - Inamura, Mihoko
AU - Itakura, Makoto
AU - Okamoto, Hirotsugu
AU - Hoka, Sumio
AU - Mizoguchi, Akira
AU - Fukazawa, Yugo
AU - Ryuichi Shigemoto
AU - Yamamori, Saori
AU - Takahashi, Masami
ID - 2659
IS - 1
JF - Neuroscience Research
TI - Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons
VL - 55
ER -
TY - JOUR
AB - Pavlovian fear conditioning, a simple form of associative learning, is thought to involve the induction of associative, NMDA receptor-dependent long-term potentiation (LTP) in the lateral amygdala. Using a combined genetic and electrophysiological approach, we show here that lack of a specific GABAB receptor subtype, GABAB(1a,2), unmasks a nonassociative, NMDA receptor-independent form of presynaptic LTP at cortico-amygdala afferents. Moreover, the level of presynaptic GABA B(1a,2) receptor activation, and hence the balance between associative and nonassociative forms of LTP, can be dynamically modulated by local inhibitory activity. At the behavioral level, genetic loss of GABA B(1a) results in a generalization of conditioned fear to nonconditioned stimuli. Our findings indicate that presynaptic inhibition through GABAB(1a,2) receptors serves as an activity-dependent constraint on the induction of homosynaptic plasticity, which may be important to prevent the generalization of conditioned fear.
AU - Shaban, Hamdy
AU - Humeau, Yann
AU - Herry, Cyril
AU - Cassasus, Guillaume
AU - Ryuichi Shigemoto
AU - Ciocchi, Stéphane
AU - Barbieri, Samuel
AU - Van Der Putten, Herman V
AU - Kaupmann, Klemens
AU - Bettler, Bernhard
AU - Lüthi, Andreas
ID - 2660
IS - 8
JF - Nature Neuroscience
TI - Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
VL - 9
ER -
TY - JOUR
AB - GABAB receptors are the G protein-coupled receptors for the main inhibitory neurotransmitter in the brain, γ-aminobutyric acid (GABA). Molecular diversity in the GABAB system arises from the GABAB1a and GABAB1b subunit isoforms that solely differ in their ectodomains by a pair of sushi repeats that is unique to GABAB1a. Using a combined genetic, physiological, and morphological approach, we now demonstrate that GABAB1 isoforms localize to distinct synaptic sites and convey separate functions in vivo. At hippocampal CA3-to-CA1 synapses, GABAB1a assembles heteroreceptors inhibiting glutamate release, while predominantly GABAB1b mediates postsynaptic inhibition. Electron microscopy reveals a synaptic distribution of GABAB1 isoforms that agrees with the observed functional differences. Transfected CA3 neurons selectively express GABAB1a in distal axons, suggesting that the sushi repeats, a conserved protein interaction motif, specify heteroreceptor localization. The constitutive absence of GABAB1a but not GABAB1b results in impaired synaptic plasticity and hippocampus-dependent memory, emphasizing molecular differences in synaptic GABAB functions.
AU - Vigot, Réjan
AU - Barbieri, Samuel
AU - Bräuner-Osborne, Hans
AU - Tureček, Rostislav
AU - Ryuichi Shigemoto
AU - Zhang, Yan Ping
AU - Luján, Rafael
AU - Jacobson, Laura H
AU - Biermann, Barbara
AU - Fritschy, Jean-Marc
AU - Vacher, Claire-Marie
AU - Müller, Matthias P
AU - Sansig, Gilles
AU - Guetg, Nicole
AU - Cryan, John F
AU - Kaupmann, Klemens
AU - Gassmann, Martin
AU - Oertner, Thomas G
AU - Bettler, Bernhard
ID - 2661
IS - 4
JF - Neuron
TI - Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
VL - 50
ER -
TY - JOUR
AB - G-protein-coupled inwardly rectifying K+ channels (Kir3 channels) coupled to metabotropic GABAB receptors are essential for the control of neuronal excitation. To determine the distribution of Kir3 channels and their spatial relationship to GABAB receptors on hippocampal pyramidal cells, we used a high-resolution immunocytochemical approach. Immunoreactivity for the Kir3.2 subunit was most abundant postsynaptically and localized to the extrasynaptic plasma membrane of dendritic shafts and spines of principal cells. Quantitative analysis of immunogold particles for Kir3.2 revealed an enrichment of the protein around putative glutamatergic synapses on dendritic spines, similar to that of GABA B1. Consistent with this observation, a high degree of coclustering of Kir3.2 and GABAB1 was revealed around excitatory synapses by the highly sensitive SDS-digested freeze-fracture replica immunolabeling. In contrast, in dendritic shafts receptors and channels were found to be mainly segregated. These results suggest that Kir3.2-containing K+ channels on dendritic spines preferentially mediate the effect of GABA, whereas channels on dendritic shafts are likely to be activated by other neurotransmitters as well. Thus, Kir3 channels, localized to different subcellular compartments of hippocampal principal cells, appear to be differentially involved in synaptic integration in pyramidal cell dendrites.
AU - Kulik, Ákos
AU - Vida, Imre
AU - Fukazawa, Yugo
AU - Guetg, Nicole
AU - Kasugai, Yu
AU - Marker, Cheryl L
AU - Rigato, Franck
AU - Bettler, Bernhard
AU - Wickman, Kevin D
AU - Frotscher, Michael
AU - Ryuichi Shigemoto
ID - 2662
IS - 16
JF - Journal of Neuroscience
TI - Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells
VL - 26
ER -
TY - JOUR
AB - The rocker mice are hereditary ataxic mutants that carry a point mutation in the gene encoding the CaV2.1 (P/Q-type) Ca2+ channel α1 subunit, and show the mildest symptoms among the reported CaV2.1 mutant mice. We studied the basic characteristics of the rocker mutant Ca2+ channel and their impacts on excitatory synaptic transmission in cerebellar Purkinje cells (PCs). In acutely dissociated PC somas, the rocker mutant channel showed a moderate reduction in Ca2+ channel current density, whereas its kinetics and voltage dependency of gating remained nearly normal. Despite the small changes in channel function, synaptic transmission in the parallel fiber (PF)-PC synapses was severely impaired. The climbing fiber inputs onto PCs showed a moderate impairment but could elicit normal complex spikes. Presynaptic function of the PF-PC synapses, however, was unexpectedly almost normal in terms of paired-pulse facilitation, sensitivity to extracellular Ca2+ concentration and glutamate concentration in synaptic clefts. Electron microscopic analyses including freeze-fracture replica labeling revealed that both the number and density of postsynaptic α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) receptors substantially decreased without gross structural changes of the PF-PC synapses. We also observed an abnormal arborization of PC dendrites in young adult rocker mice (∼ 1 month old). These lines of evidence suggest that even a moderate dysfunction of CaV2.1 Ca2+ channel can cause substantial changes in postsynaptic molecular composition of the PF-PC synapses and dendritic structure of PCs.
AU - Kodama, Takashi
AU - Itsukaichi-Nishida, Yuko
AU - Fukazawa, Yugo
AU - Wakamori, Minoru
AU - Miyata, Mariko
AU - Molnár, Elek
AU - Mori, Yasuo
AU - Ryuichi Shigemoto
AU - Imoto, Keiji
ID - 2663
IS - 11
JF - European Journal of Neuroscience
TI - A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
VL - 24
ER -
TY - GEN
AB - Metabotropic glutamate receptors (mGlus) are a family of G-protein-coupled receptors activated by the neurotransmitter glutamate. Molecular cloning has revealed eight different subtypes (mGlu1-8) with distinct molecular and pharmacological properties. Multiplicity in this receptor family is further generated through alternative splicing. mGlus activate a multitude of signalling pathways important for modulating neuronal excitability, synaptic plasticity and feedback regulation of neurotransmitter release. In this review, we summarize anatomical findings (from our work and that of other laboratories) describing their distribution in the central nervous system. Recent evidence regarding the localization of these receptors in peripheral tissues will also be examined. The distinct regional, cellular and subcellular distribution of mGlus in the brain will be discussed in view of their relationship to neurotransmitter release sites and of possible functional implications.
AU - Ferraguti, Francesco
AU - Ryuichi Shigemoto
ID - 2664
IS - 2
T2 - Cell and Tissue Research
TI - Metabotropic glutamate receptors
VL - 326
ER -
TY - JOUR
AB - We consider the dynamics of N boson systems interacting through a pair potential N -1 V a (x i -x j ) where V a (x)=a -3 V(x/a). We denote the solution to the N-particle Schrödinger equation by Ψ N, t . Recall that the Gross-Pitaevskii (GP) equation is a nonlinear Schrödinger equation and the GP hierarchy is an infinite BBGKY hierarchy of equations so that if u t solves the GP equation, then the family of k-particle density matrices [InlineMediaObject not available: see fulltext.] solves the GP hierarchy. Under the assumption that a = Nε for 0 < ε < 3/5, we prove that as N→∞ the limit points of the k-particle density matrices of Ψ N, t are solutions of the GP hierarchy with the coupling constant in the nonlinear term of the GP equation given by ∫ V (x)dx. The uniqueness of the solutions of this hierarchy remains an open question.
AU - Elgart, Alexander
AU - László Erdös
AU - Schlein, Benjamin
AU - Yau, Horng-Tzer
ID - 2745
IS - 2
JF - Archive for Rational Mechanics and Analysis
TI - Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
VL - 179
ER -
TY - CONF
AB - We consider random Schrödinger equations on Rd or Zd for d ≥ 3 with uncorrelated, identically distributed random potential. Denote by λ the coupling constant and ψt the solution with initial data ψ0.
AU - László Erdös
AU - Salmhofer, Manfred
AU - Yau, Horng-Tzer
ID - 2746
TI - Towards the quantum Brownian motion
VL - 690
ER -
TY - JOUR
AB - Consider a system of N bosons on the three-dimensional unit torus interacting via a pair potential N 2V(N(x i - x j)) where x = (x i, . . ., x N) denotes the positions of the particles. Suppose that the initial data ψ N,0 satisfies the condition 〈ψ N,0, H 2 Nψ N,0) ≤ C N 2 where H N is the Hamiltonian of the Bose system. This condition is satisfied if ψ N,0 = W Nφ N,t where W N is an approximate ground state to H N and φ N,0 is regular. Let ψ N,t denote the solution to the Schrödinger equation with Hamiltonian H N. Gross and Pitaevskii proposed to model the dynamics of such a system by a nonlinear Schrödinger equation, the Gross-Pitaevskii (GP) equation. The GP hierarchy is an infinite BBGKY hierarchy of equations so that if u t solves the GP equation, then the family of k-particle density matrices ⊗ k |u t?〉 〈 t | solves the GP hierarchy. We prove that as N → ∞ the limit points of the k-particle density matrices of ψ N,t are solutions of the GP hierarchy. Our analysis requires that the N-boson dynamics be described by a modified Hamiltonian that cuts off the pair interactions whenever at least three particles come into a region with diameter much smaller than the typical interparticle distance. Our proof can be extended to a modified Hamiltonian that only forbids at least n particles from coming close together for any fixed n.
AU - László Erdös
AU - Schlein, Benjamin
AU - Yau, Horng-Tzer
ID - 2747
IS - 12
JF - Communications on Pure and Applied Mathematics
TI - Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate
VL - 59
ER -
TY - JOUR
AB - Generally, the motion of fluids is smooth and laminar at low speeds but becomes highly disordered and turbulent as the velocity increases. The transition from laminar to turbulent flow can involve a sequence of instabilities in which the system realizes progressively more complicated states, or it can occur suddenly. Once the transition has taken place, it is generally assumed that, under steady conditions, the turbulent state will persist indefinitely. The flow of a fluid down a straight pipe provides a ubiquitous example of a shear flow undergoing a sudden transition from laminar to turbulent motion. Extensive calculations and experimental studies have shown that, at relatively low flow rates, turbulence in pipes is transient, and is characterized by an exponential distribution of lifetimes. They also suggest that for Reynolds numbers exceeding a critical value the lifetime diverges (that is, becomes infinitely large), marking a change from transient to persistent turbulence. Here we present experimental data and numerical calculations covering more than two decades of lifetimes, showing that the lifetime does not in fact diverge but rather increases exponentially with the Reynolds number. This implies that turbulence in pipes is only a transient event (contrary to the commonly accepted view), and that the turbulent and laminar states remain dynamically connected, suggesting avenues for turbulence control.
AU - Björn Hof
AU - Westerweel, Jerry
AU - Schneider, Tobias M
AU - Eckhardt, Bruno
ID - 2791
IS - 7107
JF - Nature
TI - Finite lifetime of turbulence in shear flows
VL - 443
ER -
TY - JOUR
AB - Transition to turbulence in pipe flow has posed a riddle in fluid dynamics since the pioneering experiments of Reynolds[1]. Although the laminar flow is linearly stable for all flow rates, practical pipe flows become turbulent at large enough flow speeds. Turbulence arises suddenly and fully without distinct steps and without a clear critical point. The complexity of this problem has puzzled mathematicians, physicists and engineers for more than a century and no satisfactory explanation of this problem has been given. In a very recent theoretical approach it has been suggested that unstable solutions of the Navier Stokes equations may hold the key to understanding this problem. In numerical studies such unstable states have been identified as exact solutions for the idealized case of a pipe with periodic boundary conditions[2, 3]. These solutions have the form of waves extending through the entire pipe and travelling in the streamwise direction at a phase speed close to the bulk velocity of the fluid. With the aid of a recently developed high-speed stereoscopic Particle Image Velocimetry (PIV) system, we were able to observe transients of such unstable solutions in turbulent pipe flow[4].
AU - Björn Hof
AU - van Doorne, Casimir W
AU - Westerweel, Jerry
AU - Nieuwstadt, Frans T
ID - 2792
JF - Fluid Mechanics and its Applications
TI - Observation of nonlinear travelling waves in turbulent pipe flow
VL - 78
ER -
TY - JOUR
AB - Cytosine methylation, a common form of DNA modification that antagonizes transcription, is found at transposons and repeats in vertebrates, plants and fungi. Here we have mapped DNA methylation in the entire Arabidopsis thaliana genome at high resolution. DNA methylation covers transposons and is present within a large fraction of A. thaliana genes. Methylation within genes is conspicuously biased away from gene ends, suggesting a dependence on RNA polymerase transit. Genic methylation is strongly influenced by transcription: moderately transcribed genes are most likely to be methylated, whereas genes at either extreme are least likely. In turn, transcription is influenced by methylation: short methylated genes are poorly expressed, and loss of methylation in the body of a gene leads to enhanced transcription. Our results indicate that genic transcription and DNA methylation are closely interwoven processes.
AU - Zilberman, Daniel
AU - Gehring, Mary
AU - Tran, Robert K.
AU - Ballinger, Tracy
AU - Henikoff, Steven
ID - 9505
IS - 1
JF - Nature Genetics
SN - 1061-4036
TI - Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription
VL - 39
ER -
TY - GEN
AB - Ising models with pairwise interactions are the least structured, or maximum-entropy, probability distributions that exactly reproduce measured pairwise correlations between spins. Here we use this equivalence to construct Ising models that describe the correlated spiking activity of populations of 40 neurons in the retina, and show that pairwise interactions account for observed higher-order correlations. By first finding a representative ensemble for observed networks we can create synthetic networks of 120 neurons, and find that with increasing size the networks operate closer to a critical point and start exhibiting collective behaviors reminiscent of spin glasses.
AU - Gasper Tkacik
AU - Schneidman, E.
AU - Berry, M. J.
AU - Bialek, William S
ID - 3431
T2 - ArXiv
TI - Ising models for networks of real neurons
ER -
TY - JOUR
AB - The mutational landscape model is a theoretical model describing sequence evolution in natural populations. However, recent experimental work has begun to test its predictions in laboratory populations of microbes. Several of these studies have focused on testing the prediction that the effects of beneficial mutations should be roughly exponentially distributed. The prediction appears to be borne out by most of these studies, at least qualitatively. Another study showed that a modified version of the model was able to predict, with reasonable accuracy, which of a ranked set of beneficial alleles will be fixed next. Although it remains to be seen whether the mutational landscape model adequately describes adaptation in organisms other than microbes, together these studies suggest that adaptive evolution has surprisingly general properties that can be successfully captured by theoretical models.
AU - Betancourt, Andrea J
AU - Jonathan Bollback
ID - 3437
IS - 6
JF - Current Opinion in Genetics & Development
TI - Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution
VL - 16
ER -
TY - CONF
AB - We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), accountability based controls (e.g., insurance), controls derived from rationality assumptions on participants (e.g., network mechanisms), and their composition. Building on the extensive research into games, we demonstrate that this expressive power coexists with a formal analysis framework comparable to that available for access control.
AU - Krishnendu Chatterjee
AU - Jagadeesan, Rhada
AU - Pitcher, Corin
ID - 3449
TI - Games for controls
ER -
TY - GEN
AB - It is widely accepted that the hippocampus plays a major role in learning and memory. The mossy fiber synapse between granule cells in the dentate gyrus and pyramidal neurons in the CA3 region is a key component of the hippocampal trisynaptic circuit. Recent work, partially based on direct presynaptic patch-clamp recordings from hippocampal mossy fiber boutons, sheds light on the mechanisms of synaptic transmission and plasticity at mossy fiber synapses. A high Na(+) channel density in mossy fiber boutons leads to a large amplitude of the presynaptic action potential. Together with the fast gating of presynaptic Ca(2+) channels, this generates a large and brief presynaptic Ca(2+) influx, which can trigger transmitter release with high efficiency and temporal precision. The large number of release sites, the large size of the releasable pool of vesicles, and the huge extent of presynaptic plasticity confer unique strength to this synapse, suggesting a large impact onto the CA3 pyramidal cell network under specific behavioral conditions. The characteristic properties of the hippocampal mossy fiber synapse may be important for pattern separation and information storage in the dentate gyrus-CA3 cell network.
AU - Bischofberger, Joseph
AU - Engel, Dominique
AU - Frotscher, Michael
AU - Peter Jonas
ID - 3463
IS - 3
T2 - Pflugers Archiv : European Journal of Physiology
TI - Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review)
VL - 453
ER -
TY - CONF
AB - We study infinite stochastic games played by n-players on a finite graph with goals specified by sets of infinite traces. The games are concurrent (each player simultaneously and independently chooses an action at each round), stochastic (the next state is determined by a probability distribution depending on the current state and the chosen actions), infinite (the game continues for an infinite number of rounds), nonzero-sum (the players’ goals are not necessarily conflicting), and undiscounted. We show that if each player has an upward-closed objective, then there exists an ε-Nash equilibrium in memoryless strategies, for every ε>0; and exact Nash equilibria need not exist. Upward-closure of an objective means that if a set Z of infinitely repeating states is winning, then all supersets of Z of infinitely repeating states are also winning. Memoryless strategies are strategies that are independent of history of plays and depend only on the current state. We also study the complexity of finding values (payoff profile) of an ε-Nash equilibrium. We show that the values of an ε-Nash equilibrium in nonzero-sum concurrent games with upward-closed objectives for all players can be computed by computing ε-Nash equilibrium values of nonzero-sum concurrent games with reachability objectives for all players and a polynomial procedure. As a consequence we establish that values of an ε-Nash equilibrium can be computed in TFNP (total functional NP), and hence in EXPTIME.
AU - Krishnendu Chatterjee
ID - 3499
TI - Nash equilibrium for upward-closed objectives
VL - 4207
ER -
TY - CONF
AB - The classical algorithm for solving Bu ̈chi games requires time O(n · m) for game graphs with n states and m edges. For game graphs with constant outdegree, the best known algorithm has running time O(n2/logn). We present two new algorithms for Bu ̈chi games. First, we give an algorithm that performs at most O(m) more work than the classical algorithm, but runs in time O(n) on infinitely many graphs of constant outdegree on which the classical algorithm requires time O(n2). Second, we give an algorithm with running time O(n · m · log δ(n)/ log n), where 1 ≤ δ(n) ≤ n is the outdegree of the game graph. Note that this algorithm performs asymptotically better than the classical algorithm if δ(n) = O(log n).
AU - Krishnendu Chatterjee
AU - Thomas Henzinger
AU - Piterman, Nir
ID - 3500
TI - Algorithms for Büchi Games
ER -
TY - GEN
AB - Embodiments automatically generate an accurate network of watertight NURBS patches from polygonal models of objects while automatically detecting and preserving character lines thereon. These embodiments generate from an initial triangulation of the surface, a hierarchy of progressively coarser triangulations of the surface by performing a sequence of edge contractions using a greedy algorithm that selects edge contractions by their numerical properties. Operations are also performed to connect the triangulations in the hierarchy using homeomorphisms that preserve the topology of the initial triangulation in the coarsest triangulation. A desired quadrangulation of the surface can then be generated by homeomorphically mapping edges of a coarsest triangulation in the hierarchy back to the initial triangulation. This quadrangulation is topologically consistent with the initial triangulation and is defined by a plurality of quadrangular patches. These quadrangular patches are linked together by a (U, V) mesh that is guaranteed to be continuous at patch boundaries. A grid is then preferably fit to each of the quadrangles in the resulting quadrangulation by decomposing each of the quadrangles into k.sup.2 smaller quadrangles. A watertight NURBS model may be generated from the resulting quadrangulation.
AU - Edelsbrunner, Herbert
AU - Fu, Ping
AU - Nekhayev, Dmitry
AU - Facello, Michael
AU - Williams, Steven
ID - 3510
TI - Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism
ER -
TY - GEN
AB - Methods, apparatus and computer program products provide efficient techniques for designing and printing shells of hearing-aid devices with a high degree of quality assurance and reliability and with a reduced number of manual and time consuming production steps and operations. These techniques also preferably provide hearing-aid shells having internal volumes that can approach a maximum allowable ratio of internal volume relative to external volume. These high internal volumes facilitate the inclusion of hearing-aid electrical components having higher degrees of functionality and/or the use of smaller and less conspicuous hearing-aid shells. A preferred method includes operations to generate a watertight digital model of a hearing-aid shell by thickening a three-dimensional digital model of a shell surface in a manner that eliminates self-intersections and results in a thickened model having an internal volume that is a high percentage of an external volume of the model.
AU - Fu, Ping
AU - Nekhayev, Dmitry
AU - Edelsbrunner, Herbert
ID - 3511
TI - Manufacturing methods and systems for rapid production of hearing-aid shells
ER -
TY - GEN
AB - Methods, apparatus and computer program products provide efficient techniques for reconstructing surfaces from data point sets. These techniques include reconstructing surfaces from sets of scanned data points that have preferably undergone preprocessing operations to improve their quality by, for example, reducing noise and removing outliers. These techniques include reconstructing a dense and locally two-dimensionally distributed 3D point set (e.g., point cloud) by merging stars in two-dimensional weighted Delaunay triangulations within estimated tangent planes. The techniques include determining a plurality of stars from a plurality of points p.sub.i in a 3D point set S that at least partially describes the 3D surface, by projecting the plurality of points p.sub.i onto planes T.sub.i that are each estimated to be tangent about a respective one of the plurality of points p.sub.i. The plurality of stars are then merged into a digital model of the 3D surface.
AU - Fletcher, Yates
AU - Gloth, Tobias
AU - Edelsbrunner, Herbert
AU - Fu, Ping
ID - 3512
TI - Method, apparatus and computer products that reconstruct surfaces from data points
ER -
TY - JOUR
AB - We observed sharp wave/ripples (SWR) during exploration within brief (< 2.4 s) interruptions of or during theta oscillations. CA1 network responses of SWRs occurring during exploration (eSWR) and SWRs detected in waking immobility or sleep were similar. However, neuronal activity during eSWR was location dependent, and eSWR-related firing was stronger inside the place field than outside. The eSPW-related firing increase was stronger than the baseline increase inside compared to outside, suggesting a “supralinear” summation of eSWR and place-selective inputs. Pairs of cells with similar place fields and/or correlated firing during exploration showed stronger coactivation during eSWRs and subsequent sleep-SWRs. Sequential activation of place cells was not required for the reactivation of waking co-firing patterns; cell pairs with symmetrical cross-correlations still showed reactivated waking co-firing patterns during sleep-SWRs. We suggest that place-selective firing during eSWRs facilitates initial associations between cells with similar place fields that enable place-related ensemble patterns to recur during subsequent sleep-SWRs.
AU - Joseph O'Neill
AU - Senior,Timothy
AU - Jozsef Csicsvari
ID - 3522
IS - 1
JF - Neuron
TI - Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior
VL - 49
ER -
TY - JOUR
AB - The functional organization of the basal ganglia ( BG) is often defined according to one of two opposing schemes. The first proposes multiple, essentially independent channels of information processing. The second posits convergence and lateral integration of striatal channels at the level of the globus pallidus ( GP). We tested the hypothesis that these proposed aspects of functional connectivity within the striatopallidal axis are dynamic and related to brain state. Local field potentials ( LFPs) were simultaneously recorded from multiple sites in striatum and GP in anesthetized rats during slow-wave activity( SWA) and during global activation evoked by sensory stimulation. Functional connectivity was inferred from comparative analyses of the internuclear and intranuclear coherence between bipolar derivations of LFPs. During prominent SWA, as shown in the electrocorticogram and local field potentials in the basal ganglia, intranuclear coherence, and, thus, lateral functional connectivity within striatum or globus pallidus was relatively weak. Furthermore, the temporal coupling of LFPs recorded across these two nuclei involved functional convergence at the level of GP. Global activation, indicated by a loss of SWA, was accompanied by a rapid functional reorganization of the striatopallidal axis. Prominent lateral functional connectivity developed within GP and, to a significantly more constrained spatial extent, striatum. Additionally, functional convergence on GP was no longer apparent, despite increased internuclear coherence. These data demonstrate that functional connectivity within the BG is highly dynamic and suggest that the relative expression of organizational principles, such as parallel, independent processing channels, striatopallidal convergence, and lateral integration within BG nuclei, is dependent on brain state.
AU - Magill,Peter J
AU - Pogosyan,Alek
AU - Sharott,Andrew
AU - Jozsef Csicsvari
AU - Bolam, John Paul
AU - Brown,Peter
ID - 3545
IS - 23
JF - Journal of Neuroscience
TI - Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo
VL - 26
ER -
TY - CONF
AB - Persistent homology is the mathematical core of recent work on shape, including reconstruction, recognition, and matching. Its per- tinent information is encapsulated by a pairing of the critical values of a function, visualized by points forming a diagram in the plane. The original algorithm in [10] computes the pairs from an ordering of the simplices in a triangulation and takes worst-case time cubic in the number of simplices. The main result of this paper is an algorithm that maintains the pairing in worst-case linear time per transposition in the ordering. A side-effect of the algorithm’s anal- ysis is an elementary proof of the stability of persistence diagrams [7] in the special case of piecewise-linear functions. We use the algorithm to compute 1-parameter families of diagrams which we apply to the study of protein folding trajectories.
AU - Cohen-Steiner, David
AU - Herbert Edelsbrunner
AU - Morozov, Dmitriy
ID - 3559
TI - Vines and vineyards by updating persistence in linear time
ER -
TY - CONF
AB - We continue the study of topological persistence [5] by investigat- ing the problem of simplifying a function f in a way that removes topological noise as determined by its persistence diagram [2]. To state our results, we call a function g an ε-simplification of another function f if ∥f − g∥∞ ≤ ε, and the persistence diagrams of g are the same as those of f except all points within L1-distance at most ε from the diagonal have been removed. We prove that for func- tions f on a 2-manifold such ε-simplification exists, and we give an algorithm to construct them in the piecewise linear case.
AU - Herbert Edelsbrunner
AU - Morozov, Dmitriy
AU - Pascucci, Valerio
ID - 3560
TI - Persistence-sensitive simplification of functions on 2-manifolds
ER -
TY - GEN
AU - Pemberton, Josephine M
AU - Swanson, Graeme M
AU - Nicholas Barton
AU - Livingstone, Suzanne R
AU - Senn, Helen V
ID - 3594
IS - 9
T2 - Deer
TI - Hybridisation between red and sika deer in Scotland
VL - 13
ER -
TY - JOUR
AB - We apply new analytical methods to understand the consequences of population bottlenecks for expected additive genetic variance. We analyze essentially all models for multilocus epistasis that have been numerically simulated to demonstrate increased additive variance. We conclude that for biologically plausible models, large increases in expected additive variance–attributable to epistasis rather than dominance–are unlikely. Naciri-Graven and Goudet (2003) found that as the number of epistatically interacting loci increases, additive variance tends to be inflated more after a bottleneck. We argue that this result reflects biologically unrealistic aspects of their models. Specifically, as the number of loci increases, higher-order epistatic interactions become increasingly important in these models, with an increasing fraction of the genetic variance becoming nonadditive, contrary to empirical observations. As shown by Barton and Turelli (2004), without dominance, conversion of nonadditive to additive variance depends only on the variance components and not on the number of loci per se. Numerical results indicating that more inbreeding is needed to produce maximal release of additive variance with more loci follow directly from our analytical results, which show that high levels of inbreeding (F > 0.5) are needed for significant conversion of higher-order components. We discuss alternative approaches to modeling multilocus epistasis and understanding its consequences.
AU - Turelli, Michael
AU - Nicholas Barton
ID - 3607
IS - 9
JF - Evolution; International Journal of Organic Evolution
TI - Will population bottlenecks and multilocus epistasis increase additive genetic variance?
VL - 60
ER -
TY - JOUR
AB - We study the evolution of inversions that capture locally adapted alleles when two populations are exchanging migrants or hybridizing. By suppressing recombination between the loci, a new inversion can spread. Neither drift nor coadaptation between the alleles (epistasis) is needed, so this local adaptation mechanism may apply to a broader range of genetic and demographic situations than alternative hypotheses that have been widely discussed. The mechanism can explain many features observed in inversion systems. It will drive an inversion to high frequency if there is no countervailing force, which could explain fixed differences observed between populations and species. An inversion can be stabilized at an intermediate frequency if it also happens to capture one or more deleterious recessive mutations, which could explain polymorphisms that are common in some species. This polymorphism can cycle in frequency with the changing selective advantage of the locally favored alleles. The mechanism can establish underdominant inversions that decrease heterokaryotype fitness by several percent if the cause of fitness loss is structural, while if the cause is genic there is no limit to the strength of underdominance that can result. The mechanism is expected to cause loci responsible for adaptive species-specific differences to map to inversions, as seen in recent QTL studies. We discuss data that support the hypothesis, review other mechanisms for inversion evolution, and suggest possible tests.
AU - Kirkpatrick, Mark
AU - Nicholas Barton
ID - 3608
IS - 1
JF - Genetics
TI - Chromosome inversions, local adaptation, and speciation
VL - 173
ER -
TY - JOUR
AB - Bombina bombina and B. variegata are two anciently diverged toad taxa that have adapted to different breeding habitats yet hybridize freely in zones of overlap where their parapatric distributions meet. Here, we report on a joint genetic and ecological analysis of a hybrid zone in the vicinity of Stryi in western Ukraine. We used five unlinked allozyme loci, two nuclear single nucleotide polymorphisms and a mitochondrial DNA haplotype as genetic markers. Parallel allele frequency clines with a sharp central step occur across a sharp ecotone, where transitions in aquatic habitat, elevation, and terrestrial vegetation coincide. The width of the hybrid zone, estimated as the inverse of the maximum gradient in allele frequency, is 2.3 km. This is the smallest of four estimates derived from different clinal transects across Europe. We argue that the narrow cline near Stryi is mainly due to a combination of habitat distribution and habitat preference. Adult toads show a preference for either ponds (B. bombina) or puddles (B. variegata), which is known to affect the distribution of genotypes within the hybrid zones. At Stryi, it should cause a reduction of the dispersal rate across the ecotone and thus narrow the cline. A detailed comparison of all five intensively studied Bombina transects lends support to the hypothesis that habitat distribution plus habitat preference can jointly affect the structure of hybrid zones and, ultimately, the resulting barriers to gene flow between differentiated gene pools. This study also represents a resampling of an area that was last studied more than 70 years ago. Our allele-frequency clines largely coincide with those that were described then on the basis of morphological variation. However, we found asymmetrical introgression of B. variegata genes into B. bombina territory along the bank of a river.
AU - Yanchukov, Alexey
AU - Hofman, Sebastian
AU - Szymura, Jacek M
AU - Mezhzherin, Sergey V
AU - Morozov-Leonov, Sviatoslav
AU - Nicholas Barton
AU - Nürnberger, Beate
ID - 3609
IS - 3
JF - Evolution; International Journal of Organic Evolution
TI - Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time
VL - 60
ER -
TY - JOUR
AB - For a model of diallelic loci with arbitrary epistasis, Barton and Turelli [2004. Effects of genetic drift on variance components under a general model of epistasis. Evolution 58, 2111–2132] gave results for variances among and within replicate lines obtained by inbreeding without selection. Here, we discuss the relation between their population genetic methods and classical quantitative genetic arguments. In particular, we consider the case of no dominance using classical identity by descent arguments, which generalizes their results from two alleles to multiple alleles. To clarify the connections between the alternative methods, we obtain the same results using an intermediate method, which explicitly identifies the statistical effects of sets of loci. We also discuss the effects of population bottlenecks on covariances among relatives.
AU - Hill, William G
AU - Nicholas Barton
AU - Turelli, Michael
ID - 3610
IS - 1
JF - Theoretical Population Biology
TI - Prediction of effects of genetic drift on variance components under a general model of epistasis
VL - 70
ER -
TY - CONF
AB - We propose a video retrieval framework based on a novel combination of spatiograms and the Jensen-Shannon divergence, and validate its performance in two quantitative experiments on TRECVID BBC Rushes data. In the first experiment, color-based methods are tested by grouping redundant shots in an unsupervised clustering. Results of the second experiment show that motion-based spatiograms make a promising fast, compressed-domain descriptor for the detection of interview scenes.
AU - Ulges, Adrian
AU - Christoph Lampert
AU - Keysers,Daniel
ID - 3677
TI - Spatiogram-based shot distances for video retrieval
ER -
TY - CONF
AB - This paper describes a new system for "Finding Satellite Tracks” in astronomical images based on the modern geometric approach. There is an increasing need of using methods with solid mathematical and statistical foundation in astronomical image processing. Where the computational methods are serving in all disciplines of science, they are becoming popular in the field of astronomy as well. Currently different computational systems are required to be numerically optimized before to get applied on astronomical images. So at present there is no single system which solves the problems of astronomers using computational methods based on modern approaches. The system "Finding Satellite Tracks” is based on geometric matching method "Recognition by Adaptive Subdivision of Transformation Space (RAST)".
AU - Ali,Haider
AU - Christoph Lampert
AU - Breuel,Thomas M
ID - 3679
TI - Satellite tracks removal in astronomical images
VL - 4225
ER -
TY - CONF
AB - The detection of counterfeit in printed documents is currently based mainly on built-in security features or on human expertise. We propose a classification system that supports non-expert users to distinguish original documents from PC-made forgeries by analyzing the printing technique used. Each letter in a document is classified using a support vector machine that has been trained to distinguish laser from inkjet printouts. A color-coded visualization helps the user to interpret the per-letter classification results
AU - Christoph Lampert
AU - Mei,Lin
AU - Breuel,Thomas M
ID - 3680
TI - Printing technique classification for document counterfeit detection
VL - 1
ER -
TY - CONF
AB - Many algorithms to remove distortion from document images have be proposed in recent years, but so far there is no reliable method for comparing their performance. In this paper we propose a collection of methods to measure the quality of such restoration algorithms for document image which show a non-linear distortion due to perspective or page curl. For the result from these measurement to be meaningful, a common data set of ground truth is required. We therefore started with the buildup of a document image database that is meant to serve as a common data basis for all kinds of restoration from images of 3D-shaped document. The long term goal would be to establish this database and following extensions in the area of document image dewarping as an as fruitful and indispensable tool as e.g. the NIST database is for OCR, or the Caltech database is for object and face recognition.
AU - Christoph Lampert
AU - Breuel,Thomas M
ID - 3683
TI - Objective quality measurement for geometric document image restoration
ER -
TY - CONF
AB - Video compression currently is dominated by engineering and fine-tuned heuristic methods. In this paper, we propose to instead apply the well-developed machinery of machine learning in order to support the optimization of existing video encoders and the creation of new ones. Exemplarily, we show how by machine learning we can improve one encoding step that is crucial for the performance of all current video standards: macroblock mode decision. By formulating the problem in a Bayesian setup, we show that macroblock mode decision can be reduced to a classification problem with a cost function for misclassification that is sample dependent. We demonstrate how to apply different machine learning techniques to obtain suitable classifiers and we show in detailed experiments that all of these perform better than the state-of-the-art heuristic method
AU - Christoph Lampert
ID - 3685
TI - Machine learning for video compression: Macroblock mode decision
ER -
TY - CONF
AU - Keysers,Daniel
AU - Christoph Lampert
AU - Breuel,Thomas M
ID - 3692
TI - Color image dequantization by constrained diffusion
VL - 6058
ER -
TY - CONF
AB - Gaussian filtering in one, two or three dimensions is among the most commonly needed tasks in signal and image processing. Finite impulse response filters in the time domain with Gaussian masks are easy to implement in either floating or fixed point arithmetic, because Gaussian kernels are strictly positive and bounded. But these implementations are slow for large images or kernels. With the recursive IIR-filters and FFT-based methods, there are at least two alternative methods to perform Gaussian filtering in a faster way, but so far they are only applicable when floating-point hardware is available. In this paper, a fixed-point implementation of recursive Gaussian filtering is discussed and applied to isotropic and anisotropic image filtering by making use of a non-orthogonal separation scheme of the Gaussian filter.
AU - Christoph Lampert
AU - Wirjadi,Oliver
ID - 3693
TI - Anisotropic Gaussian filtering using fixed point arithmetic
ER -
TY - JOUR
AB - We give an analytical and geometrical treatment of what it means to separate a Gaussian kernel along arbitrary axes in Ropfn, and we present a separation scheme that allows us to efficiently implement anisotropic Gaussian convolution filters for data of arbitrary dimensionality. Based on our previous analysis we show that this scheme is optimal with regard to the number of memory accesses and interpolation operations needed. The proposed method relies on nonorthogonal convolution axes and works completely in image space. Thus, it avoids the need for a fast Fourier transform (FFT)-subroutine. Depending on the accuracy and speed requirements, different interpolation schemes and methods to implement the one-dimensional Gaussian (finite impulse response and infinite impulse response) can be integrated. Special emphasis is put on analyzing the performance and accuracy of the new method. In particular, we show that without any special optimization of the source code, it can perform anisotropic Gaussian filtering faster than methods relying on the FFT.
AU - Christoph Lampert
AU - Wirjadi,Oliver
ID - 3695
IS - 11
JF - IEEE Transactions on Image Processing (TIP)
TI - An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter
VL - 15
ER -