@article{6053,
abstract = {Recent technical developments in the fields of quantum electromechanics and optomechanics have spawned nanoscale mechanical transducers with the sensitivity to measure mechanical displacements at the femtometre scale and the ability to convert electromagnetic signals at the single photon level. A key challenge in this field is obtaining strong coupling between motion and electromagnetic fields without adding additional decoherence. Here we present an electromechanical transducer that integrates a high-frequency (0.42 GHz) hypersonic phononic crystal with a superconducting microwave circuit. The use of a phononic bandgap crystal enables quantum-level transduction of hypersonic mechanical motion and concurrently eliminates decoherence caused by acoustic radiation. Devices with hypersonic mechanical frequencies provide a natural pathway for integration with Josephson junction quantum circuits, a leading quantum computing technology, and nanophotonic systems capable of optical networking and distributing quantum information.},
author = {Kalaee, Mahmoud and Mirhosseini, Mohammad and Dieterle, Paul B. and Peruzzo, Matilda and Fink, Johannes M and Painter, Oskar},
issn = {1748-3395},
journal = {Nature Nanotechnology},
number = {4},
pages = {334–339},
publisher = {Springer Nature},
title = {{Quantum electromechanics of a hypersonic crystal}},
doi = {10.1038/s41565-019-0377-2},
volume = {14},
year = {2019},
}
@article{6091,
abstract = {Cortical networks are characterized by sparse connectivity, with synapses found at only a subset of axo-dendritic contacts. Yet within these networks, neurons can exhibit high connection probabilities, suggesting that cell-intrinsic factors, not proximity, determine connectivity. Here, we identify ephrin-B3 (eB3) as a factor that determines synapse density by mediating a cell-cell competition that requires ephrin-B-EphB signaling. In a microisland culture system designed to isolate cell-cell competition, we find that eB3 determines winning and losing neurons in a contest for synapses. In a Mosaic Analysis with Double Markers (MADM) genetic mouse model system in vivo the relative levels of eB3 control spine density in layer 5 and 6 neurons. MADM cortical neurons in vitro reveal that eB3 controls synapse density independently of action potential-driven activity. Our findings illustrate a new class of competitive mechanism mediated by trans-synaptic organizing proteins which control the number of synapses neurons receive relative to neighboring neurons.},
author = {Henderson, Nathan T. and Le Marchand, Sylvain J. and Hruska, Martin and Hippenmeyer, Simon and Luo, Liqun and Dalva, Matthew B.},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs}},
doi = {10.7554/eLife.41563},
volume = {8},
year = {2019},
}
@article{6351,
abstract = {A process of restorative patterning in plant roots correctly replaces eliminated cells to heal local injuries despite the absence of cell migration, which underpins wound healing in animals.
Patterning in plants relies on oriented cell divisions and acquisition of specific cell identities. Plants regularly endure wounds caused by abiotic or biotic environmental stimuli and have developed extraordinary abilities to restore their tissues after injuries. Here, we provide insight into a mechanism of restorative patterning that repairs tissues after wounding. Laser-assisted elimination of different cells in Arabidopsis root combined with live-imaging tracking during vertical growth allowed analysis of the regeneration processes in vivo. Specifically, the cells adjacent to the inner side of the injury re-activated their stem cell transcriptional programs. They accelerated their progression through cell cycle, coordinately changed the cell division orientation, and ultimately acquired de novo the correct cell fates to replace missing cells. These observations highlight existence of unknown intercellular positional signaling and demonstrate the capability of specified cells to re-acquire stem cell programs as a crucial part of the plant-specific mechanism of wound healing.},
author = {Marhavá, Petra and Hörmayer, Lukas and Yoshida, Saiko and Marhavy, Peter and Benková, Eva and Friml, Jiří},
issn = {10974172},
journal = {Cell},
number = {4},
pages = {957--969.e13},
publisher = {Elsevier},
title = {{Re-activation of stem cell pathways for pattern restoration in plant wound healing}},
doi = {10.1016/j.cell.2019.04.015},
volume = {177},
year = {2019},
}
@unpublished{6313,
abstract = {We prove three principal results. First we exhibit a drawing of $K_{10}$ in the plane for which there do not exist extensions of the edges to simple closed curves with any two curves intersecting at most twice. Second, we exhibit a drawing of $K_9$ that has an extension of its edges to simple closed curves such that any two curves intersect in at most two points, but no extension to simple closed curves has every two curves intersecting in exactly two points. Third, we show that every h-convex drawing (introduced by Arroyo et al, submitted) has extensions of its edges to simple closed curves such that any two curves intersect in exactly two points. Using this result, we show that} a set of three axioms of simple closed curve extensions characterizes h-convexity.},
author = {Arroyo Guevara, Alan M and Richter, Bruce and Sunohara, Matthew},
pages = {35},
title = {{Extending drawings of complete graphs into arrangements of pseudocircles}},
year = {2019},
}
@article{6262,
abstract = {Gravitropism is an adaptive response that orients plant growth parallel to the gravity vector. Asymmetric
distribution of the phytohormone auxin is a necessary prerequisite to the tropic bending both in roots and
shoots. During hypocotyl gravitropic response, the PIN3 auxin transporter polarizes within gravity-sensing
cells to redirect intercellular auxin fluxes. First gravity-induced PIN3 polarization to the bottom cell mem-
branes leads to the auxin accumulation at the lower side of the organ, initiating bending and, later, auxin
feedback-mediated repolarization restores symmetric auxin distribution to terminate bending. Here, we per-
formed a forward genetic screen to identify regulators of both PIN3 polarization events during gravitropic
response. We searched for mutants with defective PIN3 polarizations based on easy-to-score morphological
outputs of decreased or increased gravity-induced hypocotyl bending. We identified the number of
hypocotyl reduced bending (hrb) and hypocotyl hyperbending (hhb) mutants, revealing that reduced bending corre-
lated typically with defective gravity-induced PIN3 relocation whereas all analyzed hhb mutants showed
defects in the second, auxin-mediated PIN3 relocation. Next-generation sequencing-aided mutation map-
ping identified several candidate genes, including SCARECROW and ACTIN2, revealing roles of endodermis
specification and actin cytoskeleton in the respective gravity- and auxin-induced PIN polarization events.
The hypocotyl gravitropism screen thus promises to provide novel insights into mechanisms underlying cell
polarity and plant adaptive development.},
author = {Rakusová, Hana and Han, Huibin and Valošek, Petr and Friml, Jiří},
issn = {1365-313x},
journal = {The Plant Journal},
number = {6},
pages = {1048--1059},
publisher = {Wiley},
title = {{Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls}},
doi = {10.1111/tpj.14301},
volume = {98},
year = {2019},
}
@article{6488,
abstract = {We prove a central limit theorem for the difference of linear eigenvalue statistics of a sample covariance matrix W˜ and its minor W. We find that the fluctuation of this difference is much smaller than those of the individual linear statistics, as a consequence of the strong correlation between the eigenvalues of W˜ and W. Our result identifies the fluctuation of the spatial derivative of the approximate Gaussian field in the recent paper by Dumitru and Paquette. Unlike in a similar result for Wigner matrices, for sample covariance matrices, the fluctuation may entirely vanish.},
author = {Cipolloni, Giorgio and Erdös, László},
issn = {20103271},
journal = {Random Matrices: Theory and Application},
publisher = {World Scientific Publishing},
title = {{Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices}},
doi = {10.1142/S2010326320500069},
year = {2019},
}
@inproceedings{6490,
abstract = {Smart contracts are programs that are stored and executed on the Blockchain and can receive, manage and transfer money (cryptocurrency units). Two important problems regarding smart contracts are formal analysis and compiler optimization. Formal analysis is extremely important, because smart contracts hold funds worth billions of dollars and their code is immutable after deployment. Hence, an undetected bug can cause significant financial losses. Compiler optimization is also crucial, because every action of a smart contract has to be executed by every node in the Blockchain network. Therefore, optimizations in compiling smart contracts can lead to significant savings in computation, time and energy.
Two classical approaches in program analysis and compiler optimization are intraprocedural and interprocedural analysis. In intraprocedural analysis, each function is analyzed separately, while interprocedural analysis considers the entire program. In both cases, the analyses are usually reduced to graph problems over the control flow graph (CFG) of the program. These graph problems are often computationally expensive. Hence, there has been ample research on exploiting structural properties of CFGs for efficient algorithms. One such well-studied property is the treewidth, which is a measure of tree-likeness of graphs. It is known that intraprocedural CFGs of structured programs have treewidth at most 6, whereas the interprocedural treewidth cannot be bounded. This result has been used as a basis for many efficient intraprocedural analyses.
In this paper, we explore the idea of exploiting the treewidth of smart contracts for formal analysis and compiler optimization. First, similar to classical programs, we show that the intraprocedural treewidth of structured Solidity and Vyper smart contracts is at most 9. Second, for global analysis, we prove that the interprocedural treewidth of structured smart contracts is bounded by 10 and, in sharp contrast with classical programs, treewidth-based algorithms can be easily applied for interprocedural analysis. Finally, we supplement our theoretical results with experiments using a tool we implemented for computing treewidth of smart contracts and show that the treewidth is much lower in practice. We use 36,764 real-world Ethereum smart contracts as benchmarks and find that they have an average treewidth of at most 3.35 for the intraprocedural case and 3.65 for the interprocedural case.
},
author = {Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Goharshady, Ehsan Kafshdar},
booktitle = {Proceedings of the 34th ACM Symposium on Applied Computing},
isbn = {9781450359337},
location = {Limassol, Cyprus},
pages = {400--408},
publisher = {ACM},
title = {{The treewidth of smart contracts}},
doi = {10.1145/3297280.3297322},
volume = {Part F147772},
year = {2019},
}
@article{6419,
abstract = {Characterizing the fitness landscape, a representation of fitness for a large set of genotypes, is key to understanding how genetic information is interpreted to create functional organisms. Here we determined the evolutionarily-relevant segment of the fitness landscape of His3, a gene coding for an enzyme in the histidine synthesis pathway, focusing on combinations of amino acid states found at orthologous sites of extant species. Just 15% of amino acids found in yeast His3 orthologues were always neutral while the impact on fitness of the remaining 85% depended on the genetic background. Furthermore, at 67% of sites, amino acid replacements were under sign epistasis, having both strongly positive and negative effect in different genetic backgrounds. 46% of sites were under reciprocal sign epistasis. The fitness impact of amino acid replacements was influenced by only a few genetic backgrounds but involved interaction of multiple sites, shaping a rugged fitness landscape in which many of the shortest paths between highly fit genotypes are inaccessible.},
author = {Pokusaeva, Victoria and Usmanova, Dinara R. and Putintseva, Ekaterina V. and Espinar, Lorena and Sarkisyan, Karen and Mishin, Alexander S. and Bogatyreva, Natalya S. and Ivankov, Dmitry and Akopyan, Arseniy and Avvakumov, Sergey and Povolotskaya, Inna S. and Filion, Guillaume J. and Carey, Lucas B. and Kondrashov, Fyodor},
issn = {15537404},
journal = {PLoS Genetics},
number = {4},
publisher = {Public Library of Science},
title = {{An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape}},
doi = {10.1371/journal.pgen.1008079},
volume = {15},
year = {2019},
}
@misc{6060,
author = {Vicoso, Beatriz},
publisher = {IST Austria},
title = {{Supplementary data for "Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome" (Huylman, Toups et al., 2019). }},
doi = {10.15479/AT:ISTA:6060},
year = {2019},
}
@article{6596,
abstract = {It is well known that many problems in image recovery, signal processing, and machine learning can be modeled as finding zeros of the sum of maximal monotone and Lipschitz continuous monotone operators. Many papers have studied forward-backward splitting methods for finding zeros of the sum of two monotone operators in Hilbert spaces. Most of the proposed splitting methods in the literature have been proposed for the sum of maximal monotone and inverse-strongly monotone operators in Hilbert spaces. In this paper, we consider splitting methods for finding zeros of the sum of maximal monotone operators and Lipschitz continuous monotone operators in Banach spaces. We obtain weak and strong convergence results for the zeros of the sum of maximal monotone and Lipschitz continuous monotone operators in Banach spaces. Many already studied problems in the literature can be considered as special cases of this paper.},
author = {Shehu, Yekini},
issn = {1420-9012},
journal = {Results in Mathematics},
number = {4},
publisher = {Springer},
title = {{Convergence results of forward-backward algorithms for sum of monotone operators in Banach spaces}},
doi = {10.1007/s00025-019-1061-4},
volume = {74},
year = {2019},
}