@article{10146, abstract = {The enzymes of the mitochondrial electron transport chain are key players of cell metabolism. Despite being active when isolated, in vivo they associate into supercomplexes1, whose precise role is debated. Supercomplexes CIII2CIV1-2 (refs. 2,3), CICIII2 (ref. 4) and CICIII2CIV (respirasome)5,6,7,8,9,10 exist in mammals, but in contrast to CICIII2 and the respirasome, to date the only known eukaryotic structures of CIII2CIV1-2 come from Saccharomyces cerevisiae11,12 and plants13, which have different organization. Here we present the first, to our knowledge, structures of mammalian (mouse and ovine) CIII2CIV and its assembly intermediates, in different conformations. We describe the assembly of CIII2CIV from the CIII2 precursor to the final CIII2CIV conformation, driven by the insertion of the N terminus of the assembly factor SCAF1 (ref. 14) deep into CIII2, while its C terminus is integrated into CIV. Our structures (which include CICIII2 and the respirasome) also confirm that SCAF1 is exclusively required for the assembly of CIII2CIV and has no role in the assembly of the respirasome. We show that CIII2 is asymmetric due to the presence of only one copy of subunit 9, which straddles both monomers and prevents the attachment of a second copy of SCAF1 to CIII2, explaining the presence of one copy of CIV in CIII2CIV in mammals. Finally, we show that CIII2 and CIV gain catalytic advantage when assembled into the supercomplex and propose a role for CIII2CIV in fine tuning the efficiency of electron transfer in the electron transport chain.}, author = {Vercellino, Irene and Sazanov, Leonid A}, issn = {1476-4687}, journal = {Nature}, number = {7880}, pages = {364--367}, publisher = {Springer Nature}, title = {{Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV}}, doi = {10.1038/s41586-021-03927-z}, volume = {598}, year = {2021}, } @inproceedings{10148, abstract = {Tactile feedback of an object’s surface enables us to discern its material properties and affordances. This understanding is used in digital fabrication processes by creating objects with high-resolution surface variations to influence a user’s tactile perception. As the design of such surface haptics commonly relies on knowledge from real-life experiences, it is unclear how to adapt this information for digital design methods. In this work, we investigate replicating the haptics of real materials. Using an existing process for capturing an object’s microgeometry, we digitize and reproduce the stable surface information of a set of 15 fabric samples. In a psychophysical experiment, we evaluate the tactile qualities of our set of original samples and their replicas. From our results, we see that direct reproduction of surface variations is able to influence different psychophysical dimensions of the tactile perception of surface textures. While the fabrication process did not preserve all properties, our approach underlines that replication of surface microgeometries benefits fabrication methods in terms of haptic perception by covering a large range of tactile variations. Moreover, by changing the surface structure of a single fabricated material, its material perception can be influenced. We conclude by proposing strategies for capturing and reproducing digitized textures to better resemble the perceived haptics of the originals.}, author = {Degraen, Donald and Piovarci, Michael and Bickel, Bernd and Kruger, Antonio}, booktitle = {34th Annual ACM Symposium}, isbn = {978-1-4503-8635-7}, location = {Virtual}, pages = {954--971}, publisher = {Association for Computing Machinery}, title = {{Capturing tactile properties of real surfaces for haptic reproduction}}, doi = {10.1145/3472749.3474798}, year = {2021}, } @article{10153, abstract = {Gradual typing is a principled means for mixing typed and untyped code. But typed and untyped code often exhibit different programming patterns. There is already substantial research investigating gradually giving types to code exhibiting typical untyped patterns, and some research investigating gradually removing types from code exhibiting typical typed patterns. This paper investigates how to extend these established gradual-typing concepts to give formal guarantees not only about how to change types as code evolves but also about how to change such programming patterns as well. In particular, we explore mixing untyped "structural" code with typed "nominal" code in an object-oriented language. But whereas previous work only allowed "nominal" objects to be treated as "structural" objects, we also allow "structural" objects to dynamically acquire certain nominal types, namely interfaces. We present a calculus that supports such "cross-paradigm" code migration and interoperation in a manner satisfying both the static and dynamic gradual guarantees, and demonstrate that the calculus can be implemented efficiently.}, author = {Mühlböck, Fabian and Tate, Ross}, issn = {2475-1421}, journal = {Proceedings of the ACM on Programming Languages}, keywords = {gradual typing, gradual guarantee, nominal, structural, call tags}, location = {Chicago, IL, United States}, publisher = {Association for Computing Machinery}, title = {{Transitioning from structural to nominal code with efficient gradual typing}}, doi = {10.1145/3485504}, volume = {5}, year = {2021}, } @article{10163, abstract = {The C-terminal domain (CTD) of the largest subunit of RNA polymerase II (Pol II) is a regulatory hub for transcription and RNA processing. Here, we identify PHD-finger protein 3 (PHF3) as a regulator of transcription and mRNA stability that docks onto Pol II CTD through its SPOC domain. We characterize SPOC as a CTD reader domain that preferentially binds two phosphorylated Serine-2 marks in adjacent CTD repeats. PHF3 drives liquid-liquid phase separation of phosphorylated Pol II, colocalizes with Pol II clusters and tracks with Pol II across the length of genes. PHF3 knock-out or SPOC deletion in human cells results in increased Pol II stalling, reduced elongation rate and an increase in mRNA stability, with marked derepression of neuronal genes. Key neuronal genes are aberrantly expressed in Phf3 knock-out mouse embryonic stem cells, resulting in impaired neuronal differentiation. Our data suggest that PHF3 acts as a prominent effector of neuronal gene regulation by bridging transcription with mRNA decay.}, author = {Appel, Lisa-Marie and Franke, Vedran and Bruno, Melania and Grishkovskaya, Irina and Kasiliauskaite, Aiste and Kaufmann, Tanja and Schoeberl, Ursula E. and Puchinger, Martin G. and Kostrhon, Sebastian and Ebenwaldner, Carmen and Sebesta, Marek and Beltzung, Etienne and Mechtler, Karl and Lin, Gen and Vlasova, Anna and Leeb, Martin and Pavri, Rushad and Stark, Alexander and Akalin, Altuna and Stefl, Richard and Bernecky, Carrie A and Djinovic-Carugo, Kristina and Slade, Dea}, issn = {2041-1723}, journal = {Nature Communications}, keywords = {general physics and astronomy, general biochemistry, genetics and molecular biology, general chemistry}, number = {1}, publisher = {Springer Nature}, title = {{PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC}}, doi = {10.1038/s41467-021-26360-2}, volume = {12}, year = {2021}, } @article{10166, abstract = {While sexual reproduction is widespread among many taxa, asexual lineages have repeatedly evolved from sexual ancestors. Despite extensive research on the evolution of sex, it is still unclear whether this switch represents a major transition requiring major molecular reorganization, and how convergent the changes involved are. In this study, we investigated the phylogenetic relationship and patterns of gene expression of sexual and asexual lineages of Eurasian Artemia brine shrimp, to assess how gene expression patterns are affected by the transition to asexuality. We find only a few genes that are consistently associated with the evolution of asexuality, suggesting that this shift may not require an extensive overhauling of the meiotic machinery. While genes with sex-biased expression have high rates of expression divergence within Eurasian Artemia, neither female- nor male-biased genes appear to show unusual evolutionary patterns after sexuality is lost, contrary to theoretical expectations.}, author = {Huylmans, Ann K and Macon, Ariana and Hontoria, Francisco and Vicoso, Beatriz}, issn = {1471-2954}, journal = {Proceedings of the Royal Society B: Biological Sciences}, keywords = {asexual reproduction, parthenogenesis, sex-biased genes, sexual conflict, automixis, crustaceans}, number = {1959}, publisher = {The Royal Society}, title = {{Transitions to asexuality and evolution of gene expression in Artemia brine shrimp}}, doi = {10.1098/rspb.2021.1720}, volume = {288}, year = {2021}, } @article{10167, abstract = {Schistosomes, the human parasites responsible for snail fever, are female-heterogametic. Different parts of their ZW sex chromosomes have stopped recombining in distinct lineages, creating “evolutionary strata” of various ages. Although the Z-chromosome is well characterized at the genomic and molecular level, the W-chromosome has remained largely unstudied from an evolutionary perspective, as only a few W-linked genes have been detected outside of the model species Schistosoma mansoni. Here, we characterize the gene content and evolution of the W-chromosomes of S. mansoni and of the divergent species S. japonicum. We use a combined RNA/DNA k-mer based pipeline to assemble around 100 candidate W-specific transcripts in each of the species. About half of them map to known protein coding genes, the majority homologous to S. mansoni Z-linked genes. We perform an extended analysis of the evolutionary strata present in the two species (including characterizing a previously undetected young stratum in S. japonicum) to infer patterns of sequence and expression evolution of W-linked genes at different time points after recombination was lost. W-linked genes show evidence of degeneration, including high rates of protein evolution and reduced expression. Most are found in young lineage-specific strata, with only a few high expression ancestral W-genes remaining, consistent with the progressive erosion of nonrecombining regions. Among these, the splicing factor u2af2 stands out as a promising candidate for primary sex determination, opening new avenues for understanding the molecular basis of the reproductive biology of this group.}, author = {Elkrewi, Marwan N and Moldovan, Mikhail A. and Picard, Marion A L and Vicoso, Beatriz}, issn = {1537-1719}, journal = {Molecular Biology and Evolution}, keywords = {sex chromosomes, evolutionary strata, W-linked gene, sex determining gene, schistosome parasites}, publisher = {Oxford University Press }, title = {{Schistosome W-Linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination}}, doi = {10.1093/molbev/msab178}, year = {2021}, } @unpublished{10174, abstract = {Quantitative stochastic homogenization of linear elliptic operators is by now well-understood. In this contribution we move forward to the nonlinear setting of monotone operators with p-growth. This first work is dedicated to a quantitative two-scale expansion result. Fluctuations will be addressed in companion articles. By treating the range of exponents 2≤p<∞ in dimensions d≤3, we are able to consider genuinely nonlinear elliptic equations and systems such as −∇⋅A(x)(1+|∇u|p−2)∇u=f (with A random, non-necessarily symmetric) for the first time. When going from p=2 to p>2, the main difficulty is to analyze the associated linearized operator, whose coefficients are degenerate, unbounded, and depend on the random input A via the solution of a nonlinear equation. One of our main achievements is the control of this intricate nonlinear dependence, leading to annealed Meyers' estimates for the linearized operator, which are key to the quantitative two-scale expansion result.}, author = {Clozeau, Nicolas and Gloria, Antoine}, booktitle = {arXiv}, title = {{Quantitative nonlinear homogenization: control of oscillations}}, year = {2021}, } @article{10176, abstract = {We give a combinatorial model for r-spin surfaces with parameterized boundary based on Novak (“Lattice topological field theories in two dimensions,” Ph.D. thesis, Universität Hamburg, 2015). The r-spin structure is encoded in terms of ℤ𝑟-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state-sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topological field theory computes the Arf-invariant of an r-spin surface as introduced by Randal-Williams [J. Topol. 7, 155 (2014)] and Geiges et al. [Osaka J. Math. 49, 449 (2012)]. This implies, in particular, that the r-spin Arf-invariant is constant on orbits of the mapping class group, providing an alternative proof of that fact.}, author = {Runkel, Ingo and Szegedy, Lorant}, issn = {00222488}, journal = {Journal of Mathematical Physics}, number = {10}, publisher = {AIP Publishing}, title = {{Topological field theory on r-spin surfaces and the Arf-invariant}}, doi = {10.1063/5.0037826}, volume = {62}, year = {2021}, } @article{10177, abstract = {Phonon polaritons (PhPs)—light coupled to lattice vibrations—with in-plane hyperbolic dispersion exhibit ray-like propagation with large wave vectors and enhanced density of optical states along certain directions on a surface. As such, they have raised a surge of interest, promising unprecedented manipulation of infrared light at the nanoscale in a planar circuitry. Here, we demonstrate focusing of in-plane hyperbolic PhPs propagating along thin slabs of α-MoO3. To that end, we developed metallic nanoantennas of convex geometries for both efficient launching and focusing of the polaritons. The foci obtained exhibit enhanced near-field confinement and absorption compared to foci produced by in-plane isotropic PhPs. Foci sizes as small as λp/4.5 = λ0/50 were achieved (λp is the polariton wavelength and λ0 is the photon wavelength). Focusing of in-plane hyperbolic polaritons introduces a first and most basic building block developing planar polariton optics using in-plane anisotropic van der Waals materials.}, author = {Martín-Sánchez, Javier and Duan, Jiahua and Taboada-Gutiérrez, Javier and Álvarez-Pérez, Gonzalo and Voronin, Kirill V. and Prieto Gonzalez, Ivan and Ma, Weiliang and Bao, Qiaoliang and Volkov, Valentyn S. and Hillenbrand, Rainer and Nikitin, Alexey Y. and Alonso-González, Pablo}, issn = {23752548}, journal = {Science Advances}, number = {41}, publisher = {American Association for the Advancement of Science}, title = {{Focusing of in-plane hyperbolic polaritons in van der Waals crystals with tailored infrared nanoantennas}}, doi = {10.1126/sciadv.abj0127}, volume = {7}, year = {2021}, } @article{10178, abstract = {In dense biological tissues, cell types performing different roles remain segregated by maintaining sharp interfaces. To better understand the mechanisms for such sharp compartmentalization, we study the effect of an imposed heterotypic tension at the interface between two distinct cell types in a fully 3D Voronoi model for confluent tissues. We find that cells rapidly sort and self-organize to generate a tissue-scale interface between cell types, and cells adjacent to this interface exhibit signature geometric features including nematic-like ordering, bimodal facet areas, and registration, or alignment, of cell centers on either side of the two-tissue interface. The magnitude of these features scales directly with the magnitude of the imposed tension, suggesting that biologists can estimate the magnitude of tissue surface tension between two tissue types simply by segmenting a 3D tissue. To uncover the underlying physical mechanisms driving these geometric features, we develop two minimal, ordered models using two different underlying lattices that identify an energetic competition between bulk cell shapes and tissue interface area. When the interface area dominates, changes to neighbor topology are costly and occur less frequently, which generates the observed geometric features.}, author = {Sahu, Preeti and Schwarz, J. M. and Manning, M. Lisa}, issn = {13672630}, journal = {New Journal of Physics}, number = {9}, publisher = {IOP Publishing}, title = {{Geometric signatures of tissue surface tension in a three-dimensional model of confluent tissue}}, doi = {10.1088/1367-2630/ac23f1}, volume = {23}, year = {2021}, } @article{10179, abstract = {Inhibitory GABAergic interneurons migrate over long distances from their extracortical origin into the developing cortex. In humans, this process is uniquely slow and prolonged, and it is unclear whether guidance cues unique to humans govern the various phases of this complex developmental process. Here, we use fused cerebral organoids to identify key roles of neurotransmitter signaling pathways in guiding the migratory behavior of human cortical interneurons. We use scRNAseq to reveal expression of GABA, glutamate, glycine, and serotonin receptors along distinct maturation trajectories across interneuron migration. We develop an image analysis software package, TrackPal, to simultaneously assess 48 parameters for entire migration tracks of individual cells. By chemical screening, we show that different modes of interneuron migration depend on distinct neurotransmitter signaling pathways, linking transcriptional maturation of interneurons with their migratory behavior. Altogether, our study provides a comprehensive quantitative analysis of human interneuron migration and its functional modulation by neurotransmitter signaling.}, author = {Bajaj, Sunanjay and Bagley, Joshua A. and Sommer, Christoph M and Vertesy, Abel and Nagumo Wong, Sakurako and Krenn, Veronica and Lévi-Strauss, Julie and Knoblich, Juergen A.}, issn = {1460-2075}, journal = {EMBO Journal}, number = {23}, publisher = {Embo Press}, title = {{Neurotransmitter signaling regulates distinct phases of multimodal human interneuron migration}}, doi = {10.15252/embj.2021108714}, volume = {40}, year = {2021}, } @article{10180, abstract = {The growing energy and performance costs of deep learning have driven the community to reduce the size of neural networks by selectively pruning components. Similarly to their biological counterparts, sparse networks generalize just as well, sometimes even better than, the original dense networks. Sparsity promises to reduce the memory footprint of regular networks to fit mobile devices, as well as shorten training time for ever growing networks. In this paper, we survey prior work on sparsity in deep learning and provide an extensive tutorial of sparsification for both inference and training. We describe approaches to remove and add elements of neural networks, different training strategies to achieve model sparsity, and mechanisms to exploit sparsity in practice. Our work distills ideas from more than 300 research papers and provides guidance to practitioners who wish to utilize sparsity today, as well as to researchers whose goal is to push the frontier forward. We include the necessary background on mathematical methods in sparsification, describe phenomena such as early structure adaptation, the intricate relations between sparsity and the training process, and show techniques for achieving acceleration on real hardware. We also define a metric of pruned parameter efficiency that could serve as a baseline for comparison of different sparse networks. We close by speculating on how sparsity can improve future workloads and outline major open problems in the field.}, author = {Hoefler, Torsten and Alistarh, Dan-Adrian and Ben-Nun, Tal and Dryden, Nikoli and Peste, Elena-Alexandra}, issn = {1533-7928}, journal = {Journal of Machine Learning Research}, number = {241}, pages = {1--124}, publisher = {Journal of Machine Learning Research}, title = {{Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks}}, volume = {22}, year = {2021}, } @article{10181, abstract = {In this article we study some geometric properties of proximally smooth sets. First, we introduce a modification of the metric projection and prove its existence. Then we provide an algorithm for constructing a rectifiable curve between two sufficiently close points of a proximally smooth set in a uniformly convex and uniformly smooth Banach space, with the moduli of smoothness and convexity of power type. Our algorithm returns a reasonably short curve between two sufficiently close points of a proximally smooth set, is iterative and uses our modification of the metric projection. We estimate the length of the constructed curve and its deviation from the segment with the same endpoints. These estimates coincide up to a constant factor with those for the geodesics in a proximally smooth set in a Hilbert space.}, author = {Ivanov, Grigory and Lopushanski, Mariana S.}, issn = {1877-0541}, journal = {Set-Valued and Variational Analysis}, publisher = {Springer Nature}, title = {{Rectifiable curves in proximally smooth sets}}, doi = {10.1007/s11228-021-00612-1}, year = {2021}, } @article{10184, abstract = {We introduce a novel technique to automatically decompose an input object’s volume into a set of parts that can be represented by two opposite height fields. Such decomposition enables the manufacturing of individual parts using two-piece reusable rigid molds. Our decomposition strategy relies on a new energy formulation that utilizes a pre-computed signal on the mesh volume representing the accessibility for a predefined set of extraction directions. Thanks to this novel formulation, our method allows for efficient optimization of a fabrication-aware partitioning of volumes in a completely automatic way. We demonstrate the efficacy of our approach by generating valid volume partitionings for a wide range of complex objects and physically reproducing several of them.}, author = {Alderighi, Thomas and Malomo, Luigi and Bickel, Bernd and Cignoni, Paolo and Pietroni, Nico}, issn = {1557-7368 }, journal = {ACM Transactions on Graphics}, number = {6}, publisher = {Association for Computing Machinery}, title = {{Volume decomposition for two-piece rigid casting}}, doi = {10.1145/3478513.3480555}, volume = {40}, year = {2021}, } @article{10191, abstract = {In this work we solve the algorithmic problem of consistency verification for the TSO and PSO memory models given a reads-from map, denoted VTSO-rf and VPSO-rf, respectively. For an execution of n events over k threads and d variables, we establish novel bounds that scale as nk+1 for TSO and as nk+1· min(nk2, 2k· d) for PSO. Moreover, based on our solution to these problems, we develop an SMC algorithm under TSO and PSO that uses the RF equivalence. The algorithm is exploration-optimal, in the sense that it is guaranteed to explore each class of the RF partitioning exactly once, and spends polynomial time per class when k is bounded. Finally, we implement all our algorithms in the SMC tool Nidhugg, and perform a large number of experiments over benchmarks from existing literature. Our experimental results show that our algorithms for VTSO-rf and VPSO-rf provide significant scalability improvements over standard alternatives. Moreover, when used for SMC, the RF partitioning is often much coarser than the standard Shasha-Snir partitioning for TSO/PSO, which yields a significant speedup in the model checking task. }, author = {Bui, Truc Lam and Chatterjee, Krishnendu and Gautam, Tushar and Pavlogiannis, Andreas and Toman, Viktor}, issn = {2475-1421}, journal = {Proceedings of the ACM on Programming Languages}, keywords = {safety, risk, reliability and quality, software}, number = {OOPSLA}, publisher = {Association for Computing Machinery}, title = {{The reads-from equivalence for the TSO and PSO memory models}}, doi = {10.1145/3485541}, volume = {5}, year = {2021}, } @phdthesis{10199, abstract = {The design and verification of concurrent systems remains an open challenge due to the non-determinism that arises from the inter-process communication. In particular, concurrent programs are notoriously difficult both to be written correctly and to be analyzed formally, as complex thread interaction has to be accounted for. The difficulties are further exacerbated when concurrent programs get executed on modern-day hardware, which contains various buffering and caching mechanisms for efficiency reasons. This causes further subtle non-determinism, which can often produce very unintuitive behavior of the concurrent programs. Model checking is at the forefront of tackling the verification problem, where the task is to decide, given as input a concurrent system and a desired property, whether the system satisfies the property. The inherent state-space explosion problem in model checking of concurrent systems causes naïve explicit methods not to scale, thus more inventive methods are required. One such method is stateless model checking (SMC), which explores in memory-efficient manner the program executions rather than the states of the program. State-of-the-art SMC is typically coupled with partial order reduction (POR) techniques, which argue that certain executions provably produce identical system behavior, thus limiting the amount of executions one needs to explore in order to cover all possible behaviors. Another method to tackle the state-space explosion is symbolic model checking, where the considered techniques operate on a succinct implicit representation of the input system rather than explicitly accessing the system. In this thesis we present new techniques for verification of concurrent systems. We present several novel POR methods for SMC of concurrent programs under various models of semantics, some of which account for write-buffering mechanisms. Additionally, we present novel algorithms for symbolic model checking of finite-state concurrent systems, where the desired property of the systems is to ensure a formally defined notion of fairness.}, author = {Toman, Viktor}, issn = {2663-337X}, keywords = {concurrency, verification, model checking}, pages = {166}, publisher = {Institute of Science and Technology Austria}, title = {{Improved verification techniques for concurrent systems}}, doi = {10.15479/at:ista:10199}, year = {2021}, } @article{10202, abstract = {Zygotic genome activation (ZGA) initiates regionalized transcription underlying distinct cellular identities. ZGA is dependent upon dynamic chromatin architecture sculpted by conserved DNA-binding proteins. However, the direct mechanistic link between the onset of ZGA and the tissue-specific transcription remains unclear. Here, we have addressed the involvement of chromatin organizer Satb2 in orchestrating both processes during zebrafish embryogenesis. Integrative analysis of transcriptome, genome-wide occupancy and chromatin accessibility reveals contrasting molecular activities of maternally deposited and zygotically synthesized Satb2. Maternal Satb2 prevents premature transcription of zygotic genes by influencing the interplay between the pluripotency factors. By contrast, zygotic Satb2 activates transcription of the same group of genes during neural crest development and organogenesis. Thus, our comparative analysis of maternal versus zygotic function of Satb2 underscores how these antithetical activities are temporally coordinated and functionally implemented highlighting the evolutionary implications of the biphasic and bimodal regulation of landmark developmental transitions by a single determinant.}, author = {Pradhan, Saurabh J. and Reddy, Puli Chandramouli and Smutny, Michael and Sharma, Ankita and Sako, Keisuke and Oak, Meghana S. and Shah, Rini and Pal, Mrinmoy and Deshpande, Ojas and Dsilva, Greg and Tang, Yin and Mishra, Rakesh and Deshpande, Girish and Giraldez, Antonio J. and Sonawane, Mahendra and Heisenberg, Carl-Philipp J and Galande, Sanjeev}, issn = {20411723}, journal = {Nature Communications}, number = {1}, publisher = {Springer Nature}, title = {{Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis}}, doi = {10.1038/s41467-021-26234-7}, volume = {12}, year = {2021}, } @article{10203, abstract = {Single photon emitters in atomically-thin semiconductors can be deterministically positioned using strain induced by underlying nano-structures. Here, we couple monolayer WSe2 to high-refractive-index gallium phosphide dielectric nano-antennas providing both optical enhancement and monolayer deformation. For single photon emitters formed on such nano-antennas, we find very low (femto-Joule) saturation pulse energies and up to 104 times brighter photoluminescence than in WSe2 placed on low-refractive-index SiO2 pillars. We show that the key to these observations is the increase on average by a factor of 5 of the quantum efficiency of the emitters coupled to the nano-antennas. This further allows us to gain new insights into their photoluminescence dynamics, revealing the roles of the dark exciton reservoir and Auger processes. We also find that the coherence time of such emitters is limited by intrinsic dephasing processes. Our work establishes dielectric nano-antennas as a platform for high-efficiency quantum light generation in monolayer semiconductors.}, author = {Sortino, Luca and Zotev, Panaiot G. and Phillips, Catherine L. and Brash, Alistair J. and Cambiasso, Javier and Marensi, Elena and Fox, A. Mark and Maier, Stefan A. and Sapienza, Riccardo and Tartakovskii, Alexander I.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas}}, doi = {10.1038/s41467-021-26262-3}, volume = {12}, year = {2021}, } @article{10204, abstract = {Two common representations of close packings of identical spheres consisting of hexagonal layers, called Barlow stackings, appear abundantly in minerals and metals. These motifs, however, occupy an identical portion of space and bear identical first-order topological signatures as measured by persistent homology. Here we present a novel method based on k-fold covers that unambiguously distinguishes between these patterns. Moreover, our approach provides topological evidence that the FCC motif is the more stable of the two in the context of evolving experimental sphere packings during the transition from disordered to an ordered state. We conclude that our approach can be generalised to distinguish between various Barlow stackings manifested in minerals and metals.}, author = {Osang, Georg F and Edelsbrunner, Herbert and Saadatfar, Mohammad}, issn = {1744-6848}, journal = {Soft Matter}, number = {40}, pages = {9107--9115}, publisher = {Royal Society of Chemistry }, title = {{Topological signatures and stability of hexagonal close packing and Barlow stackings}}, doi = {10.1039/d1sm00774b}, volume = {17}, year = {2021}, } @inproceedings{10206, abstract = {Neural-network classifiers achieve high accuracy when predicting the class of an input that they were trained to identify. Maintaining this accuracy in dynamic environments, where inputs frequently fall outside the fixed set of initially known classes, remains a challenge. The typical approach is to detect inputs from novel classes and retrain the classifier on an augmented dataset. However, not only the classifier but also the detection mechanism needs to adapt in order to distinguish between newly learned and yet unknown input classes. To address this challenge, we introduce an algorithmic framework for active monitoring of a neural network. A monitor wrapped in our framework operates in parallel with the neural network and interacts with a human user via a series of interpretable labeling queries for incremental adaptation. In addition, we propose an adaptive quantitative monitor to improve precision. An experimental evaluation on a diverse set of benchmarks with varying numbers of classes confirms the benefits of our active monitoring framework in dynamic scenarios.}, author = {Lukina, Anna and Schilling, Christian and Henzinger, Thomas A}, booktitle = {21st International Conference on Runtime Verification}, isbn = {9-783-0308-8493-2}, issn = {1611-3349}, keywords = {monitoring, neural networks, novelty detection}, location = {Virtual}, pages = {42--61}, publisher = {Springer Nature}, title = {{Into the unknown: active monitoring of neural networks}}, doi = {10.1007/978-3-030-88494-9_3}, volume = {12974 }, year = {2021}, }