@article{1347,
abstract = {During the past 70 years, the quantum theory of angular momentum has been successfully applied to describing the properties of nuclei, atoms, and molecules, and their interactions with each other as well as with external fields. Because of the properties of quantum rotations, the angular-momentum algebra can be of tremendous complexity even for a few interacting particles, such as valence electrons of an atom, not to mention larger many-particle systems. In this work, we study an example of the latter: A rotating quantum impurity coupled to a many-body bosonic bath. In the regime of strong impurity-bath couplings, the problem involves the addition of an infinite number of angular momenta, which renders it intractable using currently available techniques. Here, we introduce a novel canonical transformation that allows us to eliminate the complex angular-momentum algebra from such a class of many-body problems. In addition, the transformation exposes the problem's constants of motion, and renders it solvable exactly in the limit of a slowly rotating impurity. We exemplify the technique by showing that there exists a critical rotational speed at which the impurity suddenly acquires one quantum of angular momentum from the many-particle bath. Such an instability is accompanied by the deformation of the phonon density in the frame rotating along with the impurity.},
author = {Schmidt, Richard and Lemeshko, Mikhail},
journal = {Physical Review X},
number = {1},
publisher = {American Physical Society},
title = {{Deformation of a quantum many-particle system by a rotating impurity}},
doi = {10.1103/PhysRevX.6.011012},
volume = {6},
year = {2016},
}
@inproceedings{1348,
abstract = {A drawing in the plane (ℝ2) of a graph G = (V,E) equipped with a function γ : V → ℕ is x-bounded if (i) x(u) < x(v) whenever γ(u) < γ(v) and (ii) γ(u) ≤ γ(w) ≤ γ(v), where uv ∈ E and γ(u) ≤ γ(v), whenever x(w) ∈ x(uv), where x(.) denotes the projection to the xaxis.We prove a characterization of isotopy classes of embeddings of connected graphs equipped with γ in the plane containing an x-bounded embedding.Then we present an efficient algorithm, which relies on our result, for testing the existence of an x-bounded embedding if the given graph is a forest.This partially answers a question raised recently by Angelini et al.and Chang et al., and proves that c-planarity testing of flat clustered graphs with three clusters is tractable when the underlying abstract graph is a forest.},
author = {Fulek, Radoslav},
location = {Helsinki, Finland},
pages = {31 -- 42},
publisher = {Springer},
title = {{Bounded embeddings of graphs in the plane}},
doi = {10.1007/978-3-319-44543-4_3},
volume = {9843},
year = {2016},
}
@inproceedings{1349,
abstract = {Crossing fitness valleys is one of the major obstacles to function optimization. In this paper we investigate how the structure of the fitness valley, namely its depth d and length ℓ, influence the runtime of different strategies for crossing these valleys. We present a runtime comparison between the (1+1) EA and two non-elitist nature-inspired algorithms, Strong Selection Weak Mutation (SSWM) and the Metropolis algorithm. While the (1+1) EA has to jump across the valley to a point of higher fitness because it does not accept decreasing moves, the non-elitist algorithms may cross the valley by accepting worsening moves. We show that while the runtime of the (1+1) EA algorithm depends critically on the length of the valley, the runtimes of the non-elitist algorithms depend crucially only on the depth of the valley. In particular, the expected runtime of both SSWM and Metropolis is polynomial in ℓ and exponential in d while the (1+1) EA is efficient only for valleys of small length. Moreover, we show that both SSWM and Metropolis can also efficiently optimize a rugged function consisting of consecutive valleys.},
author = {Oliveto, Pietro and Paixao, Tiago and Heredia, Jorge and Sudholt, Dirk and Trubenova, Barbora},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference 2016 },
location = {Denver, CO, USA},
pages = {1163 -- 1170},
publisher = {ACM},
title = {{When non-elitism outperforms elitism for crossing fitness valleys}},
doi = {10.1145/2908812.2908909},
year = {2016},
}
@article{1350,
abstract = {The hippocampal CA3 region plays a key role in learning and memory. Recurrent CA3–CA3
synapses are thought to be the subcellular substrate of pattern completion. However, the
synaptic mechanisms of this network computation remain enigmatic. To investigate these mechanisms, we combined functional connectivity analysis with network modeling.
Simultaneous recording fromup to eight CA3 pyramidal neurons revealed that connectivity was sparse, spatially uniform, and highly enriched in disynaptic motifs (reciprocal, convergence,divergence, and chain motifs). Unitary connections were composed of one or two synaptic contacts, suggesting efficient use of postsynaptic space. Real-size modeling indicated that CA3 networks with sparse connectivity, disynaptic motifs, and single-contact connections robustly generated pattern completion.Thus, macro- and microconnectivity contribute to efficient
memory storage and retrieval in hippocampal networks.},
author = {Guzmán, José and Schlögl, Alois and Frotscher, Michael and Jonas, Peter M},
journal = {Science},
number = {6304},
pages = {1117 -- 1123},
publisher = {American Association for the Advancement of Science},
title = {{Synaptic mechanisms of pattern completion in the hippocampal CA3 network}},
doi = {10.1126/science.aaf1836},
volume = {353},
year = {2016},
}
@article{1352,
abstract = {We study the interplay of nematic and superconducting order in the two-dimensional Hubbard model and show that they can coexist, especially when superconductivity is not the energetically dominant phase. Due to a breaking of the C4 symmetry, the coexisting phase inherently contains admixture of the s-wave pairing components. As a result, the superconducting gap exhibits nonstandard features including changed nodal directions. Our results also show that in the optimally doped regime the pure superconducting phase is typically unstable towards developing nematicity (breaking of the C4 symmetry). This has implications for the cuprate high-Tc superconductors, for which in this regime the so-called intertwined orders have recently been observed. Namely, the coexisting phase may be viewed as a precursor to such more involved patterns of symmetry breaking.},
author = {Kaczmarczyk, Jan and Schickling, Tobias and Bünemann, Jörg},
journal = {Physical Review B - Condensed Matter and Materials Physics},
number = {8},
publisher = {American Physical Society},
title = {{Coexistence of nematic order and superconductivity in the Hubbard model}},
doi = {10.1103/PhysRevB.94.085152},
volume = {94},
year = {2016},
}
@article{1353,
abstract = {We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.},
author = {Barto, Libor and Kazda, Alexandr},
journal = {International Journal of Algebra and Computation},
number = {5},
pages = {1033 -- 1060},
publisher = {World Scientific Publishing},
title = {{Deciding absorption}},
doi = {10.1142/S0218196716500430},
volume = {26},
year = {2016},
}
@article{1354,
abstract = {Fabrication processes involving anhydrous hydrofluoric vapor etching are developed to create high-Q aluminum superconducting microwave resonators on free-standing silicon membranes formed from a silicon-on-insulator wafer. Using this fabrication process, a high-impedance 8.9-GHz coil resonator is coupled capacitively with a large participation ratio to a 9.7-MHz micromechanical resonator. Two-tone microwave spectroscopy and radiation pressure backaction are used to characterize the coupled system in a dilution refrigerator down to temperatures of Tf=11 mK, yielding a measured electromechanical vacuum coupling rate of g0/2π=24.6 Hz and a mechanical resonator Q factor of Qm=1.7×107. Microwave backaction cooling of the mechanical resonator is also studied, with a minimum phonon occupancy of nm≈16 phonons being realized at an elevated fridge temperature of Tf=211 mK.},
author = {Dieterle, Paul and Kalaee, Mahmoud and Fink, Johannes M and Painter, Oskar},
journal = {Physical Review Applied},
number = {1},
publisher = {American Physical Society},
title = {{Superconducting cavity electromechanics on a silicon-on-insulator platform}},
doi = {10.1103/PhysRevApplied.6.014013},
volume = {6},
year = {2016},
}
@article{1355,
abstract = {Radiation pressure has recently been used to effectively couple the quantum motion of mechanical elements to the fields of optical or microwave light. Integration of all three degrees of freedom—mechanical, optical and microwave—would enable a quantum interconnect between microwave and optical quantum systems. We present a platform based on silicon nitride nanomembranes for integrating superconducting microwave circuits with planar acoustic and optical devices such as phononic and photonic crystals. Using planar capacitors with vacuum gaps of 60 nm and spiral inductor coils of micron pitch we realize microwave resonant circuits with large electromechanical coupling to planar acoustic structures of nanoscale dimensions and femtoFarad motional capacitance. Using this enhanced coupling, we demonstrate microwave backaction cooling of the 4.48 MHz mechanical resonance of a nanobeam to an occupancy as low as 0.32. These results indicate the viability of silicon nitride nanomembranes as an all-in-one substrate for quantum electro-opto-mechanical experiments.},
author = {Fink, Johannes M and Kalaee, Mahmoud and Pitanti, Alessandro and Norte, Richard and Heinzle, Lukas and Davanço, Marcelo and Srinivasan, Kartik and Painter, Oskar},
journal = {Nature Communications},
publisher = {Nature Publishing Group},
title = {{Quantum electromechanics on silicon nitride nanomembranes}},
doi = {10.1038/ncomms12396},
volume = {7},
year = {2016},
}
@article{1356,
author = {Barton, Nicholas H},
journal = {Genetics},
number = {1},
pages = {3 -- 4},
publisher = {Genetics Society of America},
title = {{Sewall Wright on evolution in Mendelian populations and the “Shifting Balance”}},
doi = {10.1534/genetics.115.184796},
volume = {202},
year = {2016},
}
@article{1357,
author = {Barton, Nicholas H},
journal = {Genetics},
number = {3},
pages = {865 -- 866},
publisher = {Genetics Society of America},
title = {{Richard Hudson and Norman Kaplan on the coalescent process}},
doi = {10.1534/genetics.116.187542},
volume = {202},
year = {2016},
}
@article{1358,
abstract = {Gene regulation relies on the specificity of transcription factor (TF)–DNA interactions. Limited specificity may lead to crosstalk: a regulatory state in which a gene is either incorrectly activated due to noncognate TF–DNA interactions or remains erroneously inactive. As each TF can have numerous interactions with noncognate cis-regulatory elements, crosstalk is inherently a global problem, yet has previously not been studied as such. We construct a theoretical framework to analyse the effects of global crosstalk on gene regulation. We find that crosstalk presents a significant challenge for organisms with low-specificity TFs, such as metazoans. Crosstalk is not easily mitigated by known regulatory schemes acting at equilibrium, including variants of cooperativity and combinatorial regulation. Our results suggest that crosstalk imposes a previously unexplored global constraint on the functioning and evolution of regulatory networks, which is qualitatively distinct from the known constraints that act at the level of individual gene regulatory elements.},
author = {Friedlander, Tamar and Prizak, Roshan and Guet, Calin C and Barton, Nicholas H and Tkacik, Gasper},
journal = {Nature Communications},
publisher = {Nature Publishing Group},
title = {{Intrinsic limits to gene regulation by global crosstalk}},
doi = {10.1038/ncomms12307},
volume = {7},
year = {2016},
}
@article{1359,
abstract = {The role of gene interactions in the evolutionary process has long
been controversial. Although some argue that they are not of
importance, because most variation is additive, others claim that
their effect in the long term can be substantial. Here, we focus on
the long-term effects of genetic interactions under directional
selection assuming no mutation or dominance, and that epistasis is
symmetrical overall. We ask by how much the mean of a complex
trait can be increased by selection and analyze two extreme
regimes, in which either drift or selection dominate the dynamics
of allele frequencies. In both scenarios, epistatic interactions affect
the long-term response to selection by modulating the additive
genetic variance. When drift dominates, we extend Robertson
’
s
[Robertson A (1960)
Proc R Soc Lond B Biol Sci
153(951):234
−
249]
argument to show that, for any form of epistasis, the total response
of a haploid population is proportional to the initial total genotypic
variance. In contrast, the total response of a diploid population is
increased by epistasis, for a given initial genotypic variance. When
selection dominates, we show that the total selection response can
only be increased by epistasis when s
ome initially deleterious alleles
become favored as the genetic background changes. We find a sim-
ple approximation for this effect and show that, in this regime, it is
the structure of the genotype - phenotype map that matters and not
the variance components of the population.},
author = {Paixao, Tiago and Barton, Nicholas H},
journal = {PNAS},
number = {16},
pages = {4422 -- 4427},
publisher = {National Academy of Sciences},
title = {{The effect of gene interactions on the long-term response to selection}},
doi = {10.1073/pnas.1518830113},
volume = {113},
year = {2016},
}
@article{1360,
abstract = {We apply the technique of Károly Bezdek and Daniel Bezdek to study billiard trajectories in convex bodies, when the length is measured with a (possibly asymmetric) norm. We prove a lower bound for the length of the shortest closed billiard trajectory, related to the non-symmetric Mahler problem. With this technique we are able to give short and elementary proofs to some known results. },
author = {Akopyan, Arseniy and Balitskiy, Alexey and Karasev, Roman and Sharipova, Anastasia},
journal = {Proceedings of the American Mathematical Society},
number = {10},
pages = {4501 -- 4513},
publisher = {American Mathematical Society},
title = {{Elementary approach to closed billiard trajectories in asymmetric normed spaces}},
doi = {10.1090/proc/13062},
volume = {144},
year = {2016},
}
@inproceedings{1361,
abstract = {We propose a novel surface-only technique for simulating incompressible, inviscid and uniform-density liquids with surface tension in three dimensions. The liquid surface is captured by a triangle mesh on which a Lagrangian velocity field is stored. Because advection of the velocity field may violate the incompressibility condition, we devise an orthogonal projection technique to remove the divergence while requiring the evaluation of only two boundary integrals. The forces of surface tension, gravity, and solid contact are all treated by a boundary element solve, allowing us to perform detailed simulations of a wide range of liquid phenomena, including waterbells, droplet and jet collisions, fluid chains, and crown splashes.},
author = {Da, Fang and Hahn, David and Batty, Christopher and Wojtan, Christopher J and Grinspun, Eitan},
location = {Anaheim, CA, USA},
number = {4},
publisher = {ACM},
title = {{Surface only liquids}},
doi = {10.1145/2897824.2925899},
volume = {35},
year = {2016},
}
@inproceedings{1362,
abstract = {We present a boundary element based method for fast simulation of brittle fracture. By introducing simplifying assumptions that allow us to quickly estimate stress intensities and opening displacements during crack propagation, we build a fracture algorithm where the cost of each time step scales linearly with the length of the crackfront. The transition from a full boundary element method to our faster variant is possible at the beginning of any time step. This allows us to build a hybrid method, which uses the expensive but more accurate BEM while the number of degrees of freedom is low, and uses the fast method once that number exceeds a given threshold as the crack geometry becomes more complicated. Furthermore, we integrate this fracture simulation with a standard rigid-body solver. Our rigid-body coupling solves a Neumann boundary value problem by carefully separating translational, rotational and deformational components of the collision forces and then applying a Tikhonov regularizer to the resulting linear system. We show that our method produces physically reasonable results in standard test cases and is capable of dealing with complex scenes faster than previous finite- or boundary element approaches.},
author = {Hahn, David and Wojtan, Christopher J},
location = {Anaheim, CA, USA},
number = {4},
publisher = {ACM},
title = {{Fast approximations for boundary element based brittle fracture simulation}},
doi = {10.1145/2897824.2925902},
volume = {35},
year = {2016},
}
@inproceedings{1363,
abstract = {When aiming to seamlessly integrate a fluid simulation into a larger scenario (like an open ocean), careful attention must be paid to boundary conditions. In particular, one must implement special "non-reflecting" boundary conditions, which dissipate out-going waves as they exit the simulation. Unfortunately, the state of the art in non-reflecting boundary conditions (perfectly-matched layers, or PMLs) only permits trivially simple inflow/outflow conditions, so there is no reliable way to integrate a fluid simulation into a more complicated environment like a stormy ocean or a turbulent river. This paper introduces the first method for combining nonreflecting boundary conditions based on PMLs with inflow/outflow boundary conditions that vary arbitrarily throughout space and time. Our algorithm is a generalization of stateof- the-art mean-flow boundary conditions in the computational fluid dynamics literature, and it allows for seamless integration of a fluid simulation into much more complicated environments. Our method also opens the door for previously-unseen postprocess effects like retroactively changing the location of solid obstacles, and locally increasing the visual detail of a pre-existing simulation.},
author = {Bojsen-Hansen, Morten and Wojtan, Christopher J},
location = {Anaheim, CA, USA},
number = {4},
publisher = {ACM},
title = {{Generalized non-reflecting boundaries for fluid re-simulation}},
doi = {10.1145/2897824.2925963},
volume = {35},
year = {2016},
}
@inproceedings{1364,
abstract = {We present a computational method for designing wire sculptures consisting of interlocking wires. Our method allows the computation of aesthetically pleasing structures that are structurally stable, efficiently fabricatable with a 2D wire bending machine, and assemblable without the need of additional connectors. Starting from a set of planar contours provided by the user, our method automatically tests for the feasibility of a design, determines a discrete ordering of wires at intersection points, and optimizes for the rest shape of the individual wires to maximize structural stability under frictional contact. In addition to their application to art, wire sculptures present an extremely efficient and fast alternative for low-fidelity rapid prototyping because manufacturing time and required material linearly scales with the physical size of objects. We demonstrate the effectiveness of our approach on a varied set of examples, all of which we fabricated.},
author = {Miguel Villalba, Eder and Lepoutre, Mathias and Bickel, Bernd},
location = {Anaheim, CA, USA},
number = {4},
publisher = {ACM},
title = {{Computational design of stable planar-rod structures}},
doi = {10.1145/2897824.2925978},
volume = {35},
year = {2016},
}
@inproceedings{1365,
abstract = {A memory-hard function (MHF) f is equipped with a space cost σ and time cost τ parameter such that repeatedly computing fσ,τ on an application specific integrated circuit (ASIC) is not economically advantageous relative to a general purpose computer. Technically we would like that any (generalized) circuit for evaluating an iMHF fσ,τ has area × time (AT) complexity at Θ(σ2 ∗ τ). A data-independent MHF (iMHF) has the added property that it can be computed with almost optimal memory and time complexity by an algorithm which accesses memory in a pattern independent of the input value. Such functions can be specified by fixing a directed acyclic graph (DAG) G on n = Θ(σ ∗ τ) nodes representing its computation graph. In this work we develop new tools for analyzing iMHFs. First we define and motivate a new complexity measure capturing the amount of energy (i.e. electricity) required to compute a function. We argue that, in practice, this measure is at least as important as the more traditional AT-complexity. Next we describe an algorithm A for repeatedly evaluating an iMHF based on an arbitrary DAG G. We upperbound both its energy and AT complexities per instance evaluated in terms of a certain combinatorial property of G. Next we instantiate our attack for several general classes of DAGs which include those underlying many of the most important iMHF candidates in the literature. In particular, we obtain the following results which hold for all choices of parameters σ and τ (and thread-count) such that n = σ ∗ τ. -The Catena-Dragonfly function of [FLW13] has AT and energy complexities O(n1.67). -The Catena-Butterfly function of [FLW13] has complexities is O(n1.67). -The Double-Buffer and the Linear functions of [CGBS16] both have complexities in O(n1.67). -The Argon2i function of [BDK15] (winner of the Password Hashing Competition [PHC]) has complexities O(n7/4 log(n)). -The Single-Buffer function of [CGBS16] has complexities O(n7/4 log(n)). -Any iMHF can be computed by an algorithm with complexities O(n2/ log1 −ε(n)) for all ε > 0. In particular when τ = 1 this shows that the goal of constructing an iMHF with AT-complexity Θ(σ2 ∗ τ ) is unachievable. Along the way we prove a lemma upper-bounding the depth-robustness of any DAG which may prove to be of independent interest.},
author = {Alwen, Joel F and Blocki, Jeremiah},
location = {Santa Barbara, CA, USA},
pages = {241 -- 271},
publisher = {Springer},
title = {{Efficiently computing data-independent memory-hard functions}},
doi = {10.1007/978-3-662-53008-5_9},
volume = {9815},
year = {2016},
}
@inproceedings{1366,
abstract = {We study the problem of devising provably secure PRNGs with input based on the sponge paradigm. Such constructions are very appealing, as efficient software/hardware implementations of SHA-3 can easily be translated into a PRNG in a nearly black-box way. The only existing sponge-based construction, proposed by Bertoni et al. (CHES 2010), fails to achieve the security notion of robustness recently considered by Dodis et al. (CCS 2013), for two reasons: (1) The construction is deterministic, and thus there are high-entropy input distributions on which the construction fails to extract random bits, and (2) The construction is not forward secure, and presented solutions aiming at restoring forward security have not been rigorously analyzed. We propose a seeded variant of Bertoni et al.’s PRNG with input which we prove secure in the sense of robustness, delivering in particular concrete security bounds. On the way, we make what we believe to be an important conceptual contribution, developing a variant of the security framework of Dodis et al. tailored at the ideal permutation model that captures PRNG security in settings where the weakly random inputs are provided from a large class of possible adversarial samplers which are also allowed to query the random permutation. As a further application of our techniques, we also present an efficient sponge-based key-derivation function (which can be instantiated from SHA-3 in a black-box fashion), which we also prove secure when fed with samples from permutation-dependent distributions.},
author = {Gazi, Peter and Tessaro, Stefano},
location = {Vienna, Austria},
pages = {87 -- 116},
publisher = {Springer},
title = {{Provably robust sponge-based PRNGs and KDFs}},
doi = {10.1007/978-3-662-49890-3_4},
volume = {9665},
year = {2016},
}
@article{1368,
abstract = {Superconductivity in heavy-fermion systems has an unconventional nature and is considered to originate from the universal features of the electronic structure. Here, the Anderson lattice model is studied by means of the full variational Gutzwiller wave function incorporating nonlocal effects of the on-site interaction. We show that the d-wave superconducting ground state can be driven solely by interelectronic correlations. The proposed microscopic mechanism leads to a multigap superconductivity with the dominant contribution due to f electrons and in the dx2−y2-wave channel. Our results rationalize several important observations for CeCoIn5.},
author = {Wysokiński, Marcin and Kaczmarczyk, Jan and Spałek, Jozef},
journal = {Physical Review B - Condensed Matter and Materials Physics},
number = {2},
publisher = {American Physical Society},
title = {{Correlation driven d wave superconductivity in Anderson lattice model: Two gaps}},
doi = {10.1103/PhysRevB.94.024517},
volume = {94},
year = {2016},
}
@inproceedings{1369,
abstract = {We introduce a new loss function for the weakly-supervised training of semantic image segmentation models based on three guiding principles: to seed with weak localization cues, to expand objects based on the information about which classes can occur in an image, and to constrain the segmentations to coincide with object boundaries. We show experimentally that training a deep convolutional neural network using the proposed loss function leads to substantially better segmentations than previous state-of-the-art methods on the challenging PASCAL VOC 2012 dataset. We furthermore give insight into the working mechanism of our method by a detailed experimental study that illustrates how the segmentation quality is affected by each term of the proposed loss function as well as their combinations.},
author = {Kolesnikov, Alexander and Lampert, Christoph},
location = {Amsterdam, The Netherlands},
pages = {695 -- 711},
publisher = {Springer},
title = {{Seed, expand and constrain: Three principles for weakly-supervised image segmentation}},
doi = {10.1007/978-3-319-46493-0_42},
volume = {9908},
year = {2016},
}
@article{1370,
abstract = {We study coherent phonon oscillations and tunneling between two coupled nonlinear nanomechanical resonators. We show that the coupling between two nanomechanical resonators creates an effective phonon Josephson junction, which exhibits two different dynamical behaviors: Josephson oscillation (phonon-Rabi oscillation) and macroscopic self-trapping (phonon blockade). Self-trapping originates from mechanical nonlinearities, meaning that when the nonlinearity exceeds its critical value, the energy exchange between the two resonators is suppressed, and phonon Josephson oscillations between them are completely blocked. An effective classical Hamiltonian for the phonon Josephson junction is derived and its mean-field dynamics is studied in phase space. Finally, we study the phonon-phonon coherence quantified by the mean fringe visibility, and show that the interaction between the two resonators may lead to the loss of coherence in the phononic junction.},
author = {Barzanjeh, Shabir and Vitali, David},
journal = {Physical Review A - Atomic, Molecular, and Optical Physics},
number = {3},
publisher = {American Physical Society},
title = {{Phonon Josephson junction with nanomechanical resonators}},
doi = {10.1103/PhysRevA.93.033846},
volume = {93},
year = {2016},
}
@article{1372,
abstract = {Redirection of intercellular auxin fluxes via relocalization of the PIN-FORMED 3 (PIN3) and PIN7 auxin efflux carriers has been suggested to be necessary for the root gravitropic response. Cytokinins have also been proposed to play a role in controlling root gravitropism, but conclusive evidence is lacking. We present a detailed study of the dynamics of root bending early after gravistimulation, which revealed a delayed gravitropic response in transgenic lines with depleted endogenous cytokinins (Pro35S:AtCKX) and cytokinin signaling mutants. Pro35S:AtCKX lines, as well as a cytokinin receptor mutant ahk3, showed aberrations in the auxin response distribution in columella cells consistent with defects in the auxin transport machinery. Using in vivo real-time imaging of PIN3-GFP and PIN7-GFP in AtCKX3 overexpression and ahk3 backgrounds, we observed wild-type-like relocalization of PIN proteins in the columella early after gravistimulation, with gravity-induced relocalization of PIN7 faster than that of PIN3. Nonetheless, the cellular distribution of PIN3 and PIN7 and expression of PIN7 and the auxin influx carrier AUX1 was affected in AtCKX overexpression lines. Based on the retained cytokinin sensitivity in pin3 pin4 pin7 mutant, we propose the AUX1-mediated auxin transport rather than columella-located PIN proteins as a target of endogenous cytokinins in the control of root gravitropism.},
author = {Pernisová, Markéta and Prat, Tomas and Grones, Peter and Haruštiaková, Danka and Matonohova, Martina and Spíchal, Lukáš and Nodzyński, Tomasz and Friml, Jirí and Hejátko, Jan},
journal = {New Phytologist},
number = {2},
pages = {497 -- 509},
publisher = {Wiley-Blackwell},
title = {{Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis}},
doi = {10.1111/nph.14049},
volume = {212},
year = {2016},
}
@article{1373,
author = {Martin, Olivier and Zagórski, Marcin P},
journal = {Physics of Life Reviews},
pages = {168 -- 171},
publisher = {Elsevier},
title = {{Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function"}},
doi = {10.1016/j.plrev.2016.06.006},
volume = {17},
year = {2016},
}
@article{1377,
abstract = {We consider the problem of minimizing the continuous valued total variation subject to different unary terms on trees and propose fast direct algorithms based on dynamic programming to solve these problems. We treat both the convex and the nonconvex case and derive worst-case complexities that are equal to or better than existing methods. We show applications to total variation based two dimensional image processing and computer vision problems based on a Lagrangian decomposition approach. The resulting algorithms are very effcient, offer a high degree of parallelism, and come along with memory requirements which are only in the order of the number of image pixels.},
author = {Kolmogorov, Vladimir and Pock, Thomas and Rolinek, Michal},
journal = {SIAM Journal on Imaging Sciences},
number = {2},
pages = {605 -- 636},
publisher = {Society for Industrial and Applied Mathematics },
title = {{Total variation on a tree}},
doi = {10.1137/15M1010257},
volume = {9},
year = {2016},
}
@inproceedings{1378,
abstract = {We give a detailed and easily accessible proof of Gromov's Topological Overlap Theorem. Let X be a finite simplicial complex or, more generally, a finite polyhedral cell complex of dimension d. Informally, the theorem states that if X has sufficiently strong higher-dimensional expansion properties (which generalize edge expansion of graphs and are defined in terms of cellular cochains of X) then X has the following topological overlap property: for every continuous map X → ℝd there exists a point p ∈ ℝd whose preimage intersects a positive fraction μ > 0 of the d-cells of X. More generally, the conclusion holds if ℝd is replaced by any d-dimensional piecewise-linear (PL) manifold M, with a constant μ that depends only on d and on the expansion properties of X, but not on M.},
author = {Dotterrer, Dominic and Kaufman, Tali and Wagner, Uli},
location = {Medford, MA, USA},
pages = {35.1 -- 35.10},
publisher = {Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing},
title = {{On expansion and topological overlap}},
doi = {10.4230/LIPIcs.SoCG.2016.35},
volume = {51},
year = {2016},
}
@inproceedings{1379,
abstract = {We investigate the complexity of finding an embedded non-orientable surface of Euler genus g in a triangulated 3-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into 3-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case.},
author = {Burton, Benjamin and De Mesmay, Arnaud N and Wagner, Uli},
location = {Medford, MA, USA},
pages = {24.1 -- 24.15},
publisher = {Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing},
title = {{Finding non-orientable surfaces in 3-manifolds}},
doi = {10.4230/LIPIcs.SoCG.2016.24},
volume = {51},
year = {2016},
}
@article{1380,
abstract = {We consider higher-dimensional versions of Kannan and Lipton's Orbit Problem - determining whether a target vector space V may be reached from a starting point x under repeated applications of a linear transformation A. Answering two questions posed by Kannan and Lipton in the 1980s, we show that when V has dimension one, this problem is solvable in polynomial time, and when V has dimension two or three, the problem is in NPRP.},
author = {Chonev, Ventsislav K and Ouaknine, Joël and Worrell, James},
journal = {Journal of the ACM},
number = {3},
publisher = {ACM},
title = {{On the complexity of the orbit problem}},
doi = {10.1145/2857050},
volume = {63},
year = {2016},
}
@inproceedings{1381,
abstract = {Motivated by Tverberg-type problems in topological combinatorics and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into double-struck Rd without higher-multiplicity intersections. We focus on conditions for the existence of almost r-embeddings, i.e., maps f : K → double-struck Rd such that f(σ1) ∩ ⋯ ∩ f(σr) = ∅ whenever σ1, ..., σr are pairwise disjoint simplices of K. Generalizing the classical Haefliger-Weber embeddability criterion, we show that a well-known necessary deleted product condition for the existence of almost r-embeddings is sufficient in a suitable r-metastable range of dimensions: If rd ≥ (r + 1) dim K + 3, then there exists an almost r-embedding K → double-struck Rd if and only if there exists an equivariant map (K)Δ r → Sr Sd(r-1)-1, where (K)Δ r is the deleted r-fold product of K, the target Sd(r-1)-1 is the sphere of dimension d(r - 1) - 1, and Sr is the symmetric group. This significantly extends one of the main results of our previous paper (which treated the special case where d = rk and dim K = (r - 1)k for some k ≥ 3), and settles an open question raised there.},
author = {Mabillard, Isaac and Wagner, Uli},
location = {Medford, MA, USA},
pages = {51.1 -- 51.12},
publisher = {Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH},
title = {{Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range}},
doi = {10.4230/LIPIcs.SoCG.2016.51},
volume = {51},
year = {2016},
}
@inproceedings{1386,
abstract = {We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic probabilistic programs with polynomial guards and assignments. Our approach is through synthesis of polynomial ranking supermartingales, that on one hand significantly generalizes linear ranking supermartingales and on the other hand is a counterpart of polynomial ranking-functions for proving termination of nonprobabilistic programs. The approach synthesizes polynomial ranking-supermartingales through Positivstellensatz's, yielding an efficient method which is not only sound, but also semi-complete over a large subclass of programs. We show experimental results to demonstrate that our approach can handle several classical programs with complex polynomial guards and assignments, and can synthesize efficient quadratic ranking-supermartingales when a linear one does not exist even for simple affine programs.},
author = {Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir},
location = {Toronto, Canada},
pages = {3 -- 22},
publisher = {Springer},
title = {{Termination analysis of probabilistic programs through Positivstellensatz's}},
doi = {10.1007/978-3-319-41528-4_1},
volume = {9779},
year = {2016},
}
@inproceedings{1389,
abstract = {The continuous evolution of a wide variety of systems, including continous-time Markov chains and linear hybrid automata, can be
described in terms of linear differential equations. In this paper we study the decision problem of whether the solution x(t) of a system of linear differential equations dx/dt = Ax reaches a target halfspace infinitely often. This recurrent reachability problem can
equivalently be formulated as the following Infinite Zeros Problem: does a real-valued function f:R≥0 --> R satisfying a given linear
differential equation have infinitely many zeros? Our main decidability result is that if the differential equation has order at most 7, then the Infinite Zeros Problem is decidable. On the other hand, we show that a decision procedure for the Infinite Zeros Problem at order 9 (and above) would entail a major breakthrough in Diophantine Approximation, specifically an algorithm for computing the Lagrange constants of arbitrary real algebraic numbers to arbitrary precision.},
author = {Chonev, Ventsislav K and Ouaknine, Joël and Worrell, James},
booktitle = {LICS '16},
location = {New York, NY, USA},
pages = {515 -- 524},
publisher = {IEEE},
title = {{On recurrent reachability for continuous linear dynamical systems}},
doi = {10.1145/2933575.2934548},
year = {2016},
}
@inproceedings{1391,
abstract = {We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statements such as "the first array cell contains the array length," and "the array contains equally many minimal and maximal elements." These properties cannot be expressed in quantified fragments of the theory of arrays, nor in the theory of concatenation. Using reduction to counter machines, we show that the satisfiability problem of AFL is PSPACE-complete, and with a natural restriction the complexity decreases to NP. We also show that adding either universal quantifiers or concatenation leads to undecidability.
AFL contains terms that fold a function over an array. We demonstrate that folding, a well-known concept from functional languages, allows us to concisely summarize loops that count over arrays, which occurs frequently in real-life programs. We provide a tool that can discharge proof obligations in AFL, and we demonstrate on practical examples that our decision procedure can solve a broad range of problems in symbolic testing and program verification.},
author = {Daca, Przemyslaw and Henzinger, Thomas A and Kupriyanov, Andrey},
location = {Toronto, Canada},
pages = {230 -- 248},
publisher = {Springer},
title = {{Array folds logic}},
doi = {10.1007/978-3-319-41540-6_13},
volume = {9780},
year = {2016},
}
@article{1394,
abstract = {The solution space of genome-scale models of cellular metabolism provides a map between physically
viable flux configurations and cellular metabolic phenotypes described, at the most basic level, by the
corresponding growth rates. By sampling the solution space of E. coliʼs metabolic network, we show
that empirical growth rate distributions recently obtained in experiments at single-cell resolution can
be explained in terms of a trade-off between the higher fitness of fast-growing phenotypes and the
higher entropy of slow-growing ones. Based on this, we propose a minimal model for the evolution of
a large bacterial population that captures this trade-off. The scaling relationships observed in
experiments encode, in such frameworks, for the same distance from the maximum achievable growth
rate, the same degree of growth rate maximization, and/or the same rate of phenotypic change. Being
grounded on genome-scale metabolic network reconstructions, these results allow for multiple
implications and extensions in spite of the underlying conceptual simplicity.},
author = {De Martino, Daniele and Capuani, Fabrizio and De Martino, Andrea},
journal = {Physical Biology},
number = {3},
publisher = {IOP Publishing Ltd.},
title = {{Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli}},
doi = {10.1088/1478-3975/13/3/036005},
volume = {13},
year = {2016},
}
@phdthesis{1398,
abstract = {Hybrid zones represent evolutionary laboratories, where recombination brings together alleles in combinations which have not previously been tested by selection. This provides an excellent opportunity to test the effect of molecular variation on fitness, and how this variation is able to spread through populations in a natural context. The snapdragon Antirrhinum majus is polymorphic in the wild for two loci controlling the distribution of yellow and magenta floral pigments. Where the yellow A. m. striatum and the magenta A. m. pseudomajus meet along a valley in the Spanish Pyrenees they form a stable hybrid zone Alleles at these loci recombine to give striking transgressive variation for flower colour. The sharp transition in phenotype over ~1km implies strong selection maintaining the hybrid zone. An indirect assay of pollinator visitation in the field found that pollinators forage in a positive-frequency dependent manner on Antirrhinum, matching previous data on fruit set. Experimental arrays and paternity analysis of wild-pollinated seeds demonstrated assortative mating for pigmentation alleles, and that pollinator behaviour alone is sufficient to explain this pattern. Selection by pollinators should be sufficiently strong to maintain the hybrid zone, although other mechanisms may be at work. At a broader scale I examined evolutionary transitions between yellow and anthocyanin pigmentation in the tribe Antirrhinae, and found that selection has acted strate that pollinators are a major determinant of reproductive success and mating patterns in wild Antirrhinum.},
author = {Ellis, Thomas},
pages = {130},
publisher = {IST Austria},
title = {{The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone}},
doi = {10.15479/AT:ISTA:TH_526 },
year = {2016},
}
@article{1408,
abstract = {The concept of well group in a special but important case captures homological properties of the zero set of a continuous map (Formula presented.) on a compact space K that are invariant with respect to perturbations of f. The perturbations are arbitrary continuous maps within (Formula presented.) distance r from f for a given (Formula presented.). The main drawback of the approach is that the computability of well groups was shown only when (Formula presented.) or (Formula presented.). Our contribution to the theory of well groups is twofold: on the one hand we improve on the computability issue, but on the other hand we present a range of examples where the well groups are incomplete invariants, that is, fail to capture certain important robust properties of the zero set. For the first part, we identify a computable subgroup of the well group that is obtained by cap product with the pullback of the orientation of (Formula presented.) by f. In other words, well groups can be algorithmically approximated from below. When f is smooth and (Formula presented.), our approximation of the (Formula presented.)th well group is exact. For the second part, we find examples of maps (Formula presented.) with all well groups isomorphic but whose perturbations have different zero sets. We discuss on a possible replacement of the well groups of vector valued maps by an invariant of a better descriptive power and computability status.},
author = {Franek, Peter and Krcál, Marek},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {126 -- 164},
publisher = {Springer},
title = {{On computability and triviality of well groups}},
doi = {10.1007/s00454-016-9794-2},
volume = {56},
year = {2016},
}
@article{1409,
author = {Abbott, Richard and Barton, Nicholas H and Good, Jeffrey},
journal = {Molecular Ecology},
number = {11},
pages = {2325 -- 2332},
publisher = {Wiley-Blackwell},
title = {{Genomics of hybridization and its evolutionary consequences}},
doi = {10.1111/mec.13685},
volume = {25},
year = {2016},
}
@article{1410,
abstract = {The pollen grains arise after meiosis of pollen mother cells within the anthers. A series of complex structural changes follows, generating mature pollen grains capable of performing the double fertilization of the female megasporophyte. Several signaling molecules, including hormones and lipids, have been involved in the regulation and appropriate control of pollen development. Phosphatidylinositol 4-phophate 5-kinases (PIP5K), which catalyze the biosynthesis of the phosphoinositide PtdIns(4,5)P2, are important for tip polar growth of root hairs and pollen tubes, embryo development, vegetative plant growth, and responses to the environment. Here, we report a role of PIP5Ks during microgametogenesis. PIP5K1 and PIP5K2 are expressed during early stages of pollen development and their transcriptional activity respond to auxin in pollen grains. Early male gametophytic lethality to certain grade was observed in both pip5k1-/- and pip5k2-/- single mutants. The number of pip5k mutant alleles is directly related to the frequency of aborted pollen grains suggesting the two genes are involved in the same function. Indeed PIP5K1 and PIP5K2 are functionally redundant since homozygous double mutants did not render viable pollen grains. The loss of function of PIP5K1 and PIP5K2results in defects in vacuole morphology in pollen at the later stages and epidermal root cells. Our results show that PIP5K1, PIP5K2 and phosphoinositide signaling are important cues for early developmental stages and vacuole formation during microgametogenesis.},
author = {Ugalde, José and Rodríguez Furlán, Cecilia and De Rycke, Riet and Norambuena, Lorena and Friml, Jirí and León, Gabriel and Tejos, Ricardo},
journal = {Plant Science},
pages = {10 -- 19},
publisher = {Elsevier},
title = {{Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development}},
doi = {10.1016/j.plantsci.2016.05.014},
volume = {250},
year = {2016},
}
@article{1411,
abstract = {We consider two systems (α1, …, αm) and (β1, …,βn) of simple curves drawn on a compact two-dimensional surface M with boundary. Each αi and each βj is either an arc meeting the boundary of M at its two endpoints, or a closed curve. The αi are pairwise disjoint except for possibly sharing endpoints, and similarly for the βj. We want to “untangle” the βj from the ai by a self-homeomorphism of M; more precisely, we seek a homeomorphism φ:M→M fixing the boundary of M pointwise such that the total number of crossings of the ai with the φ(βj) is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if M is planar, i.e., a sphere with h ≥ 0 boundary components (“holes”), then O(mn) crossings can be achieved (independently of h), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface M with h holes and of (orientable or nonorientable) genus g ≥ 0, we obtain an O((m + n)4) upper bound, again independent of h and g. The proofs rely, among other things, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.},
author = {Matoušek, Jiří and Sedgwick, Eric and Tancer, Martin and Wagner, Uli},
journal = {Israel Journal of Mathematics},
number = {1},
pages = {37 -- 79},
publisher = {Springer},
title = {{Untangling two systems of noncrossing curves}},
doi = {10.1007/s11856-016-1294-9},
volume = {212},
year = {2016},
}
@article{1412,
abstract = {Combining high-resolution level set surface tracking with lower resolution physics is an inexpensive method for achieving highly detailed liquid animations. Unfortunately, the inherent resolution mismatch introduces several types of disturbing visual artifacts. We identify the primary sources of these artifacts and present simple, efficient, and practical solutions to address them. First, we propose an unconditionally stable filtering method that selectively removes sub-grid surface artifacts not seen by the fluid physics, while preserving fine detail in dynamic splashing regions. It provides comparable results to recent error-correction techniques at lower cost, without substepping, and with better scaling behavior. Second, we show how a modified narrow-band scheme can ensure accurate free surface boundary conditions in the presence of large resolution mismatches. Our scheme preserves the efficiency of the narrow-band methodology, while eliminating objectionable stairstep artifacts observed in prior work. Third, we demonstrate that the use of linear interpolation of velocity during advection of the high-resolution level set surface is responsible for visible grid-aligned kinks; we therefore advocate higher-order velocity interpolation, and show that it dramatically reduces this artifact. While these three contributions are orthogonal, our results demonstrate that taken together they efficiently address the dominant sources of visual artifacts arising with high-resolution embedded liquid surfaces; the proposed approach offers improved visual quality, a straightforward implementation, and substantially greater scalability than competing methods.},
author = {Goldade, Ryan and Batty, Christopher and Wojtan, Christopher J},
journal = {Computer Graphics Forum},
number = {2},
pages = {233 -- 242},
publisher = {Wiley-Blackwell},
title = {{A practical method for high-resolution embedded liquid surfaces}},
doi = {10.1111/cgf.12826},
volume = {35},
year = {2016},
}
@article{1415,
abstract = {The Fluid Implicit Particle method (FLIP) for liquid simulations uses particles to reduce numerical dissipation and provide important visual cues for events like complex splashes and small-scale features near the liquid surface. Unfortunately, FLIP simulations can be computationally expensive, because they require a dense sampling of particles to fill the entire liquid volume. Furthermore, the vast majority of these FLIP particles contribute nothing to the fluid's visual appearance, especially for larger volumes of liquid. We present a method that only uses FLIP particles within a narrow band of the liquid surface, while efficiently representing the remaining inner volume on a regular grid. We show that a naïve realization of this idea introduces unstable and uncontrollable energy fluctuations, and we propose a novel coupling scheme between FLIP particles and regular grid which overcomes this problem. Our method drastically reduces the particle count and simulation times while yielding results that are nearly indistinguishable from regular FLIP simulations. Our approach is easy to integrate into any existing FLIP implementation.},
author = {Ferstl, Florian and Ando, Ryoichi and Wojtan, Christopher J and Westermann, Rüdiger and Thuerey, Nils},
journal = {Computer Graphics Forum},
number = {2},
pages = {225 -- 232},
publisher = {Wiley-Blackwell},
title = {{Narrow band FLIP for liquid simulations}},
doi = {10.1111/cgf.12825},
volume = {35},
year = {2016},
}
@article{1416,
abstract = {Anisotropic dipole-dipole interactions between ultracold dipolar fermions break the symmetry of the Fermi surface and thereby deform it. Here we demonstrate that such a Fermi surface deformation induces a topological phase transition - the so-called Lifshitz transition - in the regime accessible to present-day experiments. We describe the impact of the Lifshitz transition on observable quantities such as the Fermi surface topology, the density-density correlation function, and the excitation spectrum of the system. The Lifshitz transition in ultracold atoms can be controlled by tuning the dipole orientation and, in contrast to the transition studied in crystalline solids, is completely interaction driven.},
author = {Van Loon, Erik and Katsnelson, Mikhail and Chomaz, Lauriane and Lemeshko, Mikhail},
journal = {Physical Review B - Condensed Matter and Materials Physics},
number = {19},
publisher = {American Physical Society},
title = {{Interaction-driven Lifshitz transition with dipolar fermions in optical lattices}},
doi = {10.1103/PhysRevB.93.195145},
volume = {93},
year = {2016},
}
@article{1417,
abstract = {Plant development mediated by the phytohormone auxin depends on tightly controlled cellular auxin levels at its target tissue that are largely established by intercellular and intracellular auxin transport mediated by PIN auxin transporters. Among the eight members of the Arabidopsis PIN family, PIN6 is the least characterized candidate. In this study we generated functional, fluorescent protein-tagged PIN6 proteins and performed comprehensive analysis of their subcellular localization and also performed a detailed functional characterization of PIN6 and its developmental roles. The localization study of PIN6 revealed a dual localization at the plasma membrane (PM) and endoplasmic reticulum (ER). Transport and metabolic profiling assays in cultured cells and Arabidopsis strongly suggest that PIN6 mediates both auxin transport across the PM and intracellular auxin homeostasis, including the regulation of free auxin and auxin conjugates levels. As evidenced by the loss- and gain-of-function analysis, the complex function of PIN6 in auxin transport and homeostasis is required for auxin distribution during lateral and adventitious root organogenesis and for progression of these developmental processes. These results illustrate a unique position of PIN6 within the family of PIN auxin transporters and further add complexity to the developmentally crucial process of auxin transport.},
author = {Simon, Sibu and Skůpa, Petr and Viaene, Tom and Zwiewka, Marta and Tejos, Ricardo and Klíma, Petr and Čarná, Mária and Rolčík, Jakub and De Rycke, Riet and Moreno, Ignacio and Dobrev, Petre and Orellana, Ariel and Zažímalová, Eva and Friml, Jirí},
journal = {New Phytologist},
number = {1},
pages = {65 -- 74},
publisher = {Wiley-Blackwell},
title = {{PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis}},
doi = {10.1111/nph.14019},
volume = {211},
year = {2016},
}
@article{1420,
abstract = {Selection, mutation, and random drift affect the dynamics of allele frequencies and consequently of quantitative traits. While the macroscopic dynamics of quantitative traits can be measured, the underlying allele frequencies are typically unobserved. Can we understand how the macroscopic observables evolve without following these microscopic processes? This problem has been studied previously by analogy with statistical mechanics: the allele frequency distribution at each time point is approximated by the stationary form, which maximizes entropy. We explore the limitations of this method when mutation is small (4Nμ < 1) so that populations are typically close to fixation, and we extend the theory in this regime to account for changes in mutation strength. We consider a single diallelic locus either under directional selection or with overdominance and then generalize to multiple unlinked biallelic loci with unequal effects. We find that the maximum-entropy approximation is remarkably accurate, even when mutation and selection change rapidly. },
author = {Bod'ová, Katarína and Tkacik, Gasper and Barton, Nicholas H},
journal = {Genetics},
number = {4},
pages = {1523 -- 1548},
publisher = {Genetics Society of America},
title = {{A general approximation for the dynamics of quantitative traits}},
doi = {10.1534/genetics.115.184127},
volume = {202},
year = {2016},
}
@article{1422,
abstract = {We study the time-dependent Bogoliubov–de-Gennes equations for generic translation-invariant fermionic many-body systems. For initial states that are close to thermal equilibrium states at temperatures near the critical temperature, we show that the magnitude of the order parameter stays approximately constant in time and, in particular, does not follow a time-dependent Ginzburg–Landau equation, which is often employed as a phenomenological description and predicts a decay of the order parameter in time. The full non-linear structure of the equations is necessary to understand this behavior.},
author = {Frank, Rupert and Hainzl, Christian and Schlein, Benjamin and Seiringer, Robert},
journal = {Letters in Mathematical Physics},
number = {7},
pages = {913 -- 923},
publisher = {Springer},
title = {{Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations}},
doi = {10.1007/s11005-016-0847-5},
volume = {106},
year = {2016},
}
@article{1423,
abstract = {Direct reciprocity is a mechanism for the evolution of cooperation based on repeated interactions. When individuals meet repeatedly, they can use conditional strategies to enforce cooperative outcomes that would not be feasible in one-shot social dilemmas. Direct reciprocity requires that individuals keep track of their past interactions and find the right response. However, there are natural bounds on strategic complexity: Humans find it difficult to remember past interactions accurately, especially over long timespans. Given these limitations, it is natural to ask how complex strategies need to be for cooperation to evolve. Here, we study stochastic evolutionary game dynamics in finite populations to systematically compare the evolutionary performance of reactive strategies, which only respond to the co-player's previous move, and memory-one strategies, which take into account the own and the co-player's previous move. In both cases, we compare deterministic strategy and stochastic strategy spaces. For reactive strategies and small costs, we find that stochasticity benefits cooperation, because it allows for generous-tit-for-tat. For memory one strategies and small costs, we find that stochasticity does not increase the propensity for cooperation, because the deterministic rule of win-stay, lose-shift works best. For memory one strategies and large costs, however, stochasticity can augment cooperation.},
author = {Baek, Seung and Jeong, Hyeongchai and Hilbe, Christian and Nowak, Martin},
journal = {Scientific Reports},
publisher = {Nature Publishing Group},
title = {{Comparing reactive and memory-one strategies of direct reciprocity}},
doi = {10.1038/srep25676},
volume = {6},
year = {2016},
}
@article{1426,
abstract = {Brood parasites exploit their host in order to increase their own fitness. Typically, this results in an arms race between parasite trickery and host defence. Thus, it is puzzling to observe hosts that accept parasitism without any resistance. The ‘mafia’ hypothesis suggests that these hosts accept parasitism to avoid retaliation. Retaliation has been shown to evolve when the hosts condition their response to mafia parasites, who use depredation as a targeted response to rejection. However, it is unclear if acceptance would also emerge when ‘farming’ parasites are present in the population. Farming parasites use depredation to synchronize the timing with the host, destroying mature clutches to force the host to re-nest. Herein, we develop an evolutionary model to analyse the interaction between depredatory parasites and their hosts. We show that coevolutionary cycles between farmers and mafia can still induce host acceptance of brood parasites. However, this equilibrium is unstable and in the long-run the dynamics of this host–parasite interaction exhibits strong oscillations: when farmers are the majority, accepters conditional to mafia (the host will reject first and only accept after retaliation by the parasite) have a higher fitness than unconditional accepters (the host always accepts parasitism). This leads to an increase in mafia parasites’ fitness and in turn induce an optimal environment for accepter hosts.},
author = {Chakra, Maria and Hilbe, Christian and Traulsen, Arne},
journal = {Royal Society Open Science},
number = {5},
publisher = {Royal Society, The},
title = {{Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites}},
doi = {10.1098/rsos.160036},
volume = {3},
year = {2016},
}
@article{1427,
abstract = {Changes in gene expression are an important mode of evolution; however, the proximate mechanism of these changes is poorly understood. In particular, little is known about the effects of mutations within cis binding sites for transcription factors, or the nature of epistatic interactions between these mutations. Here, we tested the effects of single and double mutants in two cis binding sites involved in the transcriptional regulation of the Escherichia coli araBAD operon, a component of arabinose metabolism, using a synthetic system. This system decouples transcriptional control from any posttranslational effects on fitness, allowing a precise estimate of the effect of single and double mutations, and hence epistasis, on gene expression. We found that epistatic interactions between mutations in the araBAD cis-regulatory element are common, and that the predominant form of epistasis is negative. The magnitude of the interactions depended on whether the mutations are located in the same or in different operator sites. Importantly, these epistatic interactions were dependent on the presence of arabinose, a native inducer of the araBAD operon in vivo, with some interactions changing in sign (e.g., from negative to positive) in its presence. This study thus reveals that mutations in even relatively simple cis-regulatory elements interact in complex ways such that selection on the level of gene expression in one environment might perturb regulation in the other environment in an unpredictable and uncorrelated manner.},
author = {Lagator, Mato and Igler, Claudia and Moreno, Anaisa and Guet, Calin C and Bollback, Jonathan P},
journal = {Molecular Biology and Evolution},
number = {3},
pages = {761 -- 769},
publisher = {Oxford University Press},
title = {{Epistatic interactions in the arabinose cis-regulatory element}},
doi = {10.1093/molbev/msv269},
volume = {33},
year = {2016},
}
@inproceedings{1428,
abstract = {We report on a mathematically rigorous analysis of the superfluid properties of a Bose- Einstein condensate in the many-body ground state of a one-dimensional model of interacting bosons in a random potential.},
author = {Könenberg, Martin and Moser, Thomas and Seiringer, Robert and Yngvason, Jakob},
booktitle = {Journal of Physics: Conference Series},
location = {Shanghai, China},
number = {1},
publisher = {IOP Publishing Ltd.},
title = {{Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential}},
doi = {10.1088/1742-6596/691/1/012016},
volume = {691},
year = {2016},
}
@article{1429,
abstract = {Solitons are localized waves formed by a balance of focusing and defocusing effects. These nonlinear waves exist in diverse forms of matter yet exhibit similar properties including stability, periodic recurrence and particle-like trajectories. One important property is soliton fission, a process by which an energetic higher-order soliton breaks apart due to dispersive or nonlinear perturbations. Here we demonstrate through both experiment and theory that nonlinear photocarrier generation can induce soliton fission. Using near-field measurements, we directly observe the nonlinear spatial and temporal evolution of optical pulses in situ in a nanophotonic semiconductor waveguide. We develop an analytic formalism describing the free-carrier dispersion (FCD) perturbation and show the experiment exceeds the minimum threshold by an order of magnitude. We confirm these observations with a numerical nonlinear Schrödinger equation model. These results provide a fundamental explanation and physical scaling of optical pulse evolution in free-carrier media and could enable improved supercontinuum sources in gas based and integrated semiconductor waveguides.},
author = {Husko, Chad and Wulf, Matthias and Lefrançois, Simon and Combrié, Sylvain and Lehoucq, Gaëlle and De Rossi, Alfredo and Eggleton, Benjamin and Kuipers, Laurens},
journal = {Nature Communications},
publisher = {Nature Publishing Group},
title = {{Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides}},
doi = {10.1038/ncomms11332},
volume = {7},
year = {2016},
}
@article{1431,
abstract = {The rare socially parasitic butterfly Maculinea alcon occurs in two forms, which are characteristic of hygric or xeric habitats and which exploit different host plants and host ants. The status of these two forms has been the subject of considerable controversy. Populations of the two forms are usually spatially distinct, but at Răscruci in Romania both forms occur on the same site (syntopically). We examined the genetic differentiation between the two forms using eight microsatellite markers, and compared with a nearby hygric site, Şardu. Our results showed that while the two forms are strongly differentiated at Răscruci, it is the xeric form there that is most similar to the hygric form at Şardu, and Bayesian clustering algorithms suggest that these two populations have exchanged genes relatively recently. We found strong evidence for population substructuring, caused by high within host ant nest relatedness, indicating very limited dispersal of most ovipositing females, but not association with particular host ant species. Our results are consistent with the results of larger scale phylogeographic studies that suggest that the two forms represent local ecotypes specialising on different host plants, each with a distinct flowering phenology, providing a temporal rather than spatial barrier to gene flow.},
author = {Tartally, András and Kelager, Andreas and Fürst, Matthias and Nash, David},
journal = {PeerJ},
number = {3},
publisher = {PeerJ},
title = {{Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon}},
doi = {10.7717/peerj.1865},
volume = {2016},
year = {2016},
}