@inproceedings{14197, abstract = {Recently there has been a significant interest in learning disentangled representations, as they promise increased interpretability, generalization to unseen scenarios and faster learning on downstream tasks. In this paper, we investigate the usefulness of different notions of disentanglement for improving the fairness of downstream prediction tasks based on representations. We consider the setting where the goal is to predict a target variable based on the learned representation of high-dimensional observations (such as images) that depend on both the target variable and an \emph{unobserved} sensitive variable. We show that in this setting both the optimal and empirical predictions can be unfair, even if the target variable and the sensitive variable are independent. Analyzing the representations of more than \num{12600} trained state-of-the-art disentangled models, we observe that several disentanglement scores are consistently correlated with increased fairness, suggesting that disentanglement may be a useful property to encourage fairness when sensitive variables are not observed.}, author = {Locatello, Francesco and Abbati, Gabriele and Rainforth, Tom and Bauer, Stefan and Schölkopf, Bernhard and Bachem, Olivier}, booktitle = {Advances in Neural Information Processing Systems}, isbn = {9781713807933}, location = {Vancouver, Canada}, pages = {14611–14624}, title = {{On the fairness of disentangled representations}}, volume = {32}, year = {2019}, } @inproceedings{14191, abstract = {A broad class of convex optimization problems can be formulated as a semidefinite program (SDP), minimization of a convex function over the positive-semidefinite cone subject to some affine constraints. The majority of classical SDP solvers are designed for the deterministic setting where problem data is readily available. In this setting, generalized conditional gradient methods (aka Frank-Wolfe-type methods) provide scalable solutions by leveraging the so-called linear minimization oracle instead of the projection onto the semidefinite cone. Most problems in machine learning and modern engineering applications, however, contain some degree of stochasticity. In this work, we propose the first conditional-gradient-type method for solving stochastic optimization problems under affine constraints. Our method guarantees O(k−1/3) convergence rate in expectation on the objective residual and O(k−5/12) on the feasibility gap.}, author = {Locatello, Francesco and Yurtsever, Alp and Fercoq, Olivier and Cevher, Volkan}, booktitle = {Advances in Neural Information Processing Systems}, isbn = {9781713807933}, location = {Vancouver, Canada}, pages = {14291–14301}, title = {{Stochastic Frank-Wolfe for composite convex minimization}}, volume = {32}, year = {2019}, } @inproceedings{14193, abstract = {A disentangled representation encodes information about the salient factors of variation in the data independently. Although it is often argued that this representational format is useful in learning to solve many real-world down-stream tasks, there is little empirical evidence that supports this claim. In this paper, we conduct a large-scale study that investigates whether disentangled representations are more suitable for abstract reasoning tasks. Using two new tasks similar to Raven's Progressive Matrices, we evaluate the usefulness of the representations learned by 360 state-of-the-art unsupervised disentanglement models. Based on these representations, we train 3600 abstract reasoning models and observe that disentangled representations do in fact lead to better down-stream performance. In particular, they enable quicker learning using fewer samples.}, author = {Steenkiste, Sjoerd van and Locatello, Francesco and Schmidhuber, Jürgen and Bachem, Olivier}, booktitle = {Advances in Neural Information Processing Systems}, isbn = {9781713807933}, location = {Vancouver, Canada}, title = {{Are disentangled representations helpful for abstract visual reasoning?}}, volume = {32}, year = {2019}, } @inproceedings{14200, abstract = {The key idea behind the unsupervised learning of disentangled representations is that real-world data is generated by a few explanatory factors of variation which can be recovered by unsupervised learning algorithms. In this paper, we provide a sober look at recent progress in the field and challenge some common assumptions. We first theoretically show that the unsupervised learning of disentangled representations is fundamentally impossible without inductive biases on both the models and the data. Then, we train more than 12000 models covering most prominent methods and evaluation metrics in a reproducible large-scale experimental study on seven different data sets. We observe that while the different methods successfully enforce properties ``encouraged'' by the corresponding losses, well-disentangled models seemingly cannot be identified without supervision. Furthermore, increased disentanglement does not seem to lead to a decreased sample complexity of learning for downstream tasks. Our results suggest that future work on disentanglement learning should be explicit about the role of inductive biases and (implicit) supervision, investigate concrete benefits of enforcing disentanglement of the learned representations, and consider a reproducible experimental setup covering several data sets.}, author = {Locatello, Francesco and Bauer, Stefan and Lucic, Mario and Rätsch, Gunnar and Gelly, Sylvain and Schölkopf, Bernhard and Bachem, Olivier}, booktitle = {Proceedings of the 36th International Conference on Machine Learning}, location = {Long Beach, CA, United States}, pages = {4114--4124}, publisher = {ML Research Press}, title = {{Challenging common assumptions in the unsupervised learning of disentangled representations}}, volume = {97}, year = {2019}, } @article{5817, abstract = {We theoretically study the shapes of lipid vesicles confined to a spherical cavity, elaborating a framework based on the so-called limiting shapes constructed from geometrically simple structural elements such as double-membrane walls and edges. Partly inspired by numerical results, the proposed non-compartmentalized and compartmentalized limiting shapes are arranged in the bilayer-couple phase diagram which is then compared to its free-vesicle counterpart. We also compute the area-difference-elasticity phase diagram of the limiting shapes and we use it to interpret shape transitions experimentally observed in vesicles confined within another vesicle. The limiting-shape framework may be generalized to theoretically investigate the structure of certain cell organelles such as the mitochondrion.}, author = {Kavcic, Bor and Sakashita, A. and Noguchi, H. and Ziherl, P.}, issn = {1744-6848}, journal = {Soft Matter}, number = {4}, pages = {602--614}, publisher = {Royal Society of Chemistry}, title = {{Limiting shapes of confined lipid vesicles}}, doi = {10.1039/c8sm01956h}, volume = {15}, year = {2019}, } @article{73, abstract = {We consider the space of probability measures on a discrete set X, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset Y⊆X, it is natural to ask whether they can be connected by a constant speed geodesic with support in Y at all times. Our main result answers this question affirmatively, under a suitable geometric condition on Y introduced in this paper. The proof relies on an extension result for subsolutions to discrete Hamilton-Jacobi equations, which is of independent interest.}, author = {Erbar, Matthias and Maas, Jan and Wirth, Melchior}, issn = {09442669}, journal = {Calculus of Variations and Partial Differential Equations}, number = {1}, publisher = {Springer}, title = {{On the geometry of geodesics in discrete optimal transport}}, doi = {10.1007/s00526-018-1456-1}, volume = {58}, year = {2019}, } @inproceedings{14190, abstract = {Learning meaningful and compact representations with disentangled semantic aspects is considered to be of key importance in representation learning. Since real-world data is notoriously costly to collect, many recent state-of-the-art disentanglement models have heavily relied on synthetic toy data-sets. In this paper, we propose a novel data-set which consists of over one million images of physical 3D objects with seven factors of variation, such as object color, shape, size and position. In order to be able to control all the factors of variation precisely, we built an experimental platform where the objects are being moved by a robotic arm. In addition, we provide two more datasets which consist of simulations of the experimental setup. These datasets provide for the first time the possibility to systematically investigate how well different disentanglement methods perform on real data in comparison to simulation, and how simulated data can be leveraged to build better representations of the real world. We provide a first experimental study of these questions and our results indicate that learned models transfer poorly, but that model and hyperparameter selection is an effective means of transferring information to the real world.}, author = {Gondal, Muhammad Waleed and Wüthrich, Manuel and Miladinović, Đorđe and Locatello, Francesco and Breidt, Martin and Volchkov, Valentin and Akpo, Joel and Bachem, Olivier and Schölkopf, Bernhard and Bauer, Stefan}, booktitle = {Advances in Neural Information Processing Systems}, isbn = {9781713807933}, location = {Vancouver, Canada}, title = {{On the transfer of inductive bias from simulation to the real world: a new disentanglement dataset}}, volume = {32}, year = {2019}, } @article{6982, abstract = {We present an efficient algorithm for a problem in the interface between clustering and graph embeddings. An embedding ϕ : G → M of a graph G into a 2-manifold M maps the vertices in V(G) to distinct points and the edges in E(G) to interior-disjoint Jordan arcs between the corresponding vertices. In applications in clustering, cartography, and visualization, nearby vertices and edges are often bundled to the same point or overlapping arcs due to data compression or low resolution. This raises the computational problem of deciding whether a given map ϕ : G → M comes from an embedding. A map ϕ : G → M is a weak embedding if it can be perturbed into an embedding ψ ϵ : G → M with ‖ ϕ − ψ ϵ ‖ < ϵ for every ϵ > 0, where ‖.‖ is the unform norm. A polynomial-time algorithm for recognizing weak embeddings has recently been found by Fulek and Kynčl. It reduces the problem to solving a system of linear equations over Z2. It runs in O(n2ω)≤ O(n4.75) time, where ω ∈ [2,2.373) is the matrix multiplication exponent and n is the number of vertices and edges of G. We improve the running time to O(n log n). Our algorithm is also conceptually simpler: We perform a sequence of local operations that gradually “untangles” the image ϕ(G) into an embedding ψ(G) or reports that ϕ is not a weak embedding. It combines local constraints on the orientation of subgraphs directly, thereby eliminating the need for solving large systems of linear equations. }, author = {Akitaya, Hugo and Fulek, Radoslav and Tóth, Csaba}, journal = {ACM Transactions on Algorithms}, number = {4}, publisher = {ACM}, title = {{Recognizing weak embeddings of graphs}}, doi = {10.1145/3344549}, volume = {15}, year = {2019}, } @phdthesis{6894, abstract = {Hybrid automata combine finite automata and dynamical systems, and model the interaction of digital with physical systems. Formal analysis that can guarantee the safety of all behaviors or rigorously witness failures, while unsolvable in general, has been tackled algorithmically using, e.g., abstraction, bounded model-checking, assisted theorem proving. Nevertheless, very few methods have addressed the time-unbounded reachability analysis of hybrid automata and, for current sound and automatic tools, scalability remains critical. We develop methods for the polyhedral abstraction of hybrid automata, which construct coarse overapproximations and tightens them incrementally, in a CEGAR fashion. We use template polyhedra, i.e., polyhedra whose facets are normal to a given set of directions. While, previously, directions were given by the user, we introduce (1) the first method for computing template directions from spurious counterexamples, so as to generalize and eliminate them. The method applies naturally to convex hybrid automata, i.e., hybrid automata with (possibly non-linear) convex constraints on derivatives only, while for linear ODE requires further abstraction. Specifically, we introduce (2) the conic abstractions, which, partitioning the state space into appropriate (possibly non-uniform) cones, divide curvy trajectories into relatively straight sections, suitable for polyhedral abstractions. Finally, we introduce (3) space-time interpolation, which, combining interval arithmetic and template refinement, computes appropriate (possibly non-uniform) time partitioning and template directions along spurious trajectories, so as to eliminate them. We obtain sound and automatic methods for the reachability analysis over dense and unbounded time of convex hybrid automata and hybrid automata with linear ODE. We build prototype tools and compare—favorably—our methods against the respective state-of-the-art tools, on several benchmarks.}, author = {Giacobbe, Mirco}, issn = {2663-337X}, pages = {132}, publisher = {Institute of Science and Technology Austria}, title = {{Automatic time-unbounded reachability analysis of hybrid systems}}, doi = {10.15479/AT:ISTA:6894}, year = {2019}, } @misc{9805, abstract = {The spread of adaptive alleles is fundamental to evolution, and in theory, this process is well‐understood. However, only rarely can we follow this process—whether it originates from the spread of a new mutation, or by introgression from another population. In this issue of Molecular Ecology, Hanemaaijer et al. (2018) report on a 25‐year long study of the mosquitoes Anopheles gambiae (Figure 1) and Anopheles coluzzi in Mali, based on genotypes at 15 single‐nucleotide polymorphism (SNP). The species are usually reproductively isolated from each other, but in 2002 and 2006, bursts of hybridization were observed, when F1 hybrids became abundant. Alleles backcrossed from A. gambiae into A. coluzzi, but after the first event, these declined over the following years. In contrast, after 2006, an insecticide resistance allele that had established in A. gambiae spread into A. coluzzi, and rose to high frequency there, over 6 years (~75 generations). Whole genome sequences of 74 individuals showed that A. gambiae SNP from across the genome had become common in the A. coluzzi population, but that most of these were clustered in 34 genes around the resistance locus. A new set of SNP from 25 of these genes were assayed over time; over the 4 years since near‐fixation of the resistance allele; some remained common, whereas others declined. What do these patterns tell us about this introgression event?}, author = {Barton, Nicholas H}, publisher = {Dryad}, title = {{Data from: The consequences of an introgression event}}, doi = {10.5061/dryad.2kb6fh4}, year = {2019}, } @article{8, abstract = {Despite their different origins, Drosophila glia and hemocytes are related cell populations that provide an immune function. Drosophila hemocytes patrol the body cavity and act as macrophages outside the nervous system whereas glia originate from the neuroepithelium and provide the scavenger population of the nervous system. Drosophila glia are hence the functional orthologs of vertebrate microglia, even though the latter are cells of immune origin that subsequently move into the brain during development. Interestingly, the Drosophila immune cells within (glia) and outside the nervous system (hemocytes) require the same transcription factor Glide/Gcm for their development. This raises the issue of how do glia specifically differentiate in the nervous system and hemocytes in the procephalic mesoderm. The Repo homeodomain transcription factor and pan-glial direct target of Glide/Gcm is known to ensure glial terminal differentiation. Here we show that Repo also takes center stage in the process that discriminates between glia and hemocytes. First, Repo expression is repressed in the hemocyte anlagen by mesoderm-specific factors. Second, Repo ectopic activation in the procephalic mesoderm is sufficient to repress the expression of hemocyte-specific genes. Third, the lack of Repo triggers the expression of hemocyte markers in glia. Thus, a complex network of tissue-specific cues biases the potential of Glide/Gcm. These data allow us to revise the concept of fate determinants and help us understand the bases of cell specification. Both sexes were analyzed.SIGNIFICANCE STATEMENTDistinct cell types often require the same pioneer transcription factor, raising the issue of how does one factor trigger different fates. In Drosophila, glia and hemocytes provide a scavenger activity within and outside the nervous system, respectively. While they both require the Glide/Gcm transcription factor, glia originate from the ectoderm, hemocytes from the mesoderm. Here we show that tissue-specific factors inhibit the gliogenic potential of Glide/Gcm in the mesoderm by repressing the expression of the homeodomain protein Repo, a major glial-specific target of Glide/Gcm. Repo expression in turn inhibits the expression of hemocyte-specific genes in the nervous system. These cell-specific networks secure the establishment of the glial fate only in the nervous system and allow cell diversification.}, author = {Trébuchet, Guillaume and Cattenoz, Pierre B and Zsámboki, János and Mazaud, David and Siekhaus, Daria E and Fanto, Manolis and Giangrande, Angela}, journal = {Journal of Neuroscience}, number = {2}, pages = {238--255}, publisher = {Society for Neuroscience}, title = {{The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate}}, doi = {10.1523/JNEUROSCI.1059-18.2018}, volume = {39}, year = {2019}, } @article{5, abstract = {In this paper, we introduce a quantum version of the wonderful compactification of a group as a certain noncommutative projective scheme. Our approach stems from the fact that the wonderful compactification encodes the asymptotics of matrix coefficients, and from its realization as a GIT quotient of the Vinberg semigroup. In order to define the wonderful compactification for a quantum group, we adopt a generalized formalism of Proj categories in the spirit of Artin and Zhang. Key to our construction is a quantum version of the Vinberg semigroup, which we define as a q-deformation of a certain Rees algebra, compatible with a standard Poisson structure. Furthermore, we discuss quantum analogues of the stratification of the wonderful compactification by orbits for a certain group action, and provide explicit computations in the case of SL2.}, author = {Ganev, Iordan V}, journal = {Journal of the London Mathematical Society}, number = {3}, pages = {778--806}, publisher = {Wiley}, title = {{The wonderful compactification for quantum groups}}, doi = {10.1112/jlms.12193}, volume = {99}, year = {2019}, } @phdthesis{7172, abstract = {The development and growth of Arabidopsis thaliana is regulated by a combination of genetic programing and also by the environmental influences. An important role in these processes play the phytohormones and among them, auxin is crucial as it controls many important functions. It is transported through the whole plant body by creating local and temporal concentration maxima and minima, which have an impact on the cell status, tissue and organ identity. Auxin has the property to undergo a directional and finely regulated cell-to-cell transport, which is enabled by the transport proteins, localized on the plasma membrane. An important role in this process have the PIN auxin efflux proteins, which have an asymmetric/polar subcellular localization and determine the directionality of the auxin transport. During the last years, there were significant advances in understanding how the trafficking molecular machineries function, including studies on molecular interactions, function, subcellular localization and intracellular distribution. However, there is still a lack of detailed characterization on the steps of endocytosis, exocytosis, endocytic recycling and degradation. Due to this fact, I focused on the identification of novel trafficking factors and better characterization of the intracellular trafficking pathways. My PhD thesis consists of an introductory chapter, three experimental chapters, a chapter containing general discussion, conclusions and perspectives and also an appendix chapter with published collaborative papers. The first chapter is separated in two different parts: I start by a general introduction to auxin biology and then I introduce the trafficking pathways in the model plant Arabidopsis thaliana. Then, I explain also the phosphorylation-signals for polar targeting and also the roles of the phytohormone strigolactone. The second chapter includes the characterization of bar1/sacsin mutant, which was identified in a forward genetic screen for novel trafficking components in Arabidopsis thaliana, where by the implementation of an EMS-treated pPIN1::PIN1-GFP marker line and by using the established inhibitor of ARF-GEFs, Brefeldin A (BFA) as a tool to study trafficking processes, we identified a novel factor, which is mediating the adaptation of the plant cell to ARF-GEF inhibition. The mutation is in a previously uncharacterized gene, encoding a very big protein that we, based on its homologies, called SACSIN with domains suggesting roles as a molecular chaperon or as a component of the ubiquitin-proteasome system. Our physiology and imaging studies revealed that SACSIN is a crucial plant cell component of the adaptation to the ARF-GEF inhibition. The third chapter includes six subchapters, where I focus on the role of the phytohormone strigolactone, which interferes with auxin feedback on PIN internalization. Strigolactone moderates the polar auxin transport by increasing the internalization of the PIN auxin efflux carriers, which reduces the canalization related growth responses. In addition, I also studied the role of phosphorylation in the strigolactone regulation of auxin feedback on PIN internalization. In this chapter I also present my results on the MAX2-dependence of strigolactone-mediated root growth inhibition and I also share my results on the auxin metabolomics profiling after application of GR24. In the fourth chapter I studied the effect of two small molecules ES-9 and ES9-17, which were identified from a collection of small molecules with the property to impair the clathrin-mediated endocytosis. In the fifth chapter, I discuss all my observations and experimental findings and suggest alternative hypothesis to interpret my results. In the appendix there are three collaborative published projects. In the first, I participated in the characterization of the role of ES9 as a small molecule, which is inhibitor of clathrin- mediated endocytosis in different model organisms. In the second paper, I contributed to the characterization of another small molecule ES9-17, which is a non-protonophoric analog of ES9 and also impairs the clathrin-mediated endocytosis not only in plant cells, but also in mammalian HeLa cells. Last but not least, I also attach another paper, where I tried to establish the grafting method as a technique in our lab to study canalization related processes.}, author = {Vasileva, Mina K}, issn = {2663-337X}, pages = {192}, publisher = {Institute of Science and Technology Austria}, title = {{Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana}}, doi = {10.15479/AT:ISTA:7172}, year = {2019}, } @article{6093, abstract = {Blebs are cellular protrusions observed in migrating cells and in cells undergoing spreading, cytokinesis, and apoptosis. Here we investigate the flow of cytoplasm during bleb formation and the concurrent changes in cell volume using zebrafish primordial germ cells (PGCs) as an in vivo model. We show that bleb inflation occurs concomitantly with cytoplasmic inflow into it and that during this process the total cell volume does not change. We thus show that bleb formation in primordial germ cells results primarily from redistribution of material within the cell rather than being driven by flow of water from an external source.}, author = {Goudarzi, Mohammad and Boquet-Pujadas, Aleix and Olivo-Marin, Jean Christophe and Raz, Erez}, journal = {PLOS ONE}, number = {2}, publisher = {Public Library of Science}, title = {{Fluid dynamics during bleb formation in migrating cells in vivo}}, doi = {10.1371/journal.pone.0212699}, volume = {14}, year = {2019}, } @phdthesis{6473, abstract = {Single cells are constantly interacting with their environment and each other, more importantly, the accurate perception of environmental cues is crucial for growth, survival, and reproduction. This communication between cells and their environment can be formalized in mathematical terms and be quantified as the information flow between them, as prescribed by information theory. The recent availability of real–time dynamical patterns of signaling molecules in single cells has allowed us to identify encoding about the identity of the environment in the time–series. However, efficient estimation of the information transmitted by these signals has been a data–analysis challenge due to the high dimensionality of the trajectories and the limited number of samples. In the first part of this thesis, we develop and evaluate decoding–based estimation methods to lower bound the mutual information and derive model–based precise information estimates for biological reaction networks governed by the chemical master equation. This is followed by applying the decoding-based methods to study the intracellular representation of extracellular changes in budding yeast, by observing the transient dynamics of nuclear translocation of 10 transcription factors in response to 3 stress conditions. Additionally, we apply these estimators to previously published data on ERK and Ca2+ signaling and yeast stress response. We argue that this single cell decoding-based measure of information provides an unbiased, quantitative and interpretable measure for the fidelity of biological signaling processes. Finally, in the last section, we deal with gene regulation which is primarily controlled by transcription factors (TFs) that bind to the DNA to activate gene expression. The possibility that non-cognate TFs activate transcription diminishes the accuracy of regulation with potentially disastrous effects for the cell. This ’crosstalk’ acts as a previously unexplored source of noise in biochemical networks and puts a strong constraint on their performance. To mitigate erroneous initiation we propose an out of equilibrium scheme that implements kinetic proofreading. We show that such architectures are favored over their equilibrium counterparts for complex organisms despite introducing noise in gene expression. }, author = {Cepeda Humerez, Sarah A}, issn = {2663-337X}, keywords = {Information estimation, Time-series, data analysis}, pages = {135}, publisher = {Institute of Science and Technology Austria}, title = {{Estimating information flow in single cells}}, doi = {10.15479/AT:ISTA:6473}, year = {2019}, } @phdthesis{6071, abstract = {Transcription factors, by binding to specific sequences on the DNA, control the precise spatio-temporal expression of genes inside a cell. However, this specificity is limited, leading to frequent incorrect binding of transcription factors that might have deleterious consequences on the cell. By constructing a biophysical model of TF-DNA binding in the context of gene regulation, I will first explore how regulatory constraints can strongly shape the distribution of a population in sequence space. Then, by directly linking this to a picture of multiple types of transcription factors performing their functions simultaneously inside the cell, I will explore the extent of regulatory crosstalk -- incorrect binding interactions between transcription factors and binding sites that lead to erroneous regulatory states -- and understand the constraints this places on the design of regulatory systems. I will then develop a generic theoretical framework to investigate the coevolution of multiple transcription factors and multiple binding sites, in the context of a gene regulatory network that performs a certain function. As a particular tractable version of this problem, I will consider the evolution of two transcription factors when they transmit upstream signals to downstream target genes. Specifically, I will describe the evolutionary steady states and the evolutionary pathways involved, along with their timescales, of a system that initially undergoes a transcription factor duplication event. To connect this important theoretical model to the prominent biological event of transcription factor duplication giving rise to paralogous families, I will then describe a bioinformatics analysis of C2H2 Zn-finger transcription factors, a major family in humans, and focus on the patterns of evolution that paralogs have undergone in their various protein domains in the recent past. }, author = {Prizak, Roshan}, issn = {2663-337X}, pages = {189}, publisher = {Institute of Science and Technology Austria}, title = {{Coevolution of transcription factors and their binding sites in sequence space}}, doi = {10.15479/at:ista:th6071}, year = {2019}, } @article{7436, abstract = {For an ordinary K3 surface over an algebraically closed field of positive characteristic we show that every automorphism lifts to characteristic zero. Moreover, we show that the Fourier-Mukai partners of an ordinary K3 surface are in one-to-one correspondence with the Fourier-Mukai partners of the geometric generic fiber of its canonical lift. We also prove that the explicit counting formula for Fourier-Mukai partners of the K3 surfaces with Picard rank two and with discriminant equal to minus of a prime number, in terms of the class number of the prime, holds over a field of positive characteristic as well. We show that the image of the derived autoequivalence group of a K3 surface of finite height in the group of isometries of its crystalline cohomology has index at least two. Moreover, we provide a conditional upper bound on the kernel of this natural cohomological descent map. Further, we give an extended remark in the appendix on the possibility of an F-crystal structure on the crystalline cohomology of a K3 surface over an algebraically closed field of positive characteristic and show that the naive F-crystal structure fails in being compatible with inner product. }, author = {Srivastava, Tanya K}, issn = {1431-0643}, journal = {Documenta Mathematica}, pages = {1135--1177}, publisher = {EMS Press}, title = {{On derived equivalences of k3 surfaces in positive characteristic}}, doi = {10.25537/dm.2019v24.1135-1177}, volume = {24}, year = {2019}, } @article{72, abstract = {We consider the totally asymmetric simple exclusion process (TASEP) with non-random initial condition having density ρ on ℤ− and λ on ℤ+, and a second class particle initially at the origin. For ρ<λ, there is a shock and the second class particle moves with speed 1−λ−ρ. For large time t, we show that the position of the second class particle fluctuates on a t1/3 scale and determine its limiting law. We also obtain the limiting distribution of the number of steps made by the second class particle until time t.}, author = {Ferrari, Patrick and Ghosal, Promit and Nejjar, Peter}, issn = {0246-0203}, journal = {Annales de l'institut Henri Poincare (B) Probability and Statistics}, number = {3}, pages = {1203--1225}, publisher = {Institute of Mathematical Statistics}, title = {{Limit law of a second class particle in TASEP with non-random initial condition}}, doi = {10.1214/18-AIHP916}, volume = {55}, year = {2019}, } @article{6657, abstract = {In this article a model is described how Open Access definitions can be formed on the basis of objective criteria. The common Open Access definitions such as "gold" and "green" are not exactly defined. This becomes a problem as soon as one begins to measure Open Access, for example if the development of the Open Access share should be monitored. This was discussed in the working group on Open Access Monitoring of the AT2OA project and the present model was developed, which is based on 5 critics with 4 characteristics: location, licence, version, embargo and conditions of the Open Access publication are taken into account. In the meantime, the model has also been tested in practice using R scripts, and the initial results are quite promising.}, author = {Danowski, Patrick}, issn = {1022-2588}, journal = {Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare}, number = {1}, pages = {59--65}, publisher = {Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare}, title = {{An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors}}, doi = {10.31263/voebm.v72i1.2276}, volume = {72}, year = {2019}, } @inproceedings{6646, abstract = {We demonstrate robust retention of valley coherence and its control via polariton pseudospin precession through the optical TE-TM splitting in bilayer WS2 microcavity exciton polaritons at room temperature.}, author = {Khatoniar, Mandeep and Yama, Nicholas and Ghazaryan, Areg and Guddala, Sriram and Ghaemi, Pouyan and Menon, Vinod}, booktitle = {CLEO: Applications and Technology}, isbn = {9781943580576}, location = {San Jose, CA, United States}, publisher = {Optica Publishing Group}, title = {{Room temperature control of valley coherence in bilayer WS2 exciton polaritons}}, doi = {10.1364/cleo_at.2019.jtu2a.52}, year = {2019}, }