@article{510,
abstract = {The CLE (CLAVATA3/Embryo Surrounding Region-related) peptides are small secreted signaling peptides that are primarily involved in the regulation of stem cell homeostasis in different plant meristems. Particularly, the characterization of the CLE41-PXY/TDR signaling pathway has greatly advanced our understanding on the potential roles of CLE peptides in vascular development and wood formation. Nevertheless, our knowledge on this gene family in a tree species is limited. In a recent study, we reported on a systematically investigation of the CLE gene family in Populus trichocarpa . The potential roles of PtCLE genes were studied by comparative analysis and transcriptional pro fi ling. Among fi fty PtCLE members, many PtCLE proteins share identical CLE motifs or contain the same CLE motif as that of AtCLEs, while PtCLE genes exhibited either comparable or distinct expression patterns comparing to their Arabidopsis counterparts. These fi ndings indicate the existence of both functional conservation and functional divergence between PtCLEs and their AtCLE orthologues. Our results provide valuable resources for future functional investigations of these critical signaling molecules in woody plants. },
author = {Liu, Zhijun and Yang, Nan and Lv, Yanting and Pan, Lixia and Lv, Shuo and Han, Huibin and Wang, Guodong},
journal = {Plant Signaling & Behavior},
number = {6},
publisher = {Landes Bioscience},
title = {{The CLE gene family in Populus trichocarpa}},
doi = {10.1080/15592324.2016.1191734},
volume = {11},
year = {2016},
}
@misc{5445,
abstract = {We consider the quantitative analysis problem for interprocedural control-flow graphs (ICFGs). The input consists of an ICFG, a positive weight function that assigns every transition a positive integer-valued number, and a labelling of the transitions (events) as good, bad, and neutral events. The weight function assigns to each transition a numerical value that represents ameasure of how good or bad an event is. The quantitative analysis problem asks whether there is a run of the ICFG where the ratio of the sum of the numerical weights of good events versus the sum of weights of bad events in the long-run is at least a given threshold (or equivalently, to compute the maximal ratio among all valid paths in the ICFG). The quantitative analysis problem for ICFGs can be solved in polynomial time, and we present an efficient and practical algorithm for the problem. We show that several problems relevant for static program analysis, such as estimating the worst-case execution time of a program or the average energy consumption of a mobile application, can be modeled in our framework. We have implemented our algorithm as a tool in the Java Soot framework. We demonstrate the effectiveness of our approach with two case studies. First, we show that our framework provides a sound approach (no false positives) for the analysis of inefficiently-used containers. Second, we show that our approach can also be used for static profiling of programs which reasons about methods that are frequently invoked. Our experimental results show that our tool scales to relatively large benchmarks, and discovers relevant and useful information that can be used to optimize performance of the programs. },
author = {Chatterjee, Krishnendu and Pavlogiannis, Andreas and Velner, Yaron},
issn = {2664-1690},
pages = {33},
publisher = {IST Austria},
title = {{Quantitative interprocedural analysis}},
doi = {10.15479/AT:IST-2016-523-v1-1},
year = {2016},
}
@misc{5446,
abstract = {We study the problem of developing efficient approaches for proving termination of recursive programs with one-dimensional arrays. Ranking functions serve as a sound and complete approach for proving termination of non-recursive programs without array operations. First, we generalize ranking functions to the notion of measure functions, and prove that measure functions (i) provide a sound method to prove termination of recursive programs (with one-dimensional arrays), and (ii) is both sound and complete over recursive programs without array operations. Our second contribution is the synthesis of measure functions of specific forms in polynomial time. More precisely, we prove that (i) polynomial measure functions over recursive programs can be synthesized in polynomial time through Farkas’ Lemma and Handelman’s Theorem, and (ii) measure functions involving logarithm and exponentiation can be synthesized in polynomial time through abstraction of logarithmic or exponential terms and Handelman’s Theorem. A key application of our method is the worst-case analysis of recursive programs. While previous methods obtain worst-case polynomial bounds of the form O(n^k), where k is an integer, our polynomial time methods can synthesize bounds of the form O(n log n), as well as O(n^x), where x is not an integer. We show the applicability of our automated technique to obtain worst-case complexity of classical recursive algorithms such as (i) Merge-Sort, the divideand-
conquer algorithm for the Closest-Pair problem, where we obtain O(n log n) worst-case bound, and (ii) Karatsuba’s algorithm for polynomial multiplication and Strassen’s algorithm for matrix multiplication, where we obtain O(n^x) bound, where x is not an integer and close to the best-known bounds for the respective algorithms. Finally, we present experimental results to demonstrate the
effectiveness of our approach.},
author = {Anonymous, 1 and Anonymous, 2 and Anonymous, 3},
issn = {2664-1690},
pages = {26},
publisher = {IST Austria},
title = {{Termination and worst-case analysis of recursive programs}},
year = {2016},
}
@misc{5447,
abstract = {We consider the problem of developing automated techniques to aid the average-case complexity analysis of programs. Several classical textbook algorithms have quite efficient average-case complexity, whereas the corresponding worst-case bounds are either inefficient (e.g., QUICK-SORT), or completely ineffective (e.g., COUPONCOLLECTOR). Since the main focus of average-case analysis is to obtain efficient bounds, we consider bounds that are either logarithmic,
linear, or almost-linear (O(log n), O(n), O(n · log n),
respectively, where n represents the size of the input). Our main contribution is a sound approach for deriving such average-case bounds for randomized recursive programs. Our approach is efficient (a simple linear-time algorithm), and it is based on (a) the analysis of recurrence relations induced by randomized algorithms, and (b) a guess-and-check technique. Our approach can infer the asymptotically optimal average-case bounds for classical randomized algorithms, including RANDOMIZED-SEARCH, QUICKSORT, QUICK-SELECT, COUPON-COLLECTOR, where the worstcase
bounds are either inefficient (such as linear as compared to logarithmic of average-case, or quadratic as compared to linear or almost-linear of average-case), or ineffective. We have implemented our approach, and the experimental results show that we obtain the bounds efficiently for various classical algorithms.},
author = {Anonymous, 1 and Anonymous, 2 and Anonymous, 3},
issn = {2664-1690},
pages = {20},
publisher = {IST Austria},
title = {{Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds}},
year = {2016},
}
@misc{5448,
abstract = {We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.
We introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.
1. For acyclic architectures, our algorithm is guaranteed to explore exactly one representative trace from each observation class, while spending polynomial time per class. Hence, our algorithm is optimal wrt the observation equivalence, and in several cases explores exponentially fewer traces than any enumerative method based on the Mazurkiewicz equivalence.
2. For cyclic architectures, we consider an equivalence between traces which is finer than the observation equivalence; but coarser than the Mazurkiewicz equivalence, and in some cases is exponentially coarser. Our data-centric DPOR algorithm remains optimal under this trace equivalence.
Finally, we perform a basic experimental comparison between the existing Mazurkiewicz-based DPOR and our data-centric DPOR on a set of academic benchmarks. Our results show a significant reduction in both running time and the number of explored equivalence classes.},
author = {Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4},
issn = {2664-1690},
pages = {20},
publisher = {IST Austria},
title = {{Data-centric dynamic partial order reduction}},
year = {2016},
}
@misc{5449,
abstract = {The fixation probability is the probability that a new mutant introduced in a homogeneous population eventually takes over the entire population.
The fixation probability is a fundamental quantity of natural selection, and known to depend on the population structure.
Amplifiers of natural selection are population structures which increase the fixation probability of advantageous mutants, as compared to the baseline case of well-mixed populations. In this work we focus on symmetric population structures represented as undirected graphs. In the regime of undirected graphs, the strongest amplifier known has been the Star graph, and the existence of undirected graphs with stronger amplification properties has remained open for over a decade.
In this work we present the Comet and Comet-swarm families of undirected graphs. We show that for a range of fitness values of the mutants, the Comet and Comet-swarm graphs have fixation probability strictly larger than the fixation probability of the Star graph, for fixed population size and at the limit of large populations, respectively.},
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {22},
publisher = {IST Austria},
title = {{Amplification on undirected population structures: Comets beat stars}},
doi = {10.15479/AT:IST-2016-648-v1-1},
year = {2016},
}
@misc{5451,
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {34},
publisher = {IST Austria},
title = {{Strong amplifiers of natural selection}},
doi = {10.15479/AT:IST-2016-728-v1-1},
year = {2016},
}
@misc{5452,
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {32},
publisher = {IST Austria},
title = {{Arbitrarily strong amplifiers of natural selection}},
doi = {10.15479/AT:IST-2017-728-v2-1},
year = {2016},
}
@misc{5453,
author = {Pavlogiannis, Andreas and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin},
issn = {2664-1690},
pages = {34},
publisher = {IST Austria},
title = {{Arbitrarily strong amplifiers of natural selection}},
doi = {10.15479/AT:IST-2017-749-v3-1},
year = {2016},
}
@misc{5550,
abstract = {We collected flower colour information on species in the tribe Antirrhineae from taxonomic literature. We also retreived molecular data from GenBank for as many of these species as possible to estimate phylogenetic relationships among these taxa. We then used the R package 'diversitree' to examine patterns of evolutionary transitions between anthocyanin and yellow pigmentation across the phylogeny.
For full details of the methods see:
Ellis TJ and Field DL "Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae”, Annals of Botany (in press)},
author = {Ellis, Thomas and Field, David},
publisher = {IST Austria},
title = {{Flower colour data and phylogeny (NEXUS) files}},
doi = {10.15479/AT:ISTA:34},
year = {2016},
}
@misc{5551,
abstract = {Data from array experiments investigating pollinator behaviour on snapdragons in controlled conditions, and their effect on plant mating. Data were collected as part of Tom Ellis' PhD thesis , submitted February 2016.
We placed a total of 36 plants in a grid inside a closed organza tent, with a single hive of commercially bred bumblebees (Bombus hortorum). We used only the yellow-flowered Antirrhinum majus striatum and the magenta-flowered Antirrhinum majus pseudomajus, at ratios of 6:36, 12:24, 18:18, 24:12 and 30:6.
After 24 hours to learn how to deal with snapdragons, I observed pollinators foraging on plants, and recorded the transitions between plants. Thereafter seeds on plants were allowed to develops. A sample of these were grown to maturity when their flower colour could be determined, and they were scored as yellow, magenta, or hybrid.},
author = {Ellis, Thomas},
publisher = {IST Austria},
title = {{Data on pollinator observations and offpsring phenotypes}},
doi = {10.15479/AT:ISTA:35},
year = {2016},
}
@misc{5552,
abstract = {Data on pollinator visitation to wild snapdragons in a natural hybrid zone, collected as part of Tom Ellis' PhD thesis (submitted February 2016).
Snapdragon flowers have a mouth-like structure which pollinators must open to access nectar. We placed 5mm cellophane tags in these mouths, which are held in place by the pressure of the flower until a pollinator visits. When she opens the flower, the tag drops out, and one can infer a visit. We surveyed plants over multiple days in 2010, 2011 and 2012.
Also included are data on phenotypic and demographic variables which may be explanatory variables for pollinator visitation.},
author = {Ellis, Thomas},
publisher = {IST Austria},
title = {{Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.}},
doi = {10.15479/AT:ISTA:36},
year = {2016},
}
@misc{5553,
abstract = {Genotypic, phenotypic and demographic data for 2128 wild snapdragons and 1127 open-pollinated progeny from a natural hybrid zone, collected as part of Tom Ellis' PhD thesis (submitted) February 2016).
Tissue samples were sent to LGC Genomics in Berlin for DNA extraction, and genotyping at 70 SNP markers by KASPR genotyping. 29 of these SNPs failed to amplify reliably, and have been removed from this dataset.
Other data were retreived from an online database of this population at www.antspec.org.},
author = {Field, David and Ellis, Thomas},
keywords = {paternity assignment, pedigree, matting patterns, assortative mating, Antirrhinum majus, frequency-dependent selection, plant-pollinator interaction},
publisher = {IST Austria},
title = {{Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012}},
doi = {10.15479/AT:ISTA:37},
year = {2016},
}
@misc{5555,
abstract = {This FIJI script calculates the population average of the migration speed as a function of time of all cells from wide field microscopy movies.},
author = {Hauschild, Robert},
keywords = {cell migration, wide field microscopy, FIJI},
publisher = {IST Austria},
title = {{Fiji script to determine average speed and direction of migration of cells}},
doi = {10.15479/AT:ISTA:44},
year = {2016},
}
@misc{5556,
abstract = {MATLAB code and processed datasets available for reproducing the results in:
Lukačišin, M.*, Landon, M.*, Jajoo, R*. (2016) Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.
*equal contributions},
author = {Lukacisin, Martin and Landon, Matthieu and Jajoo, Rishi},
keywords = {transcription, pausing, backtracking, polymerase, RNA, NET-seq, nucleosome, basepairing},
publisher = {IST Austria},
title = {{MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'}},
doi = {10.15479/AT:ISTA:45},
year = {2016},
}
@misc{5557,
abstract = {Small synthetic discrete tomography problems.
Sizes are 32x32, 64z64 and 256x256.
Projection angles are 2, 4, and 6.
Number of labels are 3 and 5.},
author = {Swoboda, Paul},
keywords = {discrete tomography},
publisher = {IST Austria},
title = {{Synthetic discrete tomography problems}},
doi = {10.15479/AT:ISTA:46},
year = {2016},
}
@misc{5558,
abstract = {PhD thesis LaTeX source code},
author = {Bojsen-Hansen, Morten},
publisher = {IST Austria},
title = {{Tracking, Correcting and Absorbing Water Surface Waves}},
doi = {10.15479/AT:ISTA:48},
year = {2016},
}
@article{5771,
abstract = {Retroviruses such as HIV-1 assemble and bud from infected cells in an immature, non-infectious form. Subsequently, a series of proteolytic cleavages catalysed by the viral protease leads to a spectacular structural rearrangement of the viral particle into a mature form that is competent to fuse with and infect a new cell. Maturation involves changes in the structures of protein domains, in the interactions between protein domains, and in the architecture of the viral components that are assembled by the proteins. Tight control of proteolytic cleavages at different sites is required for successful maturation, and the process is a major target of antiretroviral drugs. Here we will describe what is known about the structures of immature and mature retrovirus particles, and about the maturation process by which one transitions into the other. Despite a wealth of available data, fundamental questions about retroviral maturation remain unanswered.},
author = {Mattei, Simone and Schur, Florian and Briggs, John AG},
issn = {1879-6257},
journal = {Current Opinion in Virology},
number = {6},
pages = {27--35},
publisher = {Elsevier},
title = {{Retrovirus maturation—an extraordinary structural transformation}},
doi = {10.1016/j.coviro.2016.02.008},
volume = {18},
year = {2016},
}
@article{587,
abstract = {Quantum metrology exploits entangled states of particles to improve sensing precision beyond the limit achievable with uncorrelated particles. All previous methods required detection noise levels below this standard quantum limit to realize the benefits of the intrinsic sensitivity provided by these states.We experimentally demonstrate a widely applicable method for entanglement-enhanced measurements without low-noise detection. The method involves an intermediate quantum phase magnification step that eases implementation complexity. We used it to perform squeezed-state metrology 8 decibels below the standard quantum limit with a detection system that has a noise floor 10 decibels above the standard quantum limit.},
author = {Onur Hosten and Krishnakumar, Rajiv and Engelsen, Nils J and Kasevich, Mark A},
journal = {Science},
number = {6293},
pages = {1552 -- 1555},
publisher = {American Association for the Advancement of Science},
title = {{Quantum phase magnification}},
doi = {10.1126/science.aaf3397},
volume = {352},
year = {2016},
}
@article{6732,
abstract = {Consider the transmission of a polar code of block length N and rate R over a binary memoryless symmetric channel W and let P e be the block error probability under successive cancellation decoding. In this paper, we develop new bounds that characterize the relationship of the parameters R, N, P e , and the quality of the channel W quantified by its capacity I(W) and its Bhattacharyya parameter Z(W). In previous work, two main regimes were studied. In the error exponent regime, the channel W and the rate R <; I(W) are fixed, and it was proved that the error probability Pe scales roughly as 2 -√N . In the scaling exponent approach, the channel W and the error probability Pe are fixed and it was proved that the gap to capacity I(W) - R scales as N -1/μ . Here, μ is called scaling exponent and this scaling exponent depends on the channel W. A heuristic computation for the binary erasure channel (BEC) gives μ = 3.627 and it was shown that, for any channel W, 3.579 ≤ μ ≤ 5.702. Our contributions are as follows. First, we provide the tighter upper bound μ <;≤ 4.714 valid for any W. With the same technique, we obtain the upper bound μ ≤ 3.639 for the case of the BEC; this upper bound approaches very closely the heuristically derived value for the scaling exponent of the erasure channel. Second, we develop a trade-off between the gap to capacity I(W)- R and the error probability Pe as the functions of the block length N. In other words, we neither fix the gap to capacity (error exponent regime) nor the error probability (scaling exponent regime), but we do consider a moderate deviations regime in which we study how fast both quantities, as the functions of the block length N, simultaneously go to 0. Third, we prove that polar codes are not affected by error floors. To do so, we fix a polar code of block length N and rate R. Then, we vary the channel W and study the impact of this variation on the error probability. We show that the error probability Pe scales as the Bhattacharyya parameter Z(W) raised to a power that scales roughly like VN. This agrees with the scaling in the error exponent regime.},
author = {Mondelli, Marco and Hassani, S. Hamed and Urbanke, Rudiger L.},
issn = {1557-9654},
journal = {IEEE Transactions on Information Theory},
number = {12},
pages = {6698--6712},
publisher = {IEEE},
title = {{Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors}},
doi = {10.1109/tit.2016.2616117},
volume = {62},
year = {2016},
}
@inproceedings{6733,
abstract = {The question whether RM codes are capacity-achieving is a long-standing open problem in coding theory that was recently answered in the affirmative for transmission over erasure channels [1], [2]. Remarkably, the proof does not rely on specific properties of RM codes, apart from their symmetry. Indeed, the main technical result consists in showing that any sequence of linear codes, with doubly-transitive permutation groups, achieves capacity on the memoryless erasure channel under bit-MAP decoding. Thus, a natural question is what happens under block-MAP decoding. In [1], [2], by exploiting further symmetries of the code, the bit-MAP threshold was shown to be sharp enough so that the block erasure probability also converges to 0. However, this technique relies heavily on the fact that the transmission is over an erasure channel. We present an alternative approach to strengthen results regarding the bit-MAP threshold to block-MAP thresholds. This approach is based on a careful analysis of the weight distribution of RM codes. In particular, the flavor of the main result is the following: assume that the bit-MAP error probability decays as N -δ , for some δ > 0. Then, the block-MAP error probability also converges to 0. This technique applies to transmission over any binary memoryless symmetric channel. Thus, it can be thought of as a first step in extending the proof that RM codes are capacity-achieving to the general case.},
author = {Kudekar, Shrinivas and Kumar, Santhosh and Mondelli, Marco and Pfister, Henry D. and Urbankez, Rudiger},
booktitle = {2016 IEEE International Symposium on Information Theory },
location = {Barcelona, Spain},
pages = {1755--1759},
publisher = {IEEE},
title = {{Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels}},
doi = {10.1109/isit.2016.7541600},
year = {2016},
}
@article{7068,
abstract = {Electrons in materials with linear dispersion behave as massless Weyl- or Dirac-quasiparticles, and continue to intrigue due to their close resemblance to elusive ultra-relativistic particles as well as their potential for future electronics. Yet the experimental signatures of Weyl-fermions are often subtle and indirect, in particular if they coexist with conventional, massive quasiparticles. Here we show a pronounced anomaly in the magnetic torque of the Weyl semimetal NbAs upon entering the quantum limit state in high magnetic fields. The torque changes sign in the quantum limit, signalling a reversal of the magnetic anisotropy that can be directly attributed to the topological nature of the Weyl electrons. Our results establish that anomalous quantum limit torque measurements provide a direct experimental method to identify and distinguish Weyl and Dirac systems.},
author = {Moll, Philip J. W. and Potter, Andrew C. and Nair, Nityan L. and Ramshaw, B. J. and Modic, Kimberly A and Riggs, Scott and Zeng, Bin and Ghimire, Nirmal J. and Bauer, Eric D. and Kealhofer, Robert and Ronning, Filip and Analytis, James G.},
issn = {2041-1723},
journal = {Nature Communications},
publisher = {Springer Nature},
title = {{Magnetic torque anomaly in the quantum limit of Weyl semimetals}},
doi = {10.1038/ncomms12492},
volume = {7},
year = {2016},
}
@article{1270,
abstract = {A crucial step in the early development of multicellular organisms involves the establishment of spatial patterns of gene expression which later direct proliferating cells to take on different cell fates. These patterns enable the cells to infer their global position within a tissue or an organism by reading out local gene expression levels. The patterning system is thus said to encode positional information, a concept that was formalized recently in the framework of information theory. Here we introduce a toy model of patterning in one spatial dimension, which can be seen as an extension of Wolpert's paradigmatic "French Flag" model, to patterning by several interacting, spatially coupled genes subject to intrinsic and extrinsic noise. Our model, a variant of an Ising spin system, allows us to systematically explore expression patterns that optimally encode positional information. We find that optimal patterning systems use positional cues, as in the French Flag model, together with gene-gene interactions to generate combinatorial codes for position which we call "Counter" patterns. Counter patterns can also be stabilized against noise and variations in system size or morphogen dosage by longer-range spatial interactions of the type invoked in the Turing model. The simple setup proposed here qualitatively captures many of the experimentally observed properties of biological patterning systems and allows them to be studied in a single, theoretically consistent framework.},
author = {Hillenbrand, Patrick and Gerland, Ulrich and Tkacik, Gasper},
journal = {PLoS One},
number = {9},
publisher = {Public Library of Science},
title = {{Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information}},
doi = {10.1371/journal.pone.0163628},
volume = {11},
year = {2016},
}
@article{1271,
abstract = {Background: High directional persistence is often assumed to enhance the efficiency of chemotactic migration. Yet, cells in vivo usually display meandering trajectories with relatively low directional persistence, and the control and function of directional persistence during cell migration in three-dimensional environments are poorly understood. Results: Here, we use mesendoderm progenitors migrating during zebrafish gastrulation as a model system to investigate the control of directional persistence during migration in vivo. We show that progenitor cells alternate persistent run phases with tumble phases that result in cell reorientation. Runs are characterized by the formation of directed actin-rich protrusions and tumbles by enhanced blebbing. Increasing the proportion of actin-rich protrusions or blebs leads to longer or shorter run phases, respectively. Importantly, both reducing and increasing run phases result in larger spatial dispersion of the cells, indicative of reduced migration precision. A physical model quantitatively recapitulating the migratory behavior of mesendoderm progenitors indicates that the ratio of tumbling to run times, and thus the specific degree of directional persistence of migration, are critical for optimizing migration precision. Conclusions: Together, our experiments and model provide mechanistic insight into the control of migration directionality for cells moving in three-dimensional environments that combine different protrusion types, whereby the proportion of blebs to actin-rich protrusions determines the directional persistence and precision of movement by regulating the ratio of tumbling to run times.},
author = {Diz Muñoz, Alba and Romanczuk, Pawel and Yu, Weimiao and Bergert, Martin and Ivanovitch, Kenzo and Salbreux, Guillame and Heisenberg, Carl-Philipp J and Paluch, Ewa},
journal = {BMC Biology},
number = {1},
publisher = {BioMed Central},
title = {{Steering cell migration by alternating blebs and actin-rich protrusions}},
doi = {10.1186/s12915-016-0294-x},
volume = {14},
year = {2016},
}
@article{1272,
abstract = {We study different means to extend offsetting based on skeletal structures beyond the well-known constant-radius and mitered offsets supported by Voronoi diagrams and straight skeletons, for which the orthogonal distance of offset elements to their respective input elements is constant and uniform over all input elements. Our main contribution is a new geometric structure, called variable-radius Voronoi diagram, which supports the computation of variable-radius offsets, i.e., offsets whose distance to the input is allowed to vary along the input. We discuss properties of this structure and sketch a prototype implementation that supports the computation of variable-radius offsets based on this new variant of Voronoi diagrams.},
author = {Held, Martin and Huber, Stefan and Palfrader, Peter},
journal = {Computer-Aided Design and Applications},
number = {5},
pages = {712 -- 721},
publisher = {Taylor and Francis},
title = {{Generalized offsetting of planar structures using skeletons}},
doi = {10.1080/16864360.2016.1150718},
volume = {13},
year = {2016},
}
@article{1273,
abstract = {Lateral root primordia (LRP) originate from pericycle stem cells located deep within parental root tissues. LRP emerge through overlying root tissues by inducing auxin-dependent cell separation and hydraulic changes in adjacent cells. The auxin-inducible auxin influx carrier LAX3 plays a key role concentrating this signal in cells overlying LRP. Delimiting LAX3 expression to two adjacent cell files overlying new LRP is crucial to ensure that auxin-regulated cell separation occurs solely along their shared walls. Multiscale modeling has predicted that this highly focused pattern of expression requires auxin to sequentially induce auxin efflux and influx carriers PIN3 and LAX3, respectively. Consistent with model predictions, we report that auxin-inducible LAX3 expression is regulated indirectly by AUXIN RESPONSE FACTOR 7 (ARF7). Yeast one-hybrid screens revealed that the LAX3 promoter is bound by the transcription factor LBD29, which is a direct target for regulation by ARF7. Disrupting auxin-inducible LBD29 expression or expressing an LBD29-SRDX transcriptional repressor phenocopied the lax3 mutant, resulting in delayed lateral root emergence. We conclude that sequential LBD29 and LAX3 induction by auxin is required to coordinate cell separation and organ emergence.},
author = {Porco, Silvana and Larrieu, Antoine and Du, Yujuan and Gaudinier, Allison and Goh, Tatsuaki and Swarup, Kamal and Swarup, Ranjan and Kuempers, Britta and Bishopp, Anthony and Lavenus, Julien and Casimiro, Ilda and Hill, Kristine and Benková, Eva and Fukaki, Hidehiro and Brady, Siobhan and Scheres, Ben and Peéet, Benjamin and Bennett, Malcolm},
journal = {Development},
number = {18},
pages = {3340 -- 3349},
publisher = {Company of Biologists},
title = {{Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3}},
doi = {10.1242/dev.136283},
volume = {143},
year = {2016},
}
@article{1274,
abstract = {Synchronized tissue polarization during regeneration or de novo vascular tissue formation is a plant-specific example of intercellular communication and coordinated development. According to the canalization hypothesis, the plant hormone auxin serves as polarizing signal that mediates directional channel formation underlying the spatio-temporal vasculature patterning. A necessary part of canalization is a positive feedback between auxin signaling and polarity of the intercellular auxin flow. The cellular and molecular mechanisms of this process are still poorly understood, not the least, because of a lack of a suitable model system. We show that the main genetic model plant, Arabidopsis (Arabidopsis thaliana) can be used to study the canalization during vascular cambium regeneration and new vasculature formation. We monitored localized auxin responses, directional auxin-transport channels formation, and establishment of new vascular cambium polarity during regenerative processes after stem wounding. The increased auxin response above and around the wound preceded the formation of PIN1 auxin transporter-marked channels from the primarily homogenous tissue and the transient, gradual changes in PIN1 localization preceded the polarity of newly formed vascular tissue. Thus, Arabidopsis is a useful model for studies of coordinated tissue polarization and vasculature formation after wounding allowing for genetic and mechanistic dissection of the canalization hypothesis.},
author = {Mazur, Ewa and Benková, Eva and Friml, Jirí},
journal = {Scientific Reports},
publisher = {Nature Publishing Group},
title = {{Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis}},
doi = {10.1038/srep33754},
volume = {6},
year = {2016},
}
@article{1276,
abstract = {The cytochrome (cyt) bc 1 complex is an integral component of the respiratory electron transfer chain sustaining the energy needs of organisms ranging from humans to bacteria. Due to its ubiquitous role in the energy metabolism, both the oxidation and reduction of the enzyme's substrate co-enzyme Q has been studied vigorously. Here, this vast amount of data is reassessed after probing the substrate reduction steps at the Q i-site of the cyt bc 1 complex of Rhodobacter capsulatus using atomistic molecular dynamics simulations. The simulations suggest that the Lys251 side chain could rotate into the Q i-site to facilitate binding of half-protonated semiquinone-a reaction intermediate that is potentially formed during substrate reduction. At this bent pose, the Lys251 forms a salt bridge with the Asp252, thus making direct proton transfer possible. In the neutral state, the lysine side chain stays close to the conserved binding location of cardiolipin (CL). This back-and-forth motion between the CL and Asp252 indicates that Lys251 functions as a proton shuttle controlled by pH-dependent negative feedback. The CL/K/D switching, which represents a refinement to the previously described CL/K pathway, fine-tunes the proton transfer process. Lastly, the simulation data was used to formulate a mechanism for reducing the substrate at the Q i-site.},
author = {Postila, Pekka and Kaszuba, Karol and Kuleta, Patryk and Vattulainen, Ilpo and Sarewicz, Marcin and Osyczka, Artur and Róg, Tomasz},
journal = {Scientific Reports},
publisher = {Nature Publishing Group},
title = {{Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex}},
doi = {10.1038/srep33607},
volume = {6},
year = {2016},
}
@article{1277,
abstract = {The Arabidopsis thaliana endogenous elicitor peptides (AtPeps) are released into the apoplast after cellular damage caused by pathogens or wounding to induce innate immunity by direct binding to the membrane-localized leucine-rich repeat receptor kinases, PEP RECEPTOR1 (PEPR1) and PEPR2. Although the PEPR-mediated signaling components and responses have been studied extensively, the contributions of the subcellular localization and dynamics of the active PEPRs remain largely unknown. We used live-cell imaging of the fluorescently labeled and bioactive pep1 to visualize the intracellular behavior of the PEPRs in the Arabidopsis root meristem. We found that AtPep1 decorated the plasma membrane (PM) in a receptor-dependent manner and cointernalized with PEPRs. Trafficking of the AtPep1-PEPR1 complexes to the vacuole required neither the trans-Golgi network/early endosome (TGN/EE)-localized vacuolar H+ -ATPase activity nor the function of the brefeldin A-sensitive ADP-ribosylation factor-guanine exchange factors (ARF-GEFs). In addition, AtPep1 and different TGN/EE markers colocalized only rarely, implying that the intracellular route of this receptor-ligand pair is largely independent of the TGN/EE. Inducible overexpression of the Arabidopsis clathrin coat disassembly factor, Auxilin2, which inhibits clathrin-mediated endocytosis (CME), impaired the AtPep1-PEPR1 internalization and compromised AtPep1-mediated responses. Our results show that clathrin function at the PM is required to induce plant defense responses, likely through CME of cell surface-located signaling components.
},
author = {Ortiz Morea, Fausto and Savatin, Daniel and Dejonghe, Wim and Kumar, Rahul and Luo, Yu and Adamowski, Maciek and Van Begin, Jos and Dressano, Keini and De Oliveira, Guilherme and Zhao, Xiuyang and Lu, Qing and Madder, Annemieke and Friml, Jirí and De Moura, Daniel and Russinova, Eugenia},
journal = {PNAS},
number = {39},
pages = {11028 -- 11033},
publisher = {National Academy of Sciences},
title = {{Danger-associated peptide signaling in Arabidopsis requires clathrin}},
doi = {10.1073/pnas.1605588113},
volume = {113},
year = {2016},
}
@article{1278,
abstract = {Adaptations of vestibulo-ocular and optokinetic response eye movements have been studied as an experimental model of cerebellum-dependent motor learning. Several previous physiological and pharmacological studies have consistently suggested that the cerebellar flocculus (FL) Purkinje cells (P-cells) and the medial vestibular nucleus (MVN) neurons targeted by FL (FL-targeted MVN neurons) may respectively maintain the memory traces of short- and long-term adaptation. To study the basic structures of the FL-MVN synapses by light microscopy (LM) and electron microscopy (EM), we injected green florescence protein (GFP)-expressing lentivirus into FL to anterogradely label the FL P-cell axons in C57BL/6J mice. The FL P-cell axonal boutons were distributed in the magnocellular MVN and in the border region of parvocellular MVN and prepositus hypoglossi (PrH). In the magnocellular MVN, the FL-P cell axons mainly terminated on somata and proximal dendrites. On the other hand, in the parvocellular MVN/PrH, the FL P-cell axonal synaptic boutons mainly terminated on the relatively small-diameter (< 1 μm) distal dendrites of MVN neurons, forming symmetrical synapses. The majority of such parvocellular MVN/PrH neurons were determined to be glutamatergic by immunocytochemistry and in-situ hybridization of GFP expressing transgenic mice. To further examine the spatial relationship between the synapses of FL P-cells and those of vestibular nerve on the neurons of the parvocellular MVN/ PrH, we added injections of biotinylated dextran amine into the semicircular canal and anterogradely labeled vestibular nerve axons in some mice. The MVN dendrites receiving the FL P-cell axonal synaptic boutons often closely apposed vestibular nerve synaptic boutons in both LM and EM studies. Such a partial overlap of synaptic boutons of FL P-cell axons with those of vestibular nerve axons in the distal dendrites of MVN neurons suggests that inhibitory synapses of FL P-cells may influence the function of neighboring excitatory synapses of vestibular nerve in the parvocellular MVN/PrH neurons.},
author = {Matsuno, Hitomi and Kudoh, Moeko and Watakabe, Akiya and Yamamori, Tetsuo and Shigemoto, Ryuichi and Nagao, Soichi},
journal = {PLoS One},
number = {10},
publisher = {Public Library of Science},
title = {{Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies}},
doi = {10.1371/journal.pone.0164037},
volume = {11},
year = {2016},
}
@article{1279,
abstract = {During hippocampal sharp wave/ripple (SWR) events, previously occurring, sensory inputdriven neuronal firing patterns are replayed. Such replay is thought to be important for plasticity- related processes and consolidation of memory traces. It has previously been shown that the electrical stimulation-induced disruption of SWR events interferes with learning in rodents in different experimental paradigms. On the other hand, the cognitive map theory posits that the plastic changes of the firing of hippocampal place cells constitute the electrophysiological counterpart of the spatial learning, observable at the behavioral level. Therefore, we tested whether intact SWR events occurring during the sleep/rest session after the first exploration of a novel environment are needed for the stabilization of the CA1 code, which process requires plasticity. We found that the newly-formed representation in the CA1 has the same level of stability with optogenetic SWR blockade as with a control manipulation that delivered the same amount of light into the brain. Therefore our results suggest that at least in the case of passive exploratory behavior, SWR-related plasticity is dispensable for the stability of CA1 ensembles.},
author = {Kovács, Krisztián and O'Neill, Joseph and Schönenberger, Philipp and Penttonen, Markku and Rangel Guerrero, Dámaris K and Csicsvari, Jozsef L},
journal = {PLoS One},
number = {10},
publisher = {Public Library of Science},
title = {{Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the CA1 area of the hippocampus}},
doi = {10.1371/journal.pone.0164675},
volume = {11},
year = {2016},
}
@article{1280,
abstract = {We prove the Wigner-Dyson-Mehta conjecture at fixed energy in the bulk of the spectrum for generalized symmetric and Hermitian Wigner matrices. Previous results concerning the universality of random matrices either require an averaging in the energy parameter or they hold only for Hermitian matrices if the energy parameter is fixed. We develop a homogenization theory of the Dyson Brownian motion and show that microscopic universality follows from mesoscopic statistics.},
author = {Bourgade, Paul and Erdös, László and Yau, Horngtzer and Yin, Jun},
journal = {Communications on Pure and Applied Mathematics},
number = {10},
pages = {1815 -- 1881},
publisher = {Wiley-Blackwell},
title = {{Fixed energy universality for generalized wigner matrices}},
doi = {10.1002/cpa.21624},
volume = {69},
year = {2016},
}
@article{1281,
abstract = {Plants are able to modulate root growth and development to optimize their nitrogen nutrition. In Arabidopsis (Arabidopsis thaliana), the adaptive root response to nitrate (NO3 -) depends on the NRT1.1/NPF6.3 transporter/sensor. NRT1.1 represses emergence of lateral root primordia (LRPs) at low concentration or absence of NO3 - through its auxin transport activity that lowers auxin accumulation in LR. However, these functional data strongly contrast with the known transcriptional regulation of NRT1.1, which is markedly repressed in LRPs in the absence of NO3 -. To explain this discrepancy, we investigated in detail the spatiotemporal expression pattern of the NRT1.1 protein during LRP development and combined local transcript analysis with the use of transgenic lines expressing tagged NRT1.1 proteins. Our results show that although NO3 - stimulates NRT1.1 transcription and probably mRNA stability both in primary root tissues and in LRPs, it acts differentially on protein accumulation, depending on the tissues considered with stimulation in cortex and epidermis of the primary root and a strong repression in LRPs and to a lower extent at the primary root tip. This demonstrates that NRT1.1 is strongly regulated at the posttranscriptional level by tissue-specific mechanisms. These mechanisms are crucial for controlling the large palette of adaptive responses to NO3 - mediated by NRT1.1 as they ensure that the protein is present in the proper tissue under the specific conditions where it plays a signaling role in this particular tissue.},
author = {Bouguyon, Eléonore and Perrine Walker, Francine and Pervent, Marjorie and Rochette, Juliette and Cuesta, Candela and Benková, Eva and Martinière, Alexandre and Bach, Lien and Krouk, Gabriel and Gojon, Alain and Nacry, Philippe},
journal = {Plant Physiology},
number = {2},
pages = {1237 -- 1248},
publisher = {American Society of Plant Biologists},
title = {{Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor}},
doi = {10.1104/pp.16.01047},
volume = {172},
year = {2016},
}
@article{1282,
abstract = {We consider higher-dimensional generalizations of the normalized Laplacian and the adjacency matrix of graphs and study their eigenvalues for the Linial–Meshulam model Xk(n, p) of random k-dimensional simplicial complexes on n vertices. We show that for p = Ω(logn/n), the eigenvalues of each of the matrices are a.a.s. concentrated around two values. The main tool, which goes back to the work of Garland, are arguments that relate the eigenvalues of these matrices to those of graphs that arise as links of (k - 2)-dimensional faces. Garland’s result concerns the Laplacian; we develop an analogous result for the adjacency matrix. The same arguments apply to other models of random complexes which allow for dependencies between the choices of k-dimensional simplices. In the second part of the paper, we apply this to the question of possible higher-dimensional analogues of the discrete Cheeger inequality, which in the classical case of graphs relates the eigenvalues of a graph and its edge expansion. It is very natural to ask whether this generalizes to higher dimensions and, in particular, whether the eigenvalues of the higher-dimensional Laplacian capture the notion of coboundary expansion—a higher-dimensional generalization of edge expansion that arose in recent work of Linial and Meshulam and of Gromov; this question was raised, for instance, by Dotterrer and Kahle. We show that this most straightforward version of a higher-dimensional discrete Cheeger inequality fails, in quite a strong way: For every k ≥ 2 and n ∈ N, there is a k-dimensional complex Yn k on n vertices that has strong spectral expansion properties (all nontrivial eigenvalues of the normalised k-dimensional Laplacian lie in the interval [1−O(1/√1), 1+0(1/√1]) but whose coboundary expansion is bounded from above by O(log n/n) and so tends to zero as n → ∞; moreover, Yn k can be taken to have vanishing integer homology in dimension less than k.},
author = {Gundert, Anna and Wagner, Uli},
journal = {Israel Journal of Mathematics},
number = {2},
pages = {545 -- 582},
publisher = {Springer},
title = {{On eigenvalues of random complexes}},
doi = {10.1007/s11856-016-1419-1},
volume = {216},
year = {2016},
}
@article{1284,
abstract = {Brassinosteroids (BRs) are growth-promoting plant hormones that play a role in abiotic stress responses, but molecular modes that enable this activity remain largely unknown. Here we show that BRs participate in the regulation of freezing tolerance. BR signaling-defective mutants of Arabidopsis thaliana were hypersensitive to freezing before and after cold acclimation. The constitutive activation of BR signaling, in contrast, enhanced freezing resistance. Evidence is provided that the BR-controlled basic helix-loop-helix transcription factor CESTA (CES) can contribute to the constitutive expression of the C-REPEAT/DEHYDRATION-RESPONSIVE ELEMENT BINDING FACTOR (CBF) transcriptional regulators that control cold responsive (COR) gene expression. In addition, CBF-independent classes of BR-regulated COR genes are identified that are regulated in a BR- and CES-dependent manner during cold acclimation. A model is presented in which BRs govern different cold-responsive transcriptional cascades through the post-translational modification of CES and redundantly acting factors. This contributes to the basal resistance against freezing stress, but also to the further improvement of this resistance through cold acclimation.},
author = {Eremina, Marina and Unterholzner, Simon and Rathnayake, Ajith and Castellanos, Marcos and Khan-Djamei, Mamoona and Kügler, Karl and May, Sean and Mayer, Klaus and Rozhon, Wilfried and Poppenberger, Brigitte},
journal = {PNAS},
number = {40},
pages = {E5982 -- E5991},
publisher = {National Academy of Sciences},
title = {{Brassinosteroids participate in the control of basal and acquired freezing tolerance of plants}},
doi = {10.1073/pnas.1611477113},
volume = {113},
year = {2016},
}
@article{1286,
abstract = {We use recently developed angulon theory [R. Schmidt and M. Lemeshko, Phys. Rev. Lett. 114, 203001 (2015)PRLTAO0031-900710.1103/PhysRevLett.114.203001] to study the rotational spectrum of a cyanide molecular anion immersed into Bose-Einstein condensates of rubidium and strontium. Based on ab initio potential energy surfaces, we provide a detailed study of the rotational Lamb shift and many-body-induced fine structure which arise due to dressing of molecular rotation by a field of phonon excitations. We demonstrate that the magnitude of these effects is large enough in order to be observed in modern experiments on cold molecular ions. Furthermore, we introduce a novel method to construct pseudopotentials starting from the ab initio potential energy surfaces, which provides a means to obtain effective coupling constants for low-energy polaron models.},
author = {Midya, Bikashkali and Tomza, Michał and Schmidt, Richard and Lemeshko, Mikhail},
journal = {Physical Review A - Atomic, Molecular, and Optical Physics},
number = {4},
publisher = {American Physical Society},
title = {{Rotation of cold molecular ions inside a Bose-Einstein condensate}},
doi = {10.1103/PhysRevA.94.041601},
volume = {94},
year = {2016},
}
@article{1287,
abstract = {A planar waveguide with an impedance boundary, composed of nonperfect metallic plates, and with passive or active dielectric filling, is considered. We show the possibility of selective mode guiding and amplification when a homogeneous pump is added to the dielectric and analyze differences in TE and TM mode propagation. Such a non-conservative system is also shown to feature exceptional points for specific and experimentally tunable parameters, which are described for a particular case of transparent dielectric.},
author = {Midya, Bikashkali and Konotop, Vladimir},
journal = {Optics Letters},
number = {20},
pages = {4621 -- 4624},
publisher = {OSA},
title = {{Modes and exceptional points in waveguides with impedance boundary conditions}},
doi = {10.1364/OL.41.004621},
volume = {41},
year = {2016},
}
@article{1289,
abstract = {Aiming at the automatic diagnosis of tumors using narrow band imaging (NBI) magnifying endoscopic (ME) images of the stomach, we combine methods from image processing, topology, geometry, and machine learning to classify patterns into three classes: oval, tubular and irregular. Training the algorithm on a small number of images of each type, we achieve a high rate of correct classifications. The analysis of the learning algorithm reveals that a handful of geometric and topological features are responsible for the overwhelming majority of decisions.},
author = {Dunaeva, Olga and Edelsbrunner, Herbert and Lukyanov, Anton and Machin, Michael and Malkova, Daria and Kuvaev, Roman and Kashin, Sergey},
journal = {Pattern Recognition Letters},
number = {1},
pages = {13 -- 22},
publisher = {Elsevier},
title = {{The classification of endoscopy images with persistent homology}},
doi = {10.1016/j.patrec.2015.12.012},
volume = {83},
year = {2016},
}
@article{1290,
abstract = {We developed a competition-based screening strategy to identify compounds that invert the selective advantage of antibiotic resistance. Using our assay, we screened over 19,000 compounds for the ability to select against the TetA tetracycline-resistance efflux pump in Escherichia coli and identified two hits, β-thujaplicin and disulfiram. Treating a tetracycline-resistant population with β-thujaplicin selects for loss of the resistance gene, enabling an effective second-phase treatment with doxycycline.},
author = {Stone, Laura and Baym, Michael and Lieberman, Tami and Chait, Remy P and Clardy, Jon and Kishony, Roy},
journal = {Nature Chemical Biology},
number = {11},
pages = {902 -- 904},
publisher = {Nature Publishing Group},
title = {{Compounds that select against the tetracycline-resistance efflux pump}},
doi = {10.1038/nchembio.2176},
volume = {12},
year = {2016},
}
@article{1291,
abstract = {We consider Ising models in two and three dimensions, with short range ferromagnetic and long range, power-law decaying, antiferromagnetic interactions. We let J be the ratio between the strength of the ferromagnetic to antiferromagnetic interactions. The competition between these two kinds of interactions induces the system to form domains of minus spins in a background of plus spins, or vice versa. If the decay exponent p of the long range interaction is larger than dÂ +Â 1, with d the space dimension, this happens for all values of J smaller than a critical value Jc(p), beyond which the ground state is homogeneous. In this paper, we give a characterization of the infinite volume ground states of the system, for pÂ >Â 2d and J in a left neighborhood of Jc(p). In particular, we prove that the quasi-one-dimensional states consisting of infinite stripes (dÂ =Â 2) or slabs (dÂ =Â 3), all of the same optimal width and orientation, and alternating magnetization, are infinite volume ground states. Our proof is based on localization bounds combined with reflection positivity.},
author = {Giuliani, Alessandro and Seiringer, Robert},
journal = {Communications in Mathematical Physics},
number = {3},
pages = {983 -- 1007},
publisher = {Springer},
title = {{Periodic striped ground states in Ising models with competing interactions}},
doi = {10.1007/s00220-016-2665-0},
volume = {347},
year = {2016},
}
@article{1292,
abstract = {We give explicit formulas and algorithms for the computation of the Thurston–Bennequin invariant of a nullhomologous Legendrian knot on a page of a contact open book and on Heegaard surfaces in convex position. Furthermore, we extend the results to rationally nullhomologous knots in arbitrary 3-manifolds.},
author = {Durst, Sebastian and Kegel, Marc and Klukas, Mirko D},
journal = {Acta Mathematica Hungarica},
number = {2},
pages = {441 -- 455},
publisher = {Springer},
title = {{Computing the Thurston–Bennequin invariant in open books}},
doi = {10.1007/s10474-016-0648-4},
volume = {150},
year = {2016},
}
@article{1293,
abstract = {For a graph G with p vertices the closed convex cone S⪰0(G) consists of all real positive semidefinite p×p matrices whose sparsity pattern is given by G, that is, those matrices with zeros in the off-diagonal entries corresponding to nonedges of G. The extremal rays of this cone and their associated ranks have applications to matrix completion problems, maximum likelihood estimation in Gaussian graphical models in statistics, and Gauss elimination for sparse matrices. While the maximum rank of an extremal ray in S⪰0(G), known as the sparsity order of G, has been characterized for different classes of graphs, we here study all possible extremal ranks of S⪰0(G). We investigate when the geometry of the (±1)-cut polytope of G yields a polyhedral characterization of the set of extremal ranks of S⪰0(G). For a graph G without K5 minors, we show that appropriately chosen normal vectors to the facets of the (±1)-cut polytope of G specify the off-diagonal entries of extremal matrices in S⪰0(G). We also prove that for appropriately chosen scalars the constant term of the linear equation of each facet-supporting hyperplane is the rank of its corresponding extremal matrix in S⪰0(G). Furthermore, we show that if G is series-parallel then this gives a complete characterization of all possible extremal ranks of S⪰0(G). Consequently, the sparsity order problem for series-parallel graphs can be solved in terms of polyhedral geometry.},
author = {Solus, Liam T and Uhler, Caroline and Yoshida, Ruriko},
journal = {Linear Algebra and Its Applications},
pages = {247 -- 275},
publisher = {Elsevier},
title = {{Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors}},
doi = {10.1016/j.laa.2016.07.026},
volume = {509},
year = {2016},
}
@article{1318,
abstract = {We develop a large-scale regularity theory of higher order for divergence-form elliptic equations with heterogeneous coefficient fields a in the context of stochastic homogenization. The large-scale regularity of a-harmonic functions is encoded by Liouville principles: The space of a-harmonic functions that grow at most like a polynomial of degree k has the same dimension as in the constant-coefficient case. This result can be seen as the qualitative side of a large-scale Ck,α-regularity theory, which in the present work is developed in the form of a corresponding Ck,α-“excess decay” estimate: For a given a-harmonic function u on a ball BR, its energy distance on some ball Br to the above space of a-harmonic functions that grow at most like a polynomial of degree k has the natural decay in the radius r above some minimal radius r0. Though motivated by stochastic homogenization, the contribution of this paper is of purely deterministic nature: We work under the assumption that for the given realization a of the coefficient field, the couple (φ, σ) of scalar and vector potentials of the harmonic coordinates, where φ is the usual corrector, grows sublinearly in a mildly quantified way. We then construct “kth-order correctors” and thereby the space of a-harmonic functions that grow at most like a polynomial of degree k, establish the above excess decay, and then the corresponding Liouville principle.},
author = {Julian Fischer and Otto, Felix},
journal = {Communications in Partial Differential Equations},
number = {7},
pages = {1108 -- 1148},
publisher = {Taylor & Francis},
title = {{A higher-order large scale regularity theory for random elliptic operators}},
doi = {10.1080/03605302.2016.1179318},
volume = {41},
year = {2016},
}
@article{1322,
abstract = {Direct reciprocity is a major mechanism for the evolution of cooperation. Several classical studies have suggested that humans should quickly learn to adopt reciprocal strategies to establish mutual cooperation in repeated interactions. On the other hand, the recently discovered theory of ZD strategies has found that subjects who use extortionate strategies are able to exploit and subdue cooperators. Although such extortioners have been predicted to succeed in any population of adaptive opponents, theoretical follow-up studies questioned whether extortion can evolve in reality. However, most of these studies presumed that individuals have similar strategic possibilities and comparable outside options, whereas asymmetries are ubiquitous in real world applications. Here we show with a model and an economic experiment that extortionate strategies readily emerge once subjects differ in their strategic power. Our experiment combines a repeated social dilemma with asymmetric partner choice. In our main treatment there is one randomly chosen group member who is unilaterally allowed to exchange one of the other group members after every ten rounds of the social dilemma. We find that this asymmetric replacement opportunity generally promotes cooperation, but often the resulting payoff distribution reflects the underlying power structure. Almost half of the subjects in a better strategic position turn into extortioners, who quickly proceed to exploit their peers. By adapting their cooperation probabilities consistent with ZD theory, extortioners force their co-players to cooperate without being similarly cooperative themselves. Comparison to non-extortionate players under the same conditions indicates a substantial net gain to extortion. Our results thus highlight how power asymmetries can endanger mutually beneficial interactions, and transform them into exploitative relationships. In particular, our results indicate that the extortionate strategies predicted from ZD theory could play a more prominent role in our daily interactions than previously thought.},
author = {Hilbe, Christian and Hagel, Kristin and Milinski, Manfred},
journal = {PLoS One},
number = {10},
publisher = {Public Library of Science},
title = {{Asymmetric power boosts extortion in an economic experiment}},
doi = {10.1371/journal.pone.0163867},
volume = {11},
year = {2016},
}
@article{1323,
abstract = {Mossy fiber synapses on CA3 pyramidal cells are 'conditional detonators' that reliably discharge postsynaptic targets. The 'conditional' nature implies that burst activity in dentate gyrus granule cells is required for detonation. Whether single unitary excitatory postsynaptic potentials (EPSPs) trigger spikes in CA3 neurons remains unknown. Mossy fiber synapses exhibit both pronounced short-term facilitation and uniquely large post-tetanic potentiation (PTP). We tested whether PTP could convert mossy fiber synapses from subdetonator into detonator mode, using a recently developed method to selectively and noninvasively stimulate individual presynaptic terminals in rat brain slices. Unitary EPSPs failed to initiate a spike in CA3 neurons under control conditions, but reliably discharged them after induction of presynaptic short-term plasticity. Remarkably, PTP switched mossy fiber synapses into full detonators for tens of seconds. Plasticity-dependent detonation may be critical for efficient coding, storage, and recall of information in the granule cell–CA3 cell network.},
author = {Vyleta, Nicholas and Borges Merjane, Carolina and Jonas, Peter M},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses}},
doi = {10.7554/eLife.17977},
volume = {5},
year = {2016},
}
@inproceedings{1325,
abstract = {We study graphs and two-player games in which rewards are assigned to states, and the goal of the players is to satisfy or dissatisfy certain property of the generated outcome, given as a mean payoff property. Since the notion of mean-payoff does not reflect possible fluctuations from the mean-payoff along a run, we propose definitions and algorithms for capturing the stability of the system, and give algorithms for deciding if a given mean payoff and stability objective can be ensured in the system.},
author = {Brázdil, Tomáš and Forejt, Vojtěch and Kučera, Antonín and Novotny, Petr},
location = {Quebec City, Canada},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Stability in graphs and games}},
doi = {10.4230/LIPIcs.CONCUR.2016.10},
volume = {59},
year = {2016},
}
@inproceedings{1326,
abstract = {Energy Markov Decision Processes (EMDPs) are finite-state Markov decision processes where each transition is assigned an integer counter update and a rational payoff. An EMDP configuration is a pair s(n), where s is a control state and n is the current counter value. The configurations are changed by performing transitions in the standard way. We consider the problem of computing a safe strategy (i.e., a strategy that keeps the counter non-negative) which maximizes the expected mean payoff. },
author = {Brázdil, Tomáš and Kučera, Antonín and Novotny, Petr},
location = {Chiba, Japan},
pages = {32 -- 49},
publisher = {Springer},
title = {{Optimizing the expected mean payoff in Energy Markov Decision Processes}},
doi = {10.1007/978-3-319-46520-3_3},
volume = {9938},
year = {2016},
}
@inproceedings{1327,
abstract = {We consider partially observable Markov decision processes (POMDPs) with a set of target states and positive integer costs associated with every transition. The traditional optimization objective (stochastic shortest path) asks to minimize the expected total cost until the target set is reached. We extend the traditional framework of POMDPs to model energy consumption, which represents a hard constraint. The energy levels may increase and decrease with transitions, and the hard constraint requires that the energy level must remain positive in all steps till the target is reached. First, we present a novel algorithm for solving POMDPs with energy levels, developing on existing POMDP solvers and using RTDP as its main method. Our second contribution is related to policy representation. For larger POMDP instances the policies computed by existing solvers are too large to be understandable. We present an automated procedure based on machine learning techniques that automatically extracts important decisions of the policy allowing us to compute succinct human readable policies. Finally, we show experimentally that our algorithm performs well and computes succinct policies on a number of POMDP instances from the literature that were naturally enhanced with energy levels. },
author = {Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Gupta, Anchit and Novotny, Petr},
booktitle = {Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems},
location = {Singapore},
pages = {1465 -- 1466},
publisher = {ACM},
title = {{Stochastic shortest path with energy constraints in POMDPs}},
year = {2016},
}
@article{1328,
abstract = {Hole spins have gained considerable interest in the past few years due to their potential for fast electrically controlled qubits. Here, we study holes confined in Ge hut wires, a so-far unexplored type of nanostructure. Low-temperature magnetotransport measurements reveal a large anisotropy between the in-plane and out-of-plane g-factors of up to 18. Numerical simulations verify that this large anisotropy originates from a confined wave function of heavy-hole character. A light-hole admixture of less than 1% is estimated for the states of lowest energy, leading to a surprisingly large reduction of the out-of-plane g-factors compared with those for pure heavy holes. Given this tiny light-hole contribution, the spin lifetimes are expected to be very long, even in isotopically nonpurified samples.},
author = {Watzinger, Hannes and Kloeffel, Christoph and Vukusic, Lada and Rossell, Marta and Sessi, Violetta and Kukucka, Josip and Kirchschlager, Raimund and Lausecker, Elisabeth and Truhlar, Alisha and Glaser, Martin and Rastelli, Armando and Fuhrer, Andreas and Loss, Daniel and Katsaros, Georgios},
journal = {Nano Letters},
number = {11},
pages = {6879 -- 6885},
publisher = {American Chemical Society},
title = {{Heavy-hole states in germanium hut wires}},
doi = {10.1021/acs.nanolett.6b02715},
volume = {16},
year = {2016},
}
@article{1329,
abstract = {Daphnia species have become models for ecological genomics and exhibit interesting features, such as high phenotypic plasticity and a densely packed genome with many lineage-specific genes. They are also cyclic parthenogenetic, with alternating asexual and sexual cycles and environmental sex determination. Here, we present a de novo transcriptome assembly of over 32,000 D. galeata genes and use it to investigate gene expression in females and spontaneously produced males of two clonal lines derived from lakes in Germany and the Czech Republic. We find that only a low percentage (18%) of genes shows sex-biased expression and that there are many more female-biased gene (FBG) than male-biased gene (MBG). Furthermore, FBGs tend to be more conserved between species than MBGs in both sequence and expression. These patterns may be a consequence of cyclic parthenogenesis leading to a relaxation of purifying selection on MBGs. The two clonal lines show considerable differences in both number and identity of sex-biased genes, suggesting that they may have reproductive strategies differing in their investment in sexual reproduction. Orthologs of key genes in the sex determination and juvenile hormone pathways, which are thought to be important for the transition from asexual to sexual reproduction, are present in D. galeata and highly conserved among Daphnia species.},
author = {Huylmans, Ann K and López Ezquerra, Alberto and Parsch, John and Cordellier, Mathilde},
journal = {Genome Biology and Evolution},
number = {10},
pages = {3120 -- 3139},
publisher = {Oxford University Press},
title = {{De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata}},
doi = {10.1093/gbe/evw221},
volume = {8},
year = {2016},
}