@inproceedings{9969,
  abstract     = {Payment channel networks are a promising approach to improve the scalability of cryptocurrencies: they allow to perform transactions in a peer-to-peer fashion, along multihop routes in the network, without requiring consensus on the blockchain. However, during the discovery of cost-efficient routes for the transaction, critical information may be revealed about the transacting entities. This paper initiates the study of privacy-preserving route discovery mechanisms for payment channel networks. In particular, we present LightPIR, an approach which allows a client to learn the shortest (or cheapest in terms of fees) path between two nodes without revealing any information about the endpoints of the transaction to the servers. The two main observations which allow for an efficient solution in LightPIR are that: (1) surprisingly, hub labelling algorithms – which were developed to preprocess “street network like” graphs so one can later efficiently compute shortest paths – also perform well for the graphs underlying payment channel networks, and that (2) hub labelling algorithms can be conveniently combined with private information retrieval. LightPIR relies on a simple hub labeling heuristic on top of existing hub labeling algorithms which leverages the specific topological features of cryptocurrency networks to further minimize storage and bandwidth overheads. In a case study considering the Lightning network, we show that our approach is an order of magnitude more efficient compared to a privacy-preserving baseline based on using private information retrieval on a database that stores all pairs shortest paths.},
  author       = {Pietrzak, Krzysztof Z and Salem, Iosif and Schmid, Stefan and Yeo, Michelle X},
  isbn         = {978-1-6654-4501-6},
  issn         = {1861-2288},
  location     = {Espoo and Helsinki, Finland},
  publisher    = {IEEE},
  title        = {{LightPIR: Privacy-preserving route discovery for payment channel networks}},
  doi          = {10.23919/IFIPNetworking52078.2021.9472205},
  year         = {2021},
}

@article{11503,
  abstract     = {Context. The Lyα emitter (LAE) fraction, XLAE, is a potentially powerful probe of the evolution of the intergalactic neutral hydrogen gas fraction. However, uncertainties in the measurement of XLAE are still under debate.
Aims. Thanks to deep data obtained with the integral field spectrograph Multi Unit Spectroscopic Explorer (MUSE), we can measure the evolution of the LAE fraction homogeneously over a wide redshift range of z ≈ 3–6 for UV-faint galaxies (down to UV magnitudes of M1500 ≈ −17.75). This is a significantly fainter range than in former studies (M1500 ≤ −18.75) and it allows us to probe the bulk of the population of high-redshift star-forming galaxies.
Methods. We constructed a UV-complete photometric-redshift sample following UV luminosity functions and measured the Lyα emission with MUSE using the latest (second) data release from the MUSE Hubble Ultra Deep Field Survey.
Results. We derived the redshift evolution of XLAE for M1500 ∈ [ − 21.75; −17.75] for the first time with a equivalent width range EW(Lyα) ≥ 65 Å and found low values of XLAE ≲ 30% at z ≲ 6. The best-fit linear relation is XLAE = 0.07+0.06−0.03z − 0.22+0.12−0.24. For M1500 ∈ [ − 20.25; −18.75] and EW(Lyα) ≥ 25 Å, our XLAE values are consistent with those in the literature within 1σ at z ≲ 5, but our median values are systematically lower than reported values over the whole redshift range. In addition, we do not find a significant dependence of XLAE on M1500 for EW(Lyα) ≥ 50 Å at z ≈ 3–4, in contrast with previous work. The differences in XLAE mainly arise from selection biases for Lyman Break Galaxies (LBGs) in the literature: UV-faint LBGs are more easily selected if they have strong Lyα emission, hence XLAE is biased towards higher values when those samples are used.
Conclusions. Our results suggest either a lower increase of XLAE towards z ≈ 6 than previously suggested, or even a turnover of XLAE at z ≈ 5.5, which may be the signature of a late or patchy reionization process. We compared our results with predictions from a cosmological galaxy evolution model. We find that a model with a bursty star formation (SF) can reproduce our observed LAE fractions much better than models where SF is a smooth function of time.},
  author       = {Kusakabe, Haruka and Blaizot, Jérémy and Garel, Thibault and Verhamme, Anne and Bacon, Roland and Richard, Johan and Hashimoto, Takuya and Inami, Hanae and Conseil, Simon and Guiderdoni, Bruno and Drake, Alyssa B. and Christian Herenz, Edmund and Schaye, Joop and Oesch, Pascal and Matthee, Jorryt J and Anna Marino, Raffaella and Borello Schmidt, Kasper and Pelló, Roser and Maseda, Michael and Leclercq, Floriane and Kerutt, Josephine and Mahler, Guillaume},
  issn         = {1432-0746},
  journal      = {Astronomy & Astrophysics},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics, dark ages / reionization / first stars / early Universe / cosmology: observations / galaxies: evolution / galaxies: high-redshift / intergalactic medium},
  publisher    = {EDP Sciences},
  title        = {{The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6}},
  doi          = {10.1051/0004-6361/201937340},
  volume       = {638},
  year         = {2020},
}

@article{11533,
  abstract     = {We explore deep rest-frame UV to FIR data in the COSMOS field to measure the individual spectral energy distributions (SED) of the ∼4000 SC4K (Sobral et al.) Lyman α (Ly α) emitters (LAEs) at z ∼ 2–6. We find typical stellar masses of 109.3 ± 0.6 M⊙ and star formation rates (SFR) of SFRSED=4.4+10.5−2.4 M⊙ yr−1 and SFRLyα=5.9+6.3−2.6 M⊙ yr−1, combined with very blue UV slopes of β=−2.1+0.5−0.4⁠, but with significant variations within the population. MUV and β are correlated in a similar way to UV-selected sources, but LAEs are consistently bluer. This suggests that LAEs are the youngest and/or most dust-poor subset of the UV-selected population. We also study the Ly α rest-frame equivalent width (EW0) and find 45 ‘extreme’ LAEs with EW0 > 240 Å (3σ), implying a low number density of (7 ± 1) × 10−7 Mpc−3. Overall, we measure little to no evolution of the Ly α EW0 and scale length parameter (w0), which are consistently high (EW0=140+280−70 Å, w0=129+11−11 Å) from z ∼ 6 to z ∼ 2 and below. However, w0 is anticorrelated with MUV and stellar mass. Our results imply that sources selected as LAEs have a high Ly α escape fraction (fesc,Ly α) irrespective of cosmic time, but fesc,Ly α is still higher for UV-fainter and lower mass LAEs. The least massive LAEs (<109.5 M⊙) are typically located above the star formation ‘main sequence’ (MS), but the offset from the MS decreases towards z ∼ 6 and towards 1010 M⊙. Our results imply a lack of evolution in the properties of LAEs across time and reveals the increasing overlap in properties of LAEs and UV-continuum selected galaxies as typical star-forming galaxies at high redshift effectively become LAEs.},
  author       = {Santos, S and Sobral, D and Matthee, Jorryt J and Calhau, J and da Cunha, E and Ribeiro, B and Paulino-Afonso, A and Arrabal Haro, P and Butterworth, J},
  issn         = {1365-2966},
  journal      = {Monthly Notices of the Royal Astronomical Society},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics, galaxies: evolution, galaxies: formation, galaxies: high-redshift, galaxies: star formation},
  number       = {1},
  pages        = {141--160},
  publisher    = {Oxford University Press},
  title        = {{The evolution of rest-frame UV properties, Ly α EWs, and the SFR–stellar mass relation at z ∼ 2–6 for SC4K LAEs}},
  doi          = {10.1093/mnras/staa093},
  volume       = {493},
  year         = {2020},
}

@article{11539,
  abstract     = {Despite recent progress in understanding Ly α emitters (LAEs), relatively little is known regarding their typical black hole activity across cosmic time. Here, we study the X-ray and radio properties of ∼4000 LAEs at 2.2 < z < 6 from the SC4K survey in the COSMOS field. We detect 254 (⁠6.8per cent±0.4per cent⁠) LAEs individually in the X-rays (S/N > 3) with an average luminosity of 1044.31±0.01ergs−1 and average black hole accretion rate (BHAR) of 0.72±0.01 M⊙ yr−1, consistent with moderate to high accreting active galactic neuclei (AGNs). We detect 120 sources in deep radio data (radio AGN fraction of 3.2per cent±0.3per cent⁠). The global AGN fraction (⁠8.6per cent±0.4per cent⁠) rises with Ly α luminosity and declines with increasing redshift. For X-ray-detected LAEs, Ly α luminosities correlate with the BHARs, suggesting that Ly α luminosity becomes a BHAR indicator. Most LAEs (⁠93.1per cent±0.6per cent⁠) at 2 < z < 6 have no detectable X-ray emission (BHARs < 0.017 M⊙ yr−1). The median star formation rate (SFR) of star-forming LAEs from Ly α and radio luminosities is 7.6+6.6−2.8 M⊙ yr−1. The black hole to galaxy growth ratio (BHAR/SFR) for LAEs is <0.0022, consistent with typical star-forming galaxies and the local BHAR/SFR relation. We conclude that LAEs at 2 < z < 6 include two different populations: an AGN population, where Ly α luminosity traces BHAR, and another with low SFRs which remain undetected in even the deepest X-ray stacks but is detected in the radio stacks.},
  author       = {Calhau, João and Sobral, David and Santos, Sérgio and Matthee, Jorryt J and Paulino-Afonso, Ana and Stroe, Andra and Simmons, Brooke and Barlow-Hall, Cassandra and Adams, Benjamin},
  issn         = {1365-2966},
  journal      = {Monthly Notices of the Royal Astronomical Society},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics, galaxies: active, galaxies: evolution, galaxies: high-redshift, quasars: supermassive black holes, galaxies: star formation, cosmology: observations, X-rays: galaxies},
  number       = {3},
  pages        = {3341--3362},
  publisher    = {Oxford University Press},
  title        = {{The X-ray and radio activity of typical and luminous Ly α emitters from z ∼ 2 to z ∼ 6: Evidence for a diverse, evolving population}},
  doi          = {10.1093/mnras/staa476},
  volume       = {493},
  year         = {2020},
}

@article{11610,
  abstract     = {Studies of Galactic structure and evolution have benefited enormously from Gaia kinematic information, though additional, intrinsic stellar parameters like age are required to best constrain Galactic models. Asteroseismology is the most precise method of providing such information for field star populations en masse, but existing samples for the most part have been limited to a few narrow fields of view by the CoRoT and Kepler missions. In an effort to provide well-characterized stellar parameters across a wide range in Galactic position, we present the second data release of red giant asteroseismic parameters for the K2 Galactic Archaeology Program (GAP). We provide ${\nu }_{\max }$ and ${\rm{\Delta }}\nu $ based on six independent pipeline analyses; first-ascent red giant branch (RGB) and red clump (RC) evolutionary state classifications from machine learning; and ready-to-use radius and mass coefficients, κR and κM, which, when appropriately multiplied by a solar-scaled effective temperature factor, yield physical stellar radii and masses. In total, we report 4395 radius and mass coefficients, with typical uncertainties of 3.3% (stat.) ± 1% (syst.) for κR and 7.7% (stat.) ± 2% (syst.) for κM among RGB stars, and 5.0% (stat.) ± 1% (syst.) for κR and 10.5% (stat.) ± 2% (syst.) for κM among RC stars. We verify that the sample is nearly complete—except for a dearth of stars with ${\nu }_{\max }\lesssim 10\mbox{--}20\,\mu \mathrm{Hz}$—by comparing to Galactic models and visual inspection. Our asteroseismic radii agree with radii derived from Gaia Data Release 2 parallaxes to within 2.2% ± 0.3% for RGB stars and 2.0% ± 0.6% for RC stars.},
  author       = {Zinn, Joel C. and Stello, Dennis and Elsworth, Yvonne and García, Rafael A. and Kallinger, Thomas and Mathur, Savita and Mosser, Benoît and Bugnet, Lisa Annabelle and Jones, Caitlin and Hon, Marc and Sharma, Sanjib and Schönrich, Ralph and Warfield, Jack T. and Luger, Rodrigo and Pinsonneault, Marc H. and Johnson, Jennifer A. and Huber, Daniel and Aguirre, Victor Silva and Chaplin, William J. and Davies, Guy R. and Miglio, Andrea},
  issn         = {1538-4365},
  journal      = {The Astrophysical Journal Supplement Series},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics},
  number       = {2},
  publisher    = {IOP Publishing},
  title        = {{The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7}},
  doi          = {10.3847/1538-4365/abbee3},
  volume       = {251},
  year         = {2020},
}

@article{11979,
  abstract     = {Dual photoredox/nickel-catalysed C–N cross-couplings suffer from low yields for electron-rich aryl halides. The formation of catalytically inactive nickel-black is responsible for this limitation and causes severe reproducibility issues. Here, we demonstrate that catalyst deactivation can be avoided by using a carbon nitride photocatalyst. The broad absorption of the heterogeneous photocatalyst enables wavelength-dependent control of the rate of reductive elimination to prevent nickel-black formation during the coupling of cyclic, secondary amines and aryl halides. A second approach, which is applicable to a broader set of electron-rich aryl halides, is to run the reactions at high concentrations to increase the rate of oxidative addition. Less nucleophilic, primary amines can be coupled with electron-rich aryl halides by stabilizing low-valent nickel intermediates with a suitable additive. The developed protocols enable reproducible, selective C–N cross-couplings of electron-rich aryl bromides and can also be applied for electron-poor aryl chlorides.},
  author       = {Gisbertz, Sebastian and Reischauer, Susanne and Pieber, Bartholomäus},
  issn         = {2520-1158},
  journal      = {Nature Catalysis},
  number       = {8},
  pages        = {611--620},
  publisher    = {Springer Nature},
  title        = {{Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation}},
  doi          = {10.1038/s41929-020-0473-6},
  volume       = {3},
  year         = {2020},
}

@article{13466,
  abstract     = {Context. A majority of massive stars are part of binary systems, a large fraction of which will inevitably interact during their lives. Binary-interaction products (BiPs), that is, stars affected by such interaction, are expected to be commonly present in stellar populations. BiPs are thus a crucial ingredient in the understanding of stellar evolution.
Aims. We aim to identify and characterize a statistically significant sample of BiPs by studying clusters of 10 − 40 Myr, an age at which binary population models predict the abundance of BiPs to be highest. One example of such a cluster is NGC 330 in the Small Magellanic Cloud.
Methods. Using MUSE WFM-AO observations of NGC 330, we resolved the dense cluster core for the first time and were able to extract spectra of its entire massive star population. We developed an automated spectral classification scheme based on the equivalent widths of spectral lines in the red part of the spectrum.
Results. We characterize the massive star content of the core of NGC 330, which contains more than 200 B stars, 2 O stars, 6 A-type supergiants, and 11 red supergiants. We find a lower limit on the Be star fraction of 32 ± 3% in the whole sample. It increases to at least 46 ± 10% when we only consider stars brighter than V = 17 mag. We estimate an age of the cluster core between 35 and 40 Myr and a total cluster mass of 88−18+17 × 103 M⊙.
Conclusions. We find that the population in the cluster core is different than the population in the outskirts: while the stellar content in the core appears to be older than the stars in the outskirts, the Be star fraction and the observed binary fraction are significantly higher. Furthermore, we detect several BiP candidates that will be subject of future studies.},
  author       = {Bodensteiner, J. and Sana, H. and Mahy, L. and Patrick, L. R. and de Koter, A. and de Mink, S. E. and Evans, C. J. and Götberg, Ylva Louise Linsdotter and Langer, N. and Lennon, D. J. and Schneider, F. R. N. and Tramper, F.},
  issn         = {1432-0746},
  journal      = {Astronomy & Astrophysics},
  keywords     = {stars: massive / stars: emission-line / Be / binaries: spectroscopic / blue stragglers / Magellanic Clouds},
  publisher    = {EDP Sciences},
  title        = {{The young massive SMC cluster NGC 330 seen by MUSE}},
  doi          = {10.1051/0004-6361/201936743},
  volume       = {634},
  year         = {2020},
}

@inproceedings{15071,
  abstract     = {A mesophilic methanogenic culture, designated JL01, was isolated from Holocene permafrost in the Russian Arctic [1]. After long-term extensive cultivation at 15°C it turned out to be a tied binary culture of archaeal (JL01) and bacterial (Sphaerochaeta associata GLS2) strains.
Strain JL01 was a strict anaerobe and grew on methanol, acetate and methylamines as energy and carbon sources. Cells were irregular coccoid, non-motile, non-spore-forming, and Gram-stainpositive. Optimum conditions for growth were 24-28 oC, pH 6.8–7.3 and 0.075-0.1 M NaCl.
Phylogenetic tree reconstructions based on 16S rRNA and concatenated alignment of broadly
conserved protein-coding genes revealed its close relation to Methanosarcina mazei S-6
T (similarity 99.5%). The comparison of whole genomic sequences (ANI) of the isolate and the type strain of M.mazei was 98.5%, which is higher than the values recommended for new species. Thus strain JL01 (=VKM B-2370=JCM 31898) represents the first M. mazei isolated from permanently subzero Arcticsediments. The long-term co-cultivation of JL01 with S. associata GLS2T showed the methane production without any additional carbon and energy sources. Genome analysis of S. associata GLS2T revealed putative genes involved in methanochondroithin catabolism.},
  author       = {Oshurkova, Viktoriia and Troshina, Olga and Trubitsyn, Vladimir and Ryzhmanova, Yana and Bochkareva, Olga and Shcherbakova, Viktoria},
  booktitle    = {Proceedings of 1st International Electronic Conference on Microbiology},
  location     = {Virtual},
  publisher    = {MDPI},
  title        = {{Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T}},
  doi          = {10.3390/ecm2020-07116},
  year         = {2020},
}

@article{17542,
  abstract     = {We present a new semianalytic model of the formation of the first stars. Our method takes dark matter halo merger trees (including three-dimensional spatial information) from cosmological N-body simulations as input and applies analytic prescriptions to compute both the Population III and metal-enriched star formation histories. We have developed a novel method to accurately compute the major feedback processes affecting Population III star formation: H2 photodissociation from Lyman–Werner (LW) radiation, suppression of star formation due to inhomogeneous reionization, and metal enrichment via supernova winds. Our method utilizes a grid-based approach relying on fast Fourier transforms to rapidly track the LW intensity, ionization fraction, and metallicity in three dimensions throughout the simulation box. We present simulations for a wide range of astrophysical model parameters from z ≈ 30 to 6. Initially long-range LW feedback and local metal enrichment and reionization feedback dominate. However, for z ≲ 15 we find that the star formation rate density (SFRD) of Population III stars is impacted by the combination of external metal enrichment (metals from one halo polluting other pristine halos) and inhomogeneous reionization. We find that the interplay of these processes is particularly important for the Population III SFRD at z ≲ 10. Reionization feedback delays star formation long enough for metal bubbles to reach halos that would otherwise form Population III stars. Including these effects can lead to more than an order-of-magnitude decrease in the Population III SFRD at z = 6 compared to LW feedback alone.},
  author       = {Visbal, Eli and Bryan, Greg L. and Haiman, Zoltán},
  issn         = {0004-637X},
  journal      = {The Astrophysical Journal},
  number       = {1},
  publisher    = {American Astronomical Society},
  title        = {{Self-consistent semianalytic modeling of feedback during primordial star formation and reionization}},
  doi          = {10.3847/1538-4357/ab994e},
  volume       = {897},
  year         = {2020},
}

@article{7632,
  abstract     = {The posterior parietal cortex (PPC) and frontal motor areas comprise a cortical network supporting goal-directed behaviour, with functions including sensorimotor transformations and decision making. In primates, this network links performed and observed actions via mirror neurons, which fire both when individuals perform an action and when they observe the same action performed by a conspecific. Mirror neurons are believed to be important for social learning, but it is not known whether mirror-like neurons occur in similar networks in other social species, such as rodents, or if they can be measured in such models using paradigms where observers passively view a demonstrator. Therefore, we imaged Ca2+ responses in PPC and secondary motor cortex (M2) while mice performed and observed pellet-reaching and wheel-running tasks, and found that cell populations in both areas robustly encoded several naturalistic behaviours. However, neural responses to the same set of observed actions were absent, although we verified that observer mice were attentive to performers and that PPC neurons responded reliably to visual cues. Statistical modelling also indicated that executed actions outperformed observed actions in predicting neural responses. These results raise the possibility that sensorimotor action recognition in rodents could take place outside of the parieto-frontal circuit, and underscore that detecting socially-driven neural coding depends critically on the species and behavioural paradigm used.},
  author       = {Tombaz, Tuce and Dunn, Benjamin A. and Hovde, Karoline and Cubero, Ryan J and Mimica, Bartul and Mamidanna, Pranav and Roudi, Yasser and Whitlock, Jonathan R.},
  issn         = {2045-2322},
  journal      = {Scientific reports},
  number       = {1},
  publisher    = {Springer Nature},
  title        = {{Action representation in the mouse parieto-frontal network}},
  doi          = {10.1038/s41598-020-62089-6},
  volume       = {10},
  year         = {2020},
}

@article{7792,
  abstract     = {Phonon polaritons—light coupled to lattice vibrations—in polar van der Waals crystals are promising candidates for controlling the flow of energy on the nanoscale due to their strong field confinement, anisotropic propagation and ultra-long lifetime in the picosecond range1,2,3,4,5. However, the lack of tunability of their narrow and material-specific spectral range—the Reststrahlen band—severely limits their technological implementation. Here, we demonstrate that intercalation of Na atoms in the van der Waals semiconductor α-V2O5 enables a broad spectral shift of Reststrahlen bands, and that the phonon polaritons excited show ultra-low losses (lifetime of 4 ± 1 ps), similar to phonon polaritons in a non-intercalated crystal (lifetime of 6 ± 1 ps). We expect our intercalation method to be applicable to other van der Waals crystals, opening the door for the use of phonon polaritons in broad spectral bands in the mid-infrared domain.},
  author       = {Taboada-Gutiérrez, Javier and Álvarez-Pérez, Gonzalo and Duan, Jiahua and Ma, Weiliang and Crowley, Kyle and Prieto Gonzalez, Ivan and Bylinkin, Andrei and Autore, Marta and Volkova, Halyna and Kimura, Kenta and Kimura, Tsuyoshi and Berger, M. H. and Li, Shaojuan and Bao, Qiaoliang and Gao, Xuan P.A. and Errea, Ion and Nikitin, Alexey Y. and Hillenbrand, Rainer and Martín-Sánchez, Javier and Alonso-González, Pablo},
  issn         = {1476-4660},
  journal      = {Nature Materials},
  pages        = {964–968},
  publisher    = {Springer Nature},
  title        = {{Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation}},
  doi          = {10.1038/s41563-020-0665-0},
  volume       = {19},
  year         = {2020},
}

@article{7940,
  abstract     = {We prove that the Yangian associated to an untwisted symmetric affine Kac–Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed in [YZ14] as an algebraic formalism of cohomological Hall algebras. As a consequence, we obtain the Poincare–Birkhoff–Witt (PBW) theorem for this class of affine Yangians. Another independent proof of the PBW theorem is given recently by Guay, Regelskis, and Wendlandt [GRW18].},
  author       = {Yang, Yaping and Zhao, Gufang},
  issn         = {1531-586X},
  journal      = {Transformation Groups},
  pages        = {1371--1385},
  publisher    = {Springer Nature},
  title        = {{The PBW theorem for affine Yangians}},
  doi          = {10.1007/s00031-020-09572-6},
  volume       = {25},
  year         = {2020},
}

@inproceedings{7952,
  abstract     = {Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f: ℝ^d → ℝ^(d-n). A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation 𝒯 of the ambient space ℝ^d. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently fine triangulation 𝒯. This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary. },
  author       = {Boissonnat, Jean-Daniel and Wintraecken, Mathijs},
  booktitle    = {36th International Symposium on Computational Geometry},
  isbn         = {978-3-95977-143-6},
  issn         = {1868-8969},
  location     = {Zürich, Switzerland},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{The topological correctness of PL-approximations of isomanifolds}},
  doi          = {10.4230/LIPIcs.SoCG.2020.20},
  volume       = {164},
  year         = {2020},
}

@article{8091,
  abstract     = {In the setting of the fractional quantum Hall effect we study the effects of strong, repulsive two-body interaction potentials of short range. We prove that Haldane’s pseudo-potential operators, including their pre-factors, emerge as mathematically rigorous limits of such interactions when the range of the potential tends to zero while its strength tends to infinity. In a common approach the interaction potential is expanded in angular momentum eigenstates in the lowest Landau level, which amounts to taking the pre-factors to be the moments of the potential. Such a procedure is not appropriate for very strong interactions, however, in particular not in the case of hard spheres. We derive the formulas valid in the short-range case, which involve the scattering lengths of the interaction potential in different angular momentum channels rather than its moments. Our results hold for bosons and fermions alike and generalize previous results in [6], which apply to bosons in the lowest angular momentum channel. Our main theorem asserts the convergence in a norm-resolvent sense of the Hamiltonian on the whole Hilbert space, after appropriate energy scalings, to Hamiltonians with contact interactions in the lowest Landau level.},
  author       = {Seiringer, Robert and Yngvason, Jakob},
  issn         = {1572-9613},
  journal      = {Journal of Statistical Physics},
  pages        = {448--464},
  publisher    = {Springer},
  title        = {{Emergence of Haldane pseudo-potentials in systems with short-range interactions}},
  doi          = {10.1007/s10955-020-02586-0},
  volume       = {181},
  year         = {2020},
}

@article{8402,
  abstract     = {Background: The mitochondrial pyruvate carrier (MPC) plays a central role in energy metabolism by transporting pyruvate across the inner mitochondrial membrane. Its heterodimeric composition and homology to SWEET and semiSWEET transporters set the MPC apart from the canonical mitochondrial carrier family (named MCF or SLC25). The import of the canonical carriers is mediated by the carrier translocase of the inner membrane (TIM22) pathway and is dependent on their structure, which features an even number of transmembrane segments and both termini in the intermembrane space. The import pathway of MPC proteins has not been elucidated. The odd number of transmembrane segments and positioning of the N-terminus in the matrix argues against an import via the TIM22 carrier pathway but favors an import via the flexible presequence pathway.
Results: Here, we systematically analyzed the import pathways of Mpc2 and Mpc3 and report that, contrary to an expected import via the flexible presequence pathway, yeast MPC proteins with an odd number of transmembrane segments and matrix-exposed N-terminus are imported by the carrier pathway, using the receptor Tom70, small TIM chaperones, and the TIM22 complex. The TIM9·10 complex chaperones MPC proteins through the mitochondrial intermembrane space using conserved hydrophobic motifs that are also required for the interaction with canonical carrier proteins.
Conclusions: The carrier pathway can import paired and non-paired transmembrane helices and translocate N-termini to either side of the mitochondrial inner membrane, revealing an unexpected versatility of the mitochondrial import pathway for non-cleavable inner membrane proteins.},
  author       = {Rampelt, Heike and Sucec, Iva and Bersch, Beate and Horten, Patrick and Perschil, Inge and Martinou, Jean-Claude and van der Laan, Martin and Wiedemann, Nils and Schanda, Paul and Pfanner, Nikolaus},
  issn         = {1741-7007},
  journal      = {BMC Biology},
  keywords     = {Biotechnology, Plant Science, General Biochemistry, Genetics and Molecular Biology, Developmental Biology, Cell Biology, Physiology, Ecology, Evolution, Behavior and Systematics, Structural Biology, General Agricultural and Biological Sciences},
  publisher    = {Springer Nature},
  title        = {{The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments}},
  doi          = {10.1186/s12915-019-0733-6},
  volume       = {18},
  year         = {2020},
}

@article{8568,
  abstract     = {Aqueous iodine based electrochemical energy storage is considered a potential candidate to improve sustainability and performance of current battery and supercapacitor technology. It harnesses the redox activity of iodide, iodine, and polyiodide species in the confined geometry of nanoporous carbon electrodes. However, current descriptions of the electrochemical reaction mechanism to interconvert these species are elusive. Here we show that electrochemical oxidation of iodide in nanoporous carbons forms persistent solid iodine deposits. Confinement slows down dissolution into triiodide and pentaiodide, responsible for otherwise significant self-discharge via shuttling. The main tools for these insights are in situ Raman spectroscopy and in situ small and wide-angle X-ray scattering (in situ SAXS/WAXS). In situ Raman confirms the reversible formation of triiodide and pentaiodide. In situ SAXS/WAXS indicates remarkable amounts of solid iodine deposited in the carbon nanopores. Combined with stochastic modeling, in situ SAXS allows quantifying the solid iodine volume fraction and visualizing the iodine structure on 3D lattice models at the sub-nanometer scale. Based on the derived mechanism, we demonstrate strategies for improved iodine pore filling capacity and prevention of self-discharge, applicable to hybrid supercapacitors and batteries.},
  author       = {Prehal, Christian and Fitzek, Harald and Kothleitner, Gerald and Presser, Volker and Gollas, Bernhard and Freunberger, Stefan Alexander and Abbas, Qamar},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  keywords     = {General Biochemistry, Genetics and Molecular Biology, General Physics and Astronomy, General Chemistry},
  publisher    = {Springer Nature},
  title        = {{Persistent and reversible solid iodine electrodeposition in nanoporous carbons}},
  doi          = {10.1038/s41467-020-18610-6},
  volume       = {11},
  year         = {2020},
}

@inproceedings{8571,
  abstract     = {We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2020. This year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.},
  author       = {Geretti, Luca and Alexandre Dit Sandretto, Julien and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Collins, Pieter and Forets, Marcelo and Freire, Daniel and Immler, Fabian and Kochdumper, Niklas and Sanders, David and Schilling, Christian},
  booktitle    = {EPiC Series in Computing},
  pages        = {49--75},
  publisher    = {EasyChair},
  title        = {{ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics}},
  doi          = {10.29007/zkf6},
  volume       = {74},
  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{7207,
  abstract     = {The hippocampus plays key roles in learning and memory and is a main target of Alzheimer's disease (AD), which causes progressive memory impairments. Despite numerous investigations about the processes required for the normal hippocampal functions, the neurotransmitter receptors involved in the synaptic deficits by which AD disables the hippocampus are not yet characterized. By combining histoblots, western blots, immunohistochemistry and high‐resolution immunoelectron microscopic methods for GABAB receptors, this study provides a quantitative description of the expression and the subcellular localization of GABAB1 in the hippocampus in a mouse model of AD at 1, 6 and 12 months of age. Western blots and histoblots showed that the total amount of protein and the laminar expression pattern of GABAB1 were similar in APP/PS1 mice and in age‐matched wild‐type mice. In contrast, immunoelectron microscopic techniques showed that the subcellular localization of GABAB1 subunit did not change significantly in APP/PS1 mice at 1 month of age, was significantly reduced in the stratum lacunosum‐moleculare of CA1 pyramidal cells at 6 months of age and significantly reduced at the membrane surface of CA1 pyramidal cells at 12 months of age. This reduction of plasma membrane GABAB1 was paralleled by a significant increase of the subunit at the intracellular sites. We further observed a decrease of membrane‐targeted GABAB receptors in axon terminals contacting CA1 pyramidal cells. Our data demonstrate compartment‐ and age‐dependent reduction of plasma membrane‐targeted GABAB receptors in the CA1 region of the hippocampus, suggesting that this decrease might be enough to alter the GABAB‐mediated synaptic transmission taking place in AD.},
  author       = {Martín-Belmonte, Alejandro and Aguado, Carolina and Alfaro-Ruíz, Rocío and Moreno-Martínez, Ana Esther and De La Ossa, Luis and Martínez-Hernández, José and Buisson, Alain and Früh, Simon and Bettler, Bernhard and Shigemoto, Ryuichi and Fukazawa, Yugo and Luján, Rafael},
  issn         = {1750-3639},
  journal      = {Brain Pathology},
  number       = {3},
  pages        = {554--575},
  publisher    = {Wiley},
  title        = {{Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease}},
  doi          = {10.1111/bpa.12802},
  volume       = {30},
  year         = {2020},
}

@book{7474,
  abstract     = {This booklet is a collection of abstracts presented at the AHPC conference.},
  editor       = {Schlögl, Alois and Kiss, Janos and Elefante, Stefano},
  isbn         = {978-3-99078-004-6},
  location     = {Klosterneuburg, Austria},
  pages        = {72},
  publisher    = {IST Austria},
  title        = {{Austrian High-Performance-Computing meeting (AHPC2020)}},
  doi          = {10.15479/AT:ISTA:7474},
  year         = {2020},
}