@article{13999, abstract = {Attosecond chronoscopy has revealed small but measurable delays in photoionization, characterized by the ejection of an electron on absorption of a single photon. Ionization-delay measurements in atomic targets provide a wealth of information about the timing of the photoelectric effect, resonances, electron correlations and transport. However, extending this approach to molecules presents challenges, such as identifying the correct ionization channels and the effect of the anisotropic molecular landscape on the measured delays. Here, we measure ionization delays from ethyl iodide around a giant dipole resonance. By using the theoretical value for the iodine atom as a reference, we disentangle the contribution from the functional ethyl group, which is responsible for the characteristic chemical reactivity of a molecule. We find a substantial additional delay caused by the presence of a functional group, which encodes the effect of the molecular potential on the departing electron. Such information is inaccessible to the conventional approach of measuring photoionization cross-sections. The results establish ionization-delay measurements as a valuable tool in investigating the electronic properties of molecules.}, author = {Biswas, Shubhadeep and Förg, Benjamin and Ortmann, Lisa and Schötz, Johannes and Schweinberger, Wolfgang and Zimmermann, Tomáš and Pi, Liangwen and Baykusheva, Denitsa Rangelova and Masood, Hafiz A. and Liontos, Ioannis and Kamal, Amgad M. and Kling, Nora G. and Alharbi, Abdullah F. and Alharbi, Meshaal and Azzeer, Abdallah M. and Hartmann, Gregor and Wörner, Hans J. and Landsman, Alexandra S. and Kling, Matthias F.}, issn = {1745-2481}, journal = {Nature Physics}, keywords = {General Physics and Astronomy}, number = {7}, pages = {778--783}, publisher = {Springer Nature}, title = {{Probing molecular environment through photoemission delays}}, doi = {10.1038/s41567-020-0887-8}, volume = {16}, year = {2020}, } @inbook{14000, abstract = {This chapter presents an overview of the state of the art in attosecond time-resolved spectroscopy. The theoretical foundations of strong-field light–matter interaction and attosecond pulse generation are described. The enabling laser technologies are reviewed from chirped-pulse amplification and carrier-envelope-phase stabilization to the generation and characterization of attosecond pulses. The applications of attosecond pulses and pulse trains in electron- or ion-imaging experiments are presented, followed by attosecond electron spectroscopy in larger molecules. After this, high-harmonic spectroscopy and its applications to probing charge migration on attosecond time scales is reviewed. The rapidly evolving field of molecular photoionization delays is discussed. Finally, the applications of attosecond transient absorption to probing molecular dynamics are presented.}, author = {Baykusheva, Denitsa Rangelova and Wörner, Hans Jakob}, booktitle = {Molecular Spectroscopy and Quantum Dynamics}, editor = {Marquardt, Roberto and Quack, Martin}, isbn = {9780128172353}, pages = {113--161}, publisher = {Elsevier}, title = {{Attosecond Molecular Dynamics and Spectroscopy}}, doi = {10.1016/b978-0-12-817234-6.00009-x}, year = {2020}, } @unpublished{14028, abstract = {The present review addresses the technical advances and the theoretical developments to realize and rationalize attosecond-science experiments that reveal a new dynamical time scale (10−15-10−18 s), with a particular emphasis on molecular systems and the implications of attosecond processes for chemical dynamics. After a brief outline of the theoretical framework for treating non-perturbative phenomena in Section 2, we introduce the physical mechanisms underlying high-harmonic generation and attosecond technology. The relevant technological developments and experimental schemes are covered in Section 3. Throughout the remainder of the chapter, we report on selected applications in molecular attosecond physics, thereby addressing specific phenomena mediated by purely electronic dynamics: charge localization in molecular hydrogen, charge migration in biorelevant molecules, high-harmonic spectroscopy, and delays in molecular photoionization.}, author = {Baykusheva, Denitsa Rangelova and Wörner, Hans Jakob}, pages = {2002.02111}, title = {{Attosecond molecular spectroscopy and dynamics}}, doi = {10.48550/arXiv.2002.02111}, year = {2020}, } @unpublished{14095, abstract = {The Habitable Exoplanet Observatory, or HabEx, has been designed to be the Great Observatory of the 2030s. For the first time in human history, technologies have matured sufficiently to enable an affordable space-based telescope mission capable of discovering and characterizing Earthlike planets orbiting nearby bright sunlike stars in order to search for signs of habitability and biosignatures. Such a mission can also be equipped with instrumentation that will enable broad and exciting general astrophysics and planetary science not possible from current or planned facilities. HabEx is a space telescope with unique imaging and multi-object spectroscopic capabilities at wavelengths ranging from ultraviolet (UV) to near-IR. These capabilities allow for a broad suite of compelling science that cuts across the entire NASA astrophysics portfolio. HabEx has three primary science goals: (1) Seek out nearby worlds and explore their habitability; (2) Map out nearby planetary systems and understand the diversity of the worlds they contain; (3) Enable new explorations of astrophysical systems from our own solar system to external galaxies by extending our reach in the UV through near-IR. This Great Observatory science will be selected through a competed GO program, and will account for about 50% of the HabEx primary mission. The preferred HabEx architecture is a 4m, monolithic, off-axis telescope that is diffraction-limited at 0.4 microns and is in an L2 orbit. HabEx employs two starlight suppression systems: a coronagraph and a starshade, each with their own dedicated instrument.}, author = {Gaudi, B. Scott and Seager, Sara and Mennesson, Bertrand and Kiessling, Alina and Warfield, Keith and Cahoy, Kerri and Clarke, John T. and Shawn Domagal-Goldman, Shawn Domagal-Goldman and Feinberg, Lee and Guyon, Olivier and Kasdin, Jeremy and Mawet, Dimitri and Plavchan, Peter and Robinson, Tyler and Rogers, Leslie and Scowen, Paul and Somerville, Rachel and Stapelfeldt, Karl and Stark, Christopher and Stern, Daniel and Turnbull, Margaret and Amini, Rashied and Kuan, Gary and Martin, Stefan and Morgan, Rhonda and Redding, David and Stahl, H. Philip and Webb, Ryan and Oscar Alvarez-Salazar, Oscar Alvarez-Salazar and Arnold, William L. and Arya, Manan and Balasubramanian, Bala and Baysinger, Mike and Bell, Ray and Below, Chris and Benson, Jonathan and Blais, Lindsey and Booth, Jeff and Bourgeois, Robert and Bradford, Case and Brewer, Alden and Brooks, Thomas and Cady, Eric and Caldwell, Mary and Calvet, Rob and Carr, Steven and Chan, Derek and Cormarkovic, Velibor and Coste, Keith and Cox, Charlie and Danner, Rolf and Davis, Jacqueline and Dewell, Larry and Dorsett, Lisa and Dunn, Daniel and East, Matthew and Effinger, Michael and Eng, Ron and Freebury, Greg and Garcia, Jay and Gaskin, Jonathan and Greene, Suzan and Hennessy, John and Hilgemann, Evan and Hood, Brad and Holota, Wolfgang and Howe, Scott and Huang, Pei and Hull, Tony and Hunt, Ron and Hurd, Kevin and Johnson, Sandra and Kissil, Andrew and Knight, Brent and Kolenz, Daniel and Kraus, Oliver and Krist, John and Li, Mary and Lisman, Doug and Mandic, Milan and Mann, John and Marchen, Luis and Colleen Marrese-Reading, Colleen Marrese-Reading and McCready, Jonathan and McGown, Jim and Missun, Jessica and Miyaguchi, Andrew and Moore, Bradley and Nemati, Bijan and Nikzad, Shouleh and Nissen, Joel and Novicki, Megan and Perrine, Todd and Pineda, Claudia and Polanco, Otto and Putnam, Dustin and Qureshi, Atif and Richards, Michael and Riggs, A. J. Eldorado and Rodgers, Michael and Rud, Mike and Saini, Navtej and Scalisi, Dan and Scharf, Dan and Schulz, Kevin and Serabyn, Gene and Sigrist, Norbert and Sikkia, Glory and Singleton, Andrew and Shaklan, Stuart and Smith, Scott and Southerd, Bart and Stahl, Mark and Steeves, John and Sturges, Brian and Sullivan, Chris and Tang, Hao and Taras, Neil and Tesch, Jonathan and Therrell, Melissa and Tseng, Howard and Valente, Marty and Buren, David Van and Villalvazo, Juan and Warwick, Steve and Webb, David and Westerhoff, Thomas and Wofford, Rush and Wu, Gordon and Woo, Jahning and Wood, Milana and Ziemer, John and Arney, Giada and Anderson, Jay and Jesús Maíz-Apellániz, Jesús Maíz-Apellániz and Bartlett, James and Belikov, Ruslan and Bendek, Eduardo and Cenko, Brad and Douglas, Ewan and Dulz, Shannon and Evans, Chris and Faramaz, Virginie and Feng, Y. Katherina and Ferguson, Harry and Follette, Kate and Ford, Saavik and García, Miriam and Geha, Marla and Gelino, Dawn and Götberg, Ylva Louise Linsdotter and Hildebrandt, Sergi and Hu, Renyu and Jahnke, Knud and Kennedy, Grant and Kreidberg, Laura and Isella, Andrea and Lopez, Eric and Marchis, Franck and Macri, Lucas and Marley, Mark and Matzko, William and Mazoyer, Johan and McCandliss, Stephan and Meshkat, Tiffany and Mordasini, Christoph and Morris, Patrick and Nielsen, Eric and Newman, Patrick and Petigura, Erik and Postman, Marc and Reines, Amy and Roberge, Aki and Roederer, Ian and Ruane, Garreth and Schwieterman, Edouard and Sirbu, Dan and Spalding, Christopher and Teplitz, Harry and Tumlinson, Jason and Turner, Neal and Werk, Jessica and Wofford, Aida and Wyatt, Mark and Young, Amber and Zellem, Rob}, booktitle = {arXiv}, title = {{The habitable exoplanet observatory (HabEx) mission concept study final report}}, doi = {10.48550/arXiv.2001.06683}, year = {2020}, } @unpublished{14096, abstract = {A binary neutron star merger has been observed in a multi-messenger detection of gravitational wave (GW) and electromagnetic (EM) radiation. Binary neutron stars that merge within a Hubble time, as well as many other compact binaries, are expected to form via common envelope evolution. Yet five decades of research on common envelope evolution have not yet resulted in a satisfactory understanding of the multi-spatial multi-timescale evolution for the systems that lead to compact binaries. In this paper, we report on the first successful simulations of common envelope ejection leading to binary neutron star formation in 3D hydrodynamics. We simulate the dynamical inspiral phase of the interaction between a 12M⊙ red supergiant and a 1.4M⊙ neutron star for different initial separations and initial conditions. For all of our simulations, we find complete envelope ejection and final orbital separations of af≈1.3-5.1R⊙ depending on the simulation and criterion, leading to binary neutron stars that can merge within a Hubble time. We find αCE-equivalent efficiencies of ≈0.1-2.7 depending on the simulation and criterion, but this may be specific for these extended progenitors. We fully resolve the core of the star to ≲0.005R⊙ and our 3D hydrodynamics simulations are informed by an adjusted 1D analytic energy formalism and a 2D kinematics study in order to overcome the prohibitive computational cost of simulating these systems. The framework we develop in this paper can be used to simulate a wide variety of interactions between stars, from stellar mergers to common envelope episodes leading to GW sources.}, author = {Jamie A. P. Law-Smith, Jamie A. P. Law-Smith and Everson, Rosa Wallace and Enrico Ramirez-Ruiz, Enrico Ramirez-Ruiz and Mink, Selma E. de and Son, Lieke A. C. van and Götberg, Ylva Louise Linsdotter and Zellmann, Stefan and Alejandro Vigna-Gómez, Alejandro Vigna-Gómez and Renzo, Mathieu and Wu, Samantha and Schrøder, Sophie L. and Foley, Ryan J. and Tenley Hutchinson-Smith, Tenley Hutchinson-Smith}, booktitle = {arXiv}, title = {{Successful common envelope ejection and binary neutron star formation in 3D hydrodynamics}}, doi = {10.48550/arXiv.2011.06630}, year = {2020}, } @article{14125, abstract = {Motivation: Recent technological advances have led to an increase in the production and availability of single-cell data. The ability to integrate a set of multi-technology measurements would allow the identification of biologically or clinically meaningful observations through the unification of the perspectives afforded by each technology. In most cases, however, profiling technologies consume the used cells and thus pairwise correspondences between datasets are lost. Due to the sheer size single-cell datasets can acquire, scalable algorithms that are able to universally match single-cell measurements carried out in one cell to its corresponding sibling in another technology are needed. Results: We propose Single-Cell data Integration via Matching (SCIM), a scalable approach to recover such correspondences in two or more technologies. SCIM assumes that cells share a common (low-dimensional) underlying structure and that the underlying cell distribution is approximately constant across technologies. It constructs a technology-invariant latent space using an autoencoder framework with an adversarial objective. Multi-modal datasets are integrated by pairing cells across technologies using a bipartite matching scheme that operates on the low-dimensional latent representations. We evaluate SCIM on a simulated cellular branching process and show that the cell-to-cell matches derived by SCIM reflect the same pseudotime on the simulated dataset. Moreover, we apply our method to two real-world scenarios, a melanoma tumor sample and a human bone marrow sample, where we pair cells from a scRNA dataset to their sibling cells in a CyTOF dataset achieving 90% and 78% cell-matching accuracy for each one of the samples, respectively.}, author = {Stark, Stefan G and Ficek, Joanna and Locatello, Francesco and Bonilla, Ximena and Chevrier, Stéphane and Singer, Franziska and Aebersold, Rudolf and Al-Quaddoomi, Faisal S and Albinus, Jonas and Alborelli, Ilaria and Andani, Sonali and Attinger, Per-Olof and Bacac, Marina and Baumhoer, Daniel and Beck-Schimmer, Beatrice and Beerenwinkel, Niko and Beisel, Christian and Bernasconi, Lara and Bertolini, Anne and Bodenmiller, Bernd and Bonilla, Ximena and Casanova, Ruben and Chevrier, Stéphane and Chicherova, Natalia and D'Costa, Maya and Danenberg, Esther and Davidson, Natalie and gan, Monica-Andreea Dră and Dummer, Reinhard and Engler, Stefanie and Erkens, Martin and Eschbach, Katja and Esposito, Cinzia and Fedier, André and Ferreira, Pedro and Ficek, Joanna and Frei, Anja L and Frey, Bruno and Goetze, Sandra and Grob, Linda and Gut, Gabriele and Günther, Detlef and Haberecker, Martina and Haeuptle, Pirmin and Heinzelmann-Schwarz, Viola and Herter, Sylvia and Holtackers, Rene and Huesser, Tamara and Irmisch, Anja and Jacob, Francis and Jacobs, Andrea and Jaeger, Tim M and Jahn, Katharina and James, Alva R and Jermann, Philip M and Kahles, André and Kahraman, Abdullah and Koelzer, Viktor H and Kuebler, Werner and Kuipers, Jack and Kunze, Christian P and Kurzeder, Christian and Lehmann, Kjong-Van and Levesque, Mitchell and Lugert, Sebastian and Maass, Gerd and Manz, Markus and Markolin, Philipp and Mena, Julien and Menzel, Ulrike and Metzler, Julian M and Miglino, Nicola and Milani, Emanuela S and Moch, Holger and Muenst, Simone and Murri, Riccardo and Ng, Charlotte KY and Nicolet, Stefan and Nowak, Marta and Pedrioli, Patrick GA and Pelkmans, Lucas and Piscuoglio, Salvatore and Prummer, Michael and Ritter, Mathilde and Rommel, Christian and Rosano-González, María L and Rätsch, Gunnar and Santacroce, Natascha and Castillo, Jacobo Sarabia del and Schlenker, Ramona and Schwalie, Petra C and Schwan, Severin and Schär, Tobias and Senti, Gabriela and Singer, Franziska and Sivapatham, Sujana and Snijder, Berend and Sobottka, Bettina and Sreedharan, Vipin T and Stark, Stefan and Stekhoven, Daniel J and Theocharides, Alexandre PA and Thomas, Tinu M and Tolnay, Markus and Tosevski, Vinko and Toussaint, Nora C and Tuncel, Mustafa A and Tusup, Marina and Drogen, Audrey Van and Vetter, Marcus and Vlajnic, Tatjana and Weber, Sandra and Weber, Walter P and Wegmann, Rebekka and Weller, Michael and Wendt, Fabian and Wey, Norbert and Wicki, Andreas and Wollscheid, Bernd and Yu, Shuqing and Ziegler, Johanna and Zimmermann, Marc and Zoche, Martin and Zuend, Gregor and Rätsch, Gunnar and Lehmann, Kjong-Van}, issn = {1367-4811}, journal = {Bioinformatics}, keywords = {Computational Mathematics, Computational Theory and Mathematics, Computer Science Applications, Molecular Biology, Biochemistry, Statistics and Probability}, number = {Supplement_2}, pages = {i919--i927}, publisher = {Oxford University Press}, title = {{SCIM: Universal single-cell matching with unpaired feature sets}}, doi = {10.1093/bioinformatics/btaa843}, volume = {36}, year = {2020}, } @inproceedings{14186, abstract = {The goal of the unsupervised learning of disentangled representations is to separate the independent explanatory factors of variation in the data without access to supervision. In this paper, we summarize the results of Locatello et al., 2019, and focus on their implications for practitioners. We discuss the theoretical result showing that the unsupervised learning of disentangled representations is fundamentally impossible without inductive biases and the practical challenges it entails. Finally, we comment on our experimental findings, highlighting the limitations of state-of-the-art approaches and directions for future research.}, author = {Locatello, Francesco and Bauer, Stefan and Lucic, Mario and Rätsch, Gunnar and Gelly, Sylvain and Schölkopf, Bernhard and Bachem, Olivier}, booktitle = {The 34th AAAI Conference on Artificial Intelligence}, isbn = {9781577358350}, issn = {2374-3468}, location = {New York, NY, United States}, number = {9}, pages = {13681--13684}, publisher = {Association for the Advancement of Artificial Intelligence}, title = {{A commentary on the unsupervised learning of disentangled representations}}, doi = {10.1609/aaai.v34i09.7120}, volume = {34}, year = {2020}, } @inproceedings{14187, abstract = {We propose a novel Stochastic Frank-Wolfe (a.k.a. conditional gradient) algorithm for constrained smooth finite-sum minimization with a generalized linear prediction/structure. This class of problems includes empirical risk minimization with sparse, low-rank, or other structured constraints. The proposed method is simple to implement, does not require step-size tuning, and has a constant per-iteration cost that is independent of the dataset size. Furthermore, as a byproduct of the method we obtain a stochastic estimator of the Frank-Wolfe gap that can be used as a stopping criterion. Depending on the setting, the proposed method matches or improves on the best computational guarantees for Stochastic Frank-Wolfe algorithms. Benchmarks on several datasets highlight different regimes in which the proposed method exhibits a faster empirical convergence than related methods. Finally, we provide an implementation of all considered methods in an open-source package.}, author = {Négiar, Geoffrey and Dresdner, Gideon and Tsai, Alicia and Ghaoui, Laurent El and Locatello, Francesco and Freund, Robert M. and Pedregosa, Fabian}, booktitle = {Proceedings of the 37th International Conference on Machine Learning}, location = {Virtual}, pages = {7253--7262}, title = {{Stochastic Frank-Wolfe for constrained finite-sum minimization}}, volume = {119}, year = {2020}, } @inproceedings{14188, abstract = {Intelligent agents should be able to learn useful representations by observing changes in their environment. We model such observations as pairs of non-i.i.d. images sharing at least one of the underlying factors of variation. First, we theoretically show that only knowing how many factors have changed, but not which ones, is sufficient to learn disentangled representations. Second, we provide practical algorithms that learn disentangled representations from pairs of images without requiring annotation of groups, individual factors, or the number of factors that have changed. Third, we perform a large-scale empirical study and show that such pairs of observations are sufficient to reliably learn disentangled representations on several benchmark data sets. Finally, we evaluate our learned representations and find that they are simultaneously useful on a diverse suite of tasks, including generalization under covariate shifts, fairness, and abstract reasoning. Overall, our results demonstrate that weak supervision enables learning of useful disentangled representations in realistic scenarios.}, author = {Locatello, Francesco and Poole, Ben and Rätsch, Gunnar and Schölkopf, Bernhard and Bachem, Olivier and Tschannen, Michael}, booktitle = {Proceedings of the 37th International Conference on Machine Learning}, location = {Virtual}, pages = {6348–6359}, title = {{Weakly-supervised disentanglement without compromises}}, volume = {119}, year = {2020}, } @article{14195, abstract = {The 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 over 14000 models covering most prominent methods and evaluation metrics in a reproducible large-scale experimental study on eight 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, different evaluation metrics do not always agree on what should be considered “disentangled” and exhibit systematic differences in the estimation. Finally, increased disentanglement does not seem to necessarily 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}, journal = {Journal of Machine Learning Research}, publisher = {MIT Press}, title = {{A sober look at the unsupervised learning of disentangled representations and their evaluation}}, volume = {21}, year = {2020}, } @inproceedings{9001, abstract = {Quantum illumination is a sensing technique that employs entangled signal-idler beams to improve the detection efficiency of low-reflectivity objects in environments with large thermal noise. The advantage over classical strategies is evident at low signal brightness, a feature which could make the protocol an ideal prototype for non-invasive scanning or low-power short-range radar. Here we experimentally investigate the concept of quantum illumination at microwave frequencies, by generating entangled fields using a Josephson parametric converter which are then amplified to illuminate a room-temperature object at a distance of 1 meter. Starting from experimental data, we simulate the case of perfect idler photon number detection, which results in a quantum advantage compared to the relative classical benchmark. Our results highlight the opportunities and challenges on the way towards a first room-temperature application of microwave quantum circuits.}, author = {Barzanjeh, Shabir and Pirandola, Stefano and Vitali, David and Fink, Johannes M}, booktitle = {IEEE National Radar Conference - Proceedings}, isbn = {9781728189420}, issn = {1097-5659}, location = {Florence, Italy}, number = {9}, publisher = {IEEE}, title = {{Microwave quantum illumination with a digital phase-conjugated receiver}}, doi = {10.1109/RadarConf2043947.2020.9266397}, volume = {2020}, year = {2020}, } @article{9007, abstract = {Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle method to count “sufficiently free” rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rationals.}, author = {Browning, Timothy D and Sawin, Will}, issn = {14208946}, journal = {Commentarii Mathematici Helvetici}, number = {4}, pages = {635--659}, publisher = {European Mathematical Society}, title = {{Free rational points on smooth hypersurfaces}}, doi = {10.4171/CMH/499}, volume = {95}, year = {2020}, } @article{9011, abstract = {Distributed ledgers provide high availability and integrity, making them a key enabler for practical and secure computation of distributed workloads among mutually distrustful parties. Many practical applications also require strong confidentiality, however. This work enhances permissioned and permissionless blockchains with the ability to manage confidential data without forfeiting availability or decentralization. The proposed Calypso architecture addresses two orthogonal challenges confronting modern distributed ledgers: (a) enabling the auditable management of secrets and (b) protecting distributed computations against arbitrage attacks when their results depend on the ordering and secrecy of inputs. Calypso introduces on-chain secrets, a novel abstraction that enforces atomic deposition of an auditable trace whenever users access confidential data. Calypso provides user-controlled consent management that ensures revocation atomicity and accountable anonymity. To enable permissionless deployment, we introduce an incentive scheme and provide users with the option to select their preferred trustees. We evaluated our Calypso prototype with a confidential document-sharing application and a decentralized lottery. Our benchmarks show that transaction-processing latency increases linearly in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds for 16 to 128 trustees.}, author = {Kokoris Kogias, Eleftherios and Alp, Enis Ceyhun and Gasser, Linus and Jovanovic, Philipp and Syta, Ewa and Ford, Bryan}, issn = {2150-8097}, journal = {Proceedings of the VLDB Endowment}, number = {4}, pages = {586--599}, publisher = {Association for Computing Machinery}, title = {{CALYPSO: Private data management for decentralized ledgers}}, doi = {10.14778/3436905.3436917}, volume = {14}, year = {2020}, } @article{9039, abstract = {We give a short and self-contained proof for rates of convergence of the Allen--Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen--Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems.}, author = {Fischer, Julian L and Laux, Tim and Simon, Theresa M.}, issn = {10957154}, journal = {SIAM Journal on Mathematical Analysis}, number = {6}, pages = {6222--6233}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies}}, doi = {10.1137/20M1322182}, volume = {52}, year = {2020}, } @inproceedings{9040, abstract = {Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields. The use of black-box neural networks in deep reinforcement learning (deep RL) poses a challenge for such a combination. Instead of reasoning formally about the output of deep RL, which we call the wizard, we extract from it a decision-tree based model, which we refer to as the magic book. Using the extracted model as an intermediary, we are able to handle problems that are infeasible for either deep RL or formal methods by themselves. First, we suggest, for the first time, a synthesis procedure that is based on a magic book. We synthesize a stand-alone correct-by-design controller that enjoys the favorable performance of RL. Second, we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows us to find numerous traces of the plant under the control of the wizard, which a user can use to increase the trustworthiness of the wizard and direct further training.}, author = {Alamdari, Par Alizadeh and Avni, Guy and Henzinger, Thomas A and Lukina, Anna}, booktitle = {Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design}, isbn = {9783854480426}, issn = {2708-7824}, location = {Online Conference}, pages = {138--147}, publisher = {TU Wien Academic Press}, title = {{Formal methods with a touch of magic}}, doi = {10.34727/2020/isbn.978-3-85448-042-6_21}, year = {2020}, } @article{9054, abstract = {The fundamental and practical importance of particle stabilization has motivated various characterization methods for studying polymer brushes on particle surfaces. In this work, we show how one can perform sensitive measurements of neutral polymer coating on colloidal particles using a commercial zetameter and salt solutions. By systematically varying the Debye length, we study the mobility of the polymer-coated particles in an applied electric field and show that the electrophoretic mobility of polymer-coated particles normalized by the mobility of non-coated particles is entirely controlled by the polymer brush and independent of the native surface charge, here controlled with pH, or the surface–ion interaction. Our result is rationalized with a simple hydrodynamic model, allowing for the estimation of characteristics of the polymer coating: the brush length L, and the Brinkman length ξ, determined by its resistance to flows. We demonstrate that the Debye layer provides a convenient and faithful probe to the characterization of polymer coatings on particles. Because the method simply relies on a conventional zetameter, it is widely accessible and offers a practical tool to rapidly probe neutral polymer brushes, an asset in the development and utilization of polymer-coated colloidal particles.}, author = {Youssef, Mena and Morin, Alexandre and Aubret, Antoine and Sacanna, Stefano and Palacci, Jérémie A}, issn = {1744-6848}, journal = {Soft Matter}, keywords = {General Chemistry, Condensed Matter Physics}, number = {17}, pages = {4274--4282}, publisher = {Royal Society of Chemistry }, title = {{Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt}}, doi = {10.1039/c9sm01850f}, volume = {16}, year = {2020}, } @article{9059, abstract = {From rock salt to nanoparticle superlattices, complex structure can emerge from simple building blocks that attract each other through Coulombic forces1-4. On the micrometre scale, however, colloids in water defy the intuitively simple idea of forming crystals from oppositely charged partners, instead forming non-equilibrium structures such as clusters and gels5-7. Although various systems have been engineered to grow binary crystals8-11, native surface charge in aqueous conditions has not been used to assemble crystalline materials. Here we form ionic colloidal crystals in water through an approach that we refer to as polymer-attenuated Coulombic self-assembly. The key to crystallization is the use of a neutral polymer to keep particles separated by well defined distances, allowing us to tune the attractive overlap of electrical double layers, directing particles to disperse, crystallize or become permanently fixed on demand. The nucleation and growth of macroscopic single crystals is demonstrated by using the Debye screening length to fine-tune assembly. Using a variety of colloidal particles and commercial polymers, ionic colloidal crystals isostructural to caesium chloride, sodium chloride, aluminium diboride and K4C60 are selected according to particle size ratios. Once fixed by simply diluting out solution salts, crystals are pulled out of the water for further manipulation, demonstrating an accurate translation from solution-phase assembly to dried solid structures. In contrast to other assembly approaches, in which particles must be carefully engineered to encode binding information12-18, polymer-attenuated Coulombic self-assembly enables conventional colloids to be used as model colloidal ions, primed for crystallization. }, author = {Hueckel, Theodore and Hocky, Glen M. and Palacci, Jérémie A and Sacanna, Stefano}, issn = {1476-4687}, journal = {Nature}, keywords = {Multidisciplinary}, number = {7804}, pages = {487--490}, publisher = {Springer Nature}, title = {{Ionic solids from common colloids}}, doi = {10.1038/s41586-020-2205-0}, volume = {580}, year = {2020}, } @article{9067, abstract = {Gadolinium silicide (Gd5Si4) nanoparticles are an interesting class of materials due to their high magnetization, low Curie temperature, low toxicity in biological environments and their multifunctional properties. We report the magnetic and magnetothermal properties of gadolinium silicide (Gd5Si4) nanoparticles prepared by surfactant-assisted ball milling of arc melted bulk ingots of the compound. Using different milling times and speeds, a wide range of crystallite sizes (13–43 nm) could be produced and a reduction in Curie temperature (TC) from 340 K to 317 K was achieved, making these nanoparticles suitable for self-controlled magnetic hyperthermia applications. The magnetothermal effect was measured in applied AC magnetic fields of amplitude 164–239 Oe and frequencies 163–519 kHz. All particles showed magnetic heating with a strong dependence of the specific absorption rate (SAR) on the average crystallite size. The highest SAR of 3.7 W g−1 was measured for 43 nm sized nanoparticles of Gd5Si4. The high SAR and low TC, (within the therapeutic range for magnetothermal therapy) makes the Gd5Si4 behave like self-regulating heat switches that would be suitable for self-controlled magnetic hyperthermia applications after biocompatibility and cytotoxicity tests.}, author = {Nauman, Muhammad and Alnasir, Muhammad Hisham and Hamayun, Muhammad Asif and Wang, YiXu and Shatruk, Michael and Manzoor, Sadia}, issn = {2046-2069}, journal = {RSC Advances}, keywords = {General Chemistry, General Chemical Engineering}, number = {47}, pages = {28383--28389}, publisher = {Royal Society of Chemistry}, title = {{Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles}}, doi = {10.1039/d0ra05394e}, volume = {10}, year = {2020}, } @article{9069, abstract = {In the quest for alternate and efficient electrode materials, ternary metal electrocatalysts (TMEs), part of the perovskite family, were synthesized and tested for methanol electro-oxidation in alkaline media. La0.5Ca0.5MO3 (M = Ni, Co, or Mn) was synthesized via sol-gel method. X-ray diffraction analysis revealed that the perovskite crystal structure possesses characteristic sharp and crystalline peaks for all synthesized ternary electrocatalysts. The average particle size calculated using Debye–Scherrer equation was in the order of La0.5Ca0.5NiO3 (LCNO) > La0.5Ca0.5CoO3 (LCCO)> La0.5Ca0.5MnO3 (LCMO). The elemental composition of as prepared sample, LCCO was investigated via x-ray fluorescence spectroscopy. The qualitative and quantitative analysis revealed the presence of La, Ca and Co in parent crystal structure with percentage compositions of 9.0, 3.12 and 87.82% respectively. The particle size distribution was homogenous, as determined by scanning electron and transmission electron microscopes. The electrocatalytic activity of the synthesized ternary electrocatalysts was studied electrochemically by cyclic voltammetry. The calculated diffusion coefficient values showed that electrode surface of LCNO and LCCO have limited efficiency for diffusion related phenomenon. The heterogeneous rate constants inferred better electrode kinetics of LCCO and LCNO which exhibited good electrocatalytic behavior; sharp anodic peaks were observed in the potential range of +0.3 to 0.6 V and +0.6 to 0.8 V, respectively. Methanol electro-oxidation was found minimal in case of LCMO sample. We have observed that Co substitution at B-site of perovskite electrode materials attains better electrochemical properties, thus in relation with reported literature.}, author = {Hussain, Tayyaba and Nauman, Muhammad and Sabahat, Sana and Arif, Saira}, issn = {2053-1591}, journal = {Materials Research Express}, keywords = {Electronic, Optical and Magnetic Materials, Surfaces, Coatings and Films, Polymers and Plastics, Metals and Alloys, Biomaterials}, number = {12}, publisher = {IOP Publishing}, title = {{Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media}}, doi = {10.1088/2053-1591/ab6886}, volume = {6}, year = {2020}, } @inbook{9096, author = {Schmid-Hempel, Paul and Cremer, Sylvia M}, booktitle = {Encyclopedia of Social Insects}, editor = {Starr, C}, isbn = {9783319903064}, publisher = {Springer Nature}, title = {{Parasites and Pathogens}}, doi = {10.1007/978-3-319-90306-4_94-1}, year = {2020}, }