@article{14039, abstract = {Membranes are essential for life. They act as semi-permeable boundaries that define cells and organelles. In addition, their surfaces actively participate in biochemical reaction networks, where they confine proteins, align reaction partners, and directly control enzymatic activities. Membrane-localized reactions shape cellular membranes, define the identity of organelles, compartmentalize biochemical processes, and can even be the source of signaling gradients that originate at the plasma membrane and reach into the cytoplasm and nucleus. The membrane surface is, therefore, an essential platform upon which myriad cellular processes are scaffolded. In this review, we summarize our current understanding of the biophysics and biochemistry of membrane-localized reactions with particular focus on insights derived from reconstituted and cellular systems. We discuss how the interplay of cellular factors results in their self-organization, condensation, assembly, and activity, and the emergent properties derived from them.}, author = {Leonard, Thomas A. and Loose, Martin and Martens, Sascha}, issn = {1878-1551}, journal = {Developmental Cell}, number = {15}, pages = {1315--1332}, publisher = {Elsevier}, title = {{The membrane surface as a platform that organizes cellular and biochemical processes}}, doi = {10.1016/j.devcel.2023.06.001}, volume = {58}, year = {2023}, } @article{14040, abstract = {Robust oxygenic photosynthesis requires a suite of accessory factors to ensure efficient assembly and repair of the oxygen-evolving photosystem two (PSII) complex. The highly conserved Ycf48 assembly factor binds to the newly synthesized D1 reaction center polypeptide and promotes the initial steps of PSII assembly, but its binding site is unclear. Here we use cryo-electron microscopy to determine the structure of a cyanobacterial PSII D1/D2 reaction center assembly complex with Ycf48 attached. Ycf48, a 7-bladed beta propeller, binds to the amino-acid residues of D1 that ultimately ligate the water-oxidising Mn4CaO5 cluster, thereby preventing the premature binding of Mn2+ and Ca2+ ions and protecting the site from damage. Interactions with D2 help explain how Ycf48 promotes assembly of the D1/D2 complex. Overall, our work provides valuable insights into the early stages of PSII assembly and the structural changes that create the binding site for the Mn4CaO5 cluster.}, author = {Zhao, Ziyu and Vercellino, Irene and Knoppová, Jana and Sobotka, Roman and Murray, James W. and Nixon, Peter J. and Sazanov, Leonid A and Komenda, Josef}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis}}, doi = {10.1038/s41467-023-40388-6}, volume = {14}, year = {2023}, } @inproceedings{13967, abstract = {A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, total reward, and mean payoff, and SG with reachability.In this paper, we provide the first stopping criteria for VI on SG with total reward and mean payoff, yielding the first anytime algorithms in these settings. To this end, we provide the solution in two flavours: First through a reduction to the MDP case and second directly on SG. The former is simpler and automatically utilizes any advances on MDP. The latter allows for more local computations, heading towards better practical efficiency.Our solution unifies the previously mentioned approaches for MDP and SG and their underlying ideas. To achieve this, we isolate objective-specific subroutines as well as identify objective-independent concepts. These structural concepts, while surprisingly simple, form the very essence of the unified solution.}, author = {Kretinsky, Jan and Meggendorfer, Tobias and Weininger, Maximilian}, booktitle = {38th Annual ACM/IEEE Symposium on Logic in Computer Science}, isbn = {9798350335873}, issn = {1043-6871}, location = {Boston, MA, United States}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Stopping criteria for value iteration on stochastic games with quantitative objectives}}, doi = {10.1109/LICS56636.2023.10175771}, volume = {2023}, year = {2023}, } @article{13965, abstract = {Many modes and mechanisms of epigenetic inheritance have been elucidated in eukaryotes. Most of them are relatively short-term, generally not exceeding one or a few organismal generations. However, emerging evidence indicates that one mechanism, cytosine DNA methylation, can mediate epigenetic inheritance over much longer timescales, which are mostly or completely inaccessible in the laboratory. Here we discuss the evidence for, and mechanisms and implications of, such long-term epigenetic inheritance. We argue that compelling evidence supports the long-term epigenetic inheritance of gene body methylation, at least in the model angiosperm Arabidopsis thaliana, and that variation in such methylation can therefore serve as an epigenetic basis for phenotypic variation in natural populations.}, author = {Hollwey, Elizabeth and Briffa, Amy and Howard, Martin and Zilberman, Daniel}, issn = {1879-0380}, journal = {Current Opinion in Genetics and Development}, number = {8}, publisher = {Elsevier}, title = {{Concepts, mechanisms and implications of long-term epigenetic inheritance}}, doi = {10.1016/j.gde.2023.102087}, volume = {81}, year = {2023}, } @phdthesis{14058, abstract = {Females and males across species are subject to divergent selective pressures arising from di↵erent reproductive interests and ecological niches. This often translates into a intricate array of sex-specific natural and sexual selection on traits that have a shared genetic basis between both sexes, causing a genetic sexual conflict. The resolution of this conflict mostly relies on the evolution of sex-specific expression of the shared genes, leading to phenotypic sexual dimorphism. Such sex-specific gene expression is thought to evolve via modifications of the genetic networks ultimately linked to sex-determining transcription factors. Although much empirical and theoretical evidence supports this standard picture of the molecular basis of sexual conflict resolution, there still are a few open questions regarding the complex array of selective forces driving phenotypic di↵erentiation between the sexes, as well as the molecular mechanisms underlying sexspecific adaptation. I address some of these open questions in my PhD thesis. First, how do patterns of phenotypic sexual dimorphism vary within populations, as a response to the temporal and spatial changes in sex-specific selective forces? To tackle this question, I analyze the patterns of sex-specific phenotypic variation along three life stages and across populations spanning the whole geographical range of Rumex hastatulus, a wind-pollinated angiosperm, in the first Chapter of the thesis. Second, how do gene expression patterns lead to phenotypic dimorphism, and what are the molecular mechanisms underlying the observed transcriptomic variation? I address this question by examining the sex- and tissue-specific expression variation in newly-generated datasets of sex-specific expression in heads and gonads of Drosophila melanogaster. I additionally used two complementary approaches for the study of the genetic basis of sex di↵erences in gene expression in the second and third Chapters of the thesis. Third, how does intersex correlation, thought to be one of the main aspects constraining the ability for the two sexes to decouple, interact with the evolution of sexual dimorphism? I develop models of sex-specific stabilizing selection, mutation and drift to formalize common intuition regarding the patterns of covariation between intersex correlation and sexual dimorphism in the fourth Chapter of the thesis. Alltogether, the work described in this PhD thesis provides useful insights into the links between genetic, transcriptomic and phenotypic layers of sex-specific variation, and contributes to our general understanding of the dynamics of sexual dimorphism evolution.}, author = {Puixeu Sala, Gemma}, isbn = {978-3-99078-035-0}, issn = {2663-337X}, pages = {230}, publisher = {Institute of Science and Technology Austria}, title = {{The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation}}, doi = {10.15479/at:ista:14058}, year = {2023}, } @article{14077, abstract = {The regulatory architecture of gene expression is known to differ substantially between sexes in Drosophila, but most studies performed so far used whole-body data and only single crosses, which may have limited their scope to detect patterns that are robust across tissues and biological replicates. Here, we use allele-specific gene expression of parental and reciprocal hybrid crosses between 6 Drosophila melanogaster inbred lines to quantify cis- and trans-regulatory variation in heads and gonads of both sexes separately across 3 replicate crosses. Our results suggest that female and male heads, as well as ovaries, have a similar regulatory architecture. On the other hand, testes display more and substantially different cis-regulatory effects, suggesting that sex differences in the regulatory architecture that have been previously observed may largely derive from testis-specific effects. We also examine the difference in cis-regulatory variation of genes across different levels of sex bias in gonads and heads. Consistent with the idea that intersex correlations constrain expression and can lead to sexual antagonism, we find more cis variation in unbiased and moderately biased genes in heads. In ovaries, reduced cis variation is observed for male-biased genes, suggesting that cis variants acting on these genes in males do not lead to changes in ovary expression. Finally, we examine the dominance patterns of gene expression and find that sex- and tissue-specific patterns of inheritance as well as trans-regulatory variation are highly variable across biological crosses, although these were performed in highly controlled experimental conditions. This highlights the importance of using various genetic backgrounds to infer generalizable patterns.}, author = {Puixeu Sala, Gemma and Macon, Ariana and Vicoso, Beatriz}, issn = {2160-1836}, journal = {G3: Genes, Genomes, Genetics}, keywords = {Genetics (clinical), Genetics, Molecular Biology}, number = {8}, publisher = {Oxford University Press}, title = {{Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster}}, doi = {10.1093/g3journal/jkad121}, volume = {13}, year = {2023}, } @article{14082, abstract = {Epithelial barrier function is commonly analyzed using transepithelial electrical resistance, which measures ion flux across a monolayer, or by adding traceable macromolecules and monitoring their passage across the monolayer. Although these methods measure changes in global barrier function, they lack the sensitivity needed to detect local or transient barrier breaches, and they do not reveal the location of barrier leaks. Therefore, we previously developed a method that we named the zinc-based ultrasensitive microscopic barrier assay (ZnUMBA), which overcomes these limitations, allowing for detection of local tight junction leaks with high spatiotemporal resolution. Here, we present expanded applications for ZnUMBA. ZnUMBA can be used in Xenopus embryos to measure the dynamics of barrier restoration and actin accumulation following laser injury. ZnUMBA can also be effectively utilized in developing zebrafish embryos as well as cultured monolayers of Madin–Darby canine kidney (MDCK) II epithelial cells. ZnUMBA is a powerful and flexible method that, with minimal optimization, can be applied to multiple systems to measure dynamic changes in barrier function with spatiotemporal precision.}, author = {Higashi, Tomohito and Stephenson, Rachel E. and Schwayer, Cornelia and Huljev, Karla and Higashi, Atsuko Y. and Heisenberg, Carl-Philipp J and Chiba, Hideki and Miller, Ann L.}, issn = {1477-9137}, journal = {Journal of Cell Science}, number = {15}, publisher = {The Company of Biologists}, title = {{ZnUMBA - a live imaging method to detect local barrier breaches}}, doi = {10.1242/jcs.260668}, volume = {136}, year = {2023}, } @article{13988, abstract = {Most permissionless blockchains inherently suffer from throughput limitations. Layer-2 systems, such as side-chains or Rollups, have been proposed as a possible strategy to overcome this limitation. Layer-2 systems interact with the main-chain in two ways. First, users can move funds from/to the main-chain to/from the layer-2. Second, layer-2 systems periodically synchronize with the main-chain to keep some form of log of their activity on the main-chain - this log is key for security. Due to this interaction with the main-chain, which is necessary and recurrent, layer-2 systems impose some load on the main-chain. The impact of such load on the main-chain has been, so far, poorly understood. In addition to that, layer-2 approaches typically sacrifice decentralization and security in favor of higher throughput. This paper presents an experimental study that analyzes the current state of Ethereum layer-2 projects. Our goal is to assess the load they impose on Ethereum and to understand their scalability potential in the long-run. Our analysis shows that the impact of any given layer-2 on the main-chain is the result of both technical aspects (how state is logged on the main-chain) and user behavior (how often users decide to transfer funds between the layer-2 and the main-chain). Based on our observations, we infer that without efficient mechanisms that allow users to transfer funds in a secure and fast manner directly from one layer-2 project to another, current layer-2 systems will not be able to scale Ethereum effectively, regardless of their technical solutions. Furthermore, from our results, we conclude that the layer-2 systems that offer similar security guarantees as Ethereum have limited scalability potential, while approaches that offer better performance, sacrifice security and lead to an increase in centralization which runs against the end-goals of permissionless blockchains.}, author = {Neiheiser, Ray and Inacio, Gustavo and Rech, Luciana and Montez, Carlos and Matos, Miguel and Rodrigues, Luis}, issn = {2169-3536}, journal = {IEEE Access}, keywords = {General Engineering, General Materials Science, General Computer Science, Electrical and Electronic Engineering}, pages = {8651--8662}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Practical limitations of Ethereum’s layer-2}}, doi = {10.1109/access.2023.3237897}, volume = {11}, year = {2023}, } @misc{12933, abstract = {Datasets of the publication "Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster".}, author = {Puixeu Sala, Gemma}, publisher = {Institute of Science and Technology Austria}, title = {{Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster}}, doi = {10.15479/AT:ISTA:12933}, year = {2023}, } @article{14245, abstract = {We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements.}, author = {Horesh, Tal and Nevo, Amos}, issn = {1945-5844}, journal = {Pacific Journal of Mathematics}, number = {2}, pages = {265--294}, publisher = {Mathematical Sciences Publishers}, title = {{Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution}}, doi = {10.2140/pjm.2023.324.265}, volume = {324}, year = {2023}, } @article{14246, abstract = {The model of a ring threaded by the Aharonov-Bohm flux underlies our understanding of a coupling between gauge potentials and matter. The typical formulation of the model is based upon a single particle picture, and should be extended when interactions with other particles become relevant. Here, we illustrate such an extension for a particle in an Aharonov-Bohm ring subject to interactions with a weakly interacting Bose gas. We show that the ground state of the system can be described using the Bose-polaron concept—a particle dressed by interactions with a bosonic environment. We connect the energy spectrum to the effective mass of the polaron, and demonstrate how to change currents in the system by tuning boson-particle interactions. Our results suggest the Aharonov-Bohm ring as a platform for studying coherence and few- to many-body crossover of quasi-particles that arise from an impurity immersed in a medium.}, author = {Brauneis, Fabian and Ghazaryan, Areg and Hammer, Hans-Werner and Volosniev, Artem}, issn = {2399-3650}, journal = {Communications Physics}, keywords = {General Physics and Astronomy}, publisher = {Springer Nature}, title = {{Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux}}, doi = {10.1038/s42005-023-01281-2}, volume = {6}, year = {2023}, } @article{14239, abstract = {Given a resolution of rational singularities π:X~→X over a field of characteristic zero, we use a Hodge-theoretic argument to prove that the image of the functor Rπ∗:Db(X~)→Db(X) between bounded derived categories of coherent sheaves generates Db(X) as a triangulated category. This gives a weak version of the Bondal–Orlov localization conjecture [BO02], answering a question from [PS21]. The same result is established more generally for proper (not necessarily birational) morphisms π:X~→X , with X~ smooth, satisfying Rπ∗(OX~)=OX .}, author = {Mauri, Mirko and Shinder, Evgeny}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, publisher = {Cambridge University Press}, title = {{Homological Bondal-Orlov localization conjecture for rational singularities}}, doi = {10.1017/fms.2023.65}, volume = {11}, year = {2023}, } @article{14192, abstract = {For the Fröhlich model of the large polaron, we prove that the ground state energy as a function of the total momentum has a unique global minimum at momentum zero. This implies the non-existence of a ground state of the translation invariant Fröhlich Hamiltonian and thus excludes the possibility of a localization transition at finite coupling.}, author = {Lampart, Jonas and Mitrouskas, David Johannes and Mysliwy, Krzysztof}, issn = {1572-9656}, journal = {Mathematical Physics, Analysis and Geometry}, keywords = {Geometry and Topology, Mathematical Physics}, number = {3}, publisher = {Springer Nature}, title = {{On the global minimum of the energy–momentum relation for the polaron}}, doi = {10.1007/s11040-023-09460-x}, volume = {26}, year = {2023}, } @article{14238, abstract = {We demonstrate that a sodium dimer, Na2(13Σ+u), residing on the surface of a helium nanodroplet, can be set into rotation by a nonresonant 1.0 ps infrared laser pulse. The time-dependent degree of alignment measured, exhibits a periodic, gradually decreasing structure that deviates qualitatively from that expected for gas-phase dimers. Comparison to alignment dynamics calculated from the time-dependent rotational Schrödinger equation shows that the deviation is due to the alignment dependent interaction between the dimer and the droplet surface. This interaction confines the dimer to the tangential plane of the droplet surface at the point where it resides and is the reason that the observed alignment dynamics is also well described by a 2D quantum rotor model.}, author = {Kranabetter, Lorenz and Kristensen, Henrik H. and Ghazaryan, Areg and Schouder, Constant A. and Chatterley, Adam S. and Janssen, Paul and Jensen, Frank and Zillich, Robert E. and Lemeshko, Mikhail and Stapelfeldt, Henrik}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {5}, publisher = {American Physical Society}, title = {{Nonadiabatic laser-induced alignment dynamics of molecules on a surface}}, doi = {10.1103/PhysRevLett.131.053201}, volume = {131}, year = {2023}, } @article{14255, abstract = {Toscana virus is a major cause of arboviral disease in humans in the Mediterranean basin during summer. However, early virus-host cell interactions and entry mechanisms remain poorly characterized. Investigating iPSC-derived human neurons and cell lines, we found that virus binding to the cell surface was specific, and 50% of bound virions were endocytosed within 10 min. Virions entered Rab5a+ early endosomes and, subsequently, Rab7a+ and LAMP-1+ late endosomal compartments. Penetration required intact late endosomes and occurred within 30 min following internalization. Virus entry relied on vacuolar acidification, with an optimal pH for viral membrane fusion at pH 5.5. The pH threshold increased to 5.8 with longer pre-exposure of virions to the slightly acidic pH in early endosomes. Strikingly, the particles remained infectious after entering late endosomes with a pH below the fusion threshold. Overall, our study establishes Toscana virus as a late-penetrating virus and reveals an atypical use of vacuolar acidity by this virus to enter host cells.}, author = {Koch, Jana and Xin, Qilin and Obr, Martin and Schäfer, Alicia and Rolfs, Nina and Anagho, Holda A. and Kudulyte, Aiste and Woltereck, Lea and Kummer, Susann and Campos, Joaquin and Uckeley, Zina M. and Bell-Sakyi, Lesley and Kräusslich, Hans Georg and Schur, Florian Km and Acuna, Claudio and Lozach, Pierre Yves}, issn = {1553-7374}, journal = {PLoS Pathogens}, number = {8}, publisher = {Public Library of Science}, title = {{The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells}}, doi = {10.1371/journal.ppat.1011562}, volume = {19}, year = {2023}, } @article{14339, abstract = {Lateral roots are typically maintained at non-vertical angles with respect to gravity. These gravitropic setpoint angles are intriguing because their maintenance requires that roots are able to effect growth response both with and against the gravity vector, a phenomenon previously attributed to gravitropism acting against an antigravitropic offset mechanism. Here we show how the components mediating gravitropism in the vertical primary root—PINs and phosphatases acting upon them—are reconfigured in their regulation such that lateral root growth at a range of angles can be maintained. We show that the ability of Arabidopsis lateral roots to bend both downward and upward requires the generation of auxin asymmetries and is driven by angle-dependent variation in downward gravitropic auxin flux acting against angle-independent upward, antigravitropic flux. Further, we demonstrate a symmetry in auxin distribution in lateral roots at gravitropic setpoint angle that can be traced back to a net, balanced polarization of PIN3 and PIN7 auxin transporters in the columella. These auxin fluxes are shifted by altering PIN protein phosphoregulation in the columella, either by introducing PIN3 phosphovariant versions or via manipulation of levels of the phosphatase subunit PP2A/RCN1. Finally, we show that auxin, in addition to driving lateral root directional growth, acts within the lateral root columella to induce more vertical growth by increasing RCN1 levels, causing a downward shift in PIN3 localization, thereby diminishing the magnitude of the upward, antigravitropic auxin flux.}, author = {Roychoudhry, S and Sageman-Furnas, K and Wolverton, C and Grones, Peter and Tan, Shutang and Molnar, Gergely and De Angelis, M and Goodman, HL and Capstaff, N and JPB, Lloyd and Mullen, J and Hangarter, R and Friml, Jiří and Kepinski, S}, issn = {2055-0278}, journal = {Nature Plants}, pages = {1500--1513}, publisher = {Springer Nature}, title = {{Antigravitropic PIN polarization maintains non-vertical growth in lateral roots}}, doi = {10.1038/s41477-023-01478-x}, volume = {9}, year = {2023}, } @article{14363, abstract = {Mitochondrial networks remodel their connectivity, content, and subcellular localization to support optimized energy production in conditions of increased environmental or cellular stress. Microglia rely on mitochondria to respond to these stressors, however our knowledge about mitochondrial networks and their adaptations in microglia in vivo is limited. Here, we generate a mouse model that selectively labels mitochondria in microglia. We identify that mitochondrial networks are more fragmented with increased content and perinuclear localization in vitro vs. in vivo. Mitochondrial networks adapt similarly in microglia closest to the injury site after optic nerve crush. Preventing microglial UCP2 increase after injury by selective knockout induces cellular stress. This results in mitochondrial hyperfusion in male microglia, a phenotype absent in females due to circulating estrogens. Our results establish the foundation for mitochondrial network analysis of microglia in vivo, emphasizing the importance of mitochondrial-based sex effects of microglia in other pathologies.}, author = {Maes, Margaret E and Colombo, Gloria and Schoot Uiterkamp, Florianne E and Sternberg, Felix and Venturino, Alessandro and Pohl, Elena E. and Siegert, Sandra}, issn = {2589-0042}, journal = {iScience}, number = {10}, publisher = {Elsevier}, title = {{Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout}}, doi = {10.1016/j.isci.2023.107780}, volume = {26}, year = {2023}, } @article{14343, abstract = {The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation.}, author = {Cipolloni, Giorgio and Erdös, László and Henheik, Sven Joscha and Kolupaiev, Oleksii}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, publisher = {Cambridge University Press}, title = {{Gaussian fluctuations in the equipartition principle for Wigner matrices}}, doi = {10.1017/fms.2023.70}, volume = {11}, year = {2023}, } @article{14364, abstract = {We introduce extension-based proofs, a class of impossibility proofs that includes valency arguments. They are modelled as an interaction between a prover and a protocol. Using proofs based on combinatorial topology, it has been shown that it is impossible to deterministically solve -set agreement among processes or approximate agreement on a cycle of length 4 among processes in a wait-free manner in asynchronous models where processes communicate using objects that can be constructed from shared registers. However, it was unknown whether proofs based on simpler techniques were possible. We show that these impossibility results cannot be obtained by extension-based proofs in the iterated snapshot model and, hence, extension-based proofs are limited in power.}, author = {Alistarh, Dan-Adrian and Aspnes, James and Ellen, Faith and Gelashvili, Rati and Zhu, Leqi}, issn = {1095-7111}, journal = {SIAM Journal on Computing}, number = {4}, pages = {913--944}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Why extension-based proofs fail}}, doi = {10.1137/20M1375851}, volume = {52}, year = {2023}, } @article{14345, abstract = {For a locally finite set in R2, the order-k Brillouin tessellations form an infinite sequence of convex face-to-face tilings of the plane. If the set is coarsely dense and generic, then the corresponding infinite sequences of minimum and maximum angles are both monotonic in k. As an example, a stationary Poisson point process in R2 is locally finite, coarsely dense, and generic with probability one. For such a set, the distributions of angles in the Voronoi tessellations, Delaunay mosaics, and Brillouin tessellations are independent of the order and can be derived from the formula for angles in order-1 Delaunay mosaics given by Miles (Math. Biosci. 6, 85–127 (1970)).}, author = {Edelsbrunner, Herbert and Garber, Alexey and Ghafari, Mohadese and Heiss, Teresa and Saghafian, Morteza}, issn = {1432-0444}, journal = {Discrete and Computational Geometry}, publisher = {Springer Nature}, title = {{On angles in higher order Brillouin tessellations and related tilings in the plane}}, doi = {10.1007/s00454-023-00566-1}, year = {2023}, } @article{14378, abstract = {Branching morphogenesis is a ubiquitous process that gives rise to high exchange surfaces in the vasculature and epithelial organs. Lymphatic capillaries form branched networks, which play a key role in the circulation of tissue fluid and immune cells. Although mouse models and correlative patient data indicate that the lymphatic capillary density directly correlates with functional output, i.e., tissue fluid drainage and trafficking efficiency of dendritic cells, the mechanisms ensuring efficient tissue coverage remain poorly understood. Here, we use the mouse ear pinna lymphatic vessel network as a model system and combine lineage-tracing, genetic perturbations, whole-organ reconstructions and theoretical modeling to show that the dermal lymphatic capillaries tile space in an optimal, space-filling manner. This coverage is achieved by two complementary mechanisms: initial tissue invasion provides a non-optimal global scaffold via self-organized branching morphogenesis, while VEGF-C dependent side-branching from existing capillaries rapidly optimizes local coverage by directionally targeting low-density regions. With these two ingredients, we show that a minimal biophysical model can reproduce quantitatively whole-network reconstructions, across development and perturbations. Our results show that lymphatic capillary networks can exploit local self-organizing mechanisms to achieve tissue-scale optimization.}, author = {Ucar, Mehmet C and Hannezo, Edouard B and Tiilikainen, Emmi and Liaqat, Inam and Jakobsson, Emma and Nurmi, Harri and Vaahtomeri, Kari}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks}}, doi = {10.1038/s41467-023-41456-7}, volume = {14}, year = {2023}, } @article{14361, abstract = {Whether one considers swarming insects, flocking birds, or bacterial colonies, collective motion arises from the coordination of individuals and entails the adjustment of their respective velocities. In particular, in close confinements, such as those encountered by dense cell populations during development or regeneration, collective migration can only arise coordinately. Yet, how individuals unify their velocities is often not understood. Focusing on a finite number of cells in circular confinements, we identify waves of polymerizing actin that function as a pacemaker governing the speed of individual cells. We show that the onset of collective motion coincides with the synchronization of the wave nucleation frequencies across the population. Employing a simpler and more readily accessible mechanical model system of active spheres, we identify the synchronization of the individuals’ internal oscillators as one of the essential requirements to reach the corresponding collective state. The mechanical ‘toy’ experiment illustrates that the global synchronous state is achieved by nearest neighbor coupling. We suggest by analogy that local coupling and the synchronization of actin waves are essential for the emergent, self-organized motion of cell collectives.}, author = {Riedl, Michael and Mayer, Isabelle D and Merrin, Jack and Sixt, Michael K and Hof, Björn}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Synchronization in collectively moving inanimate and living active matter}}, doi = {10.1038/s41467-023-41432-1}, volume = {14}, year = {2023}, } @article{14421, abstract = {Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\in\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission).}, author = {Henheik, Sven Joscha and Tumulka, Roderich}, issn = {1751-8121}, journal = {Journal of Physics A: Mathematical and Theoretical}, number = {44}, publisher = {IOP Publishing}, title = {{Creation rate of Dirac particles at a point source}}, doi = {10.1088/1751-8121/acfe62}, volume = {56}, year = {2023}, } @article{14400, abstract = {We consider the problem of computing the maximal probability of satisfying an -regular specification for stochastic, continuous-state, nonlinear systems evolving in discrete time. The problem reduces, after automata-theoretic constructions, to finding the maximal probability of satisfying a parity condition on a (possibly hybrid) state space. While characterizing the exact satisfaction probability is open, we show that a lower bound on this probability can be obtained by (I) computing an under-approximation of the qualitative winning region, i.e., states from which the parity condition can be enforced almost surely, and (II) computing the maximal probability of reaching this qualitative winning region. The heart of our approach is a technique to symbolically compute the under-approximation of the qualitative winning region in step (I) via a finite-state abstraction of the original system as a -player parity game. Our abstraction procedure uses only the support of the probabilistic evolution; it does not use precise numerical transition probabilities. We prove that the winning set in the abstract -player game induces an under-approximation of the qualitative winning region in the original synthesis problem, along with a policy to solve it. By combining these contributions with (a) a symbolic fixpoint algorithm to solve -player games and (b) existing techniques for reachability policy synthesis in stochastic nonlinear systems, we get an abstraction-based algorithm for finding a lower bound on the maximal satisfaction probability. We have implemented the abstraction-based algorithm in Mascot-SDS, where we combined the outlined abstraction step with our tool Genie (Majumdar et al., 2023) that solves -player parity games (through a reduction to Rabin games) more efficiently than existing algorithms. We evaluated our implementation on the nonlinear model of a perturbed bistable switch from the literature. We show empirically that the lower bound on the winning region computed by our approach is precise, by comparing against an over-approximation of the qualitative winning region. Moreover, our implementation outperforms a recently proposed tool for solving this problem by a large margin.}, author = {Majumdar, Rupak and Mallik, Kaushik and Schmuck, Anne Kathrin and Soudjani, Sadegh}, issn = {1751-570X}, journal = {Nonlinear Analysis: Hybrid Systems}, publisher = {Elsevier}, title = {{Symbolic control for stochastic systems via finite parity games}}, doi = {10.1016/j.nahs.2023.101430}, volume = {51}, year = {2023}, } @article{14425, abstract = {Water adsorption and dissociation processes on pristine low-index TiO2 interfaces are important but poorly understood outside the well-studied anatase (101) and rutile (110). To understand these, we construct three sets of machine learning potentials that are simultaneously applicable to various TiO2 surfaces, based on three density-functional-theory approximations. Here we show the water dissociation free energies on seven pristine TiO2 surfaces, and predict that anatase (100), anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase (101) and rutile (100) have mostly molecular adsorption, while the simulations of rutile (110) sensitively depend on the slab thickness and molecular adsorption is preferred with thick slabs. Moreover, using an automated algorithm, we reveal that these surfaces follow different types of atomistic mechanisms for proton transfer and water dissociation: one-step, two-step, or both. These mechanisms can be rationalized based on the arrangements of water molecules on the different surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces react with water in distinct ways, and cannot be represented using just the low-energy anatase (101) and rutile (110) surfaces.}, author = {Zeng, Zezhu and Wodaczek, Felix and Liu, Keyang and Stein, Frederick and Hutter, Jürg and Chen, Ji and Cheng, Bingqing}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations}}, doi = {10.1038/s41467-023-41865-8}, volume = {14}, year = {2023}, } @article{14453, abstract = {Squall lines are substantially influenced by the interaction of low-level shear with cold pools associated with convective downdrafts. Beyond an optimal shear amplitude, squall lines tend to orient themselves at an angle with respect to the low-level shear. While the mechanisms behind squall line orientation seem to be increasingly well understood, uncertainties remain on the implications of this orientation. Roca and Fiolleau (2020, https://doi.org/10.1038/s43247-020-00015-4) show that long lived mesoscale convective systems, including squall lines, are disproportionately involved in rainfall extremes in the tropics. This article investigates the influence of the interaction between low-level shear and squall line outflow on squall line generated precipitation extrema in the tropics. Using a cloud resolving model, simulated squall lines in radiative convective equilibrium amid a shear-dominated regime (super optimal), a balanced regime (optimal), and an outflow dominated regime (suboptimal). Our results show that precipitation extremes in squall lines are 40% more intense in the case of optimal shear and remain 30% superior in the superoptimal regime relative to a disorganized case. With a theoretical scaling of precipitation extremes (C. Muller & Takayabu, 2020, https://doi.org/10.1088/1748-9326/ab7130), we show that the condensation rates control the amplification of precipitation extremes in tropical squall lines, mainly due to its change in vertical mass flux (dynamic component). The reduction of dilution by entrainment explains half of this change, consistent with Mulholland et al. (2021, https://doi.org/10.1175/jas-d-20-0299.1). The other half is explained by increased cloud-base velocity intensity in optimal and superoptimal squall lines.}, author = {Abramian, Sophie and Muller, Caroline J and Risi, Camille}, issn = {1942-2466}, journal = {Journal of Advances in Modeling Earth Systems}, number = {10}, publisher = {Wiley}, title = {{Extreme precipitation in tropical squall lines}}, doi = {10.1029/2022MS003477}, volume = {15}, year = {2023}, } @article{14434, abstract = {High entropy alloys (HEAs) are highly suitable candidate catalysts for oxygen evolution and reduction reactions (OER/ORR) as they offer numerous parameters for optimizing the electronic structure and catalytic sites. Herein, FeCoNiMoW HEA nanoparticles are synthesized using a solution‐based low‐temperature approach. Such FeCoNiMoW nanoparticles show high entropy properties, subtle lattice distortions, and modulated electronic structure, leading to superior OER performance with an overpotential of 233 mV at 10 mA cm−2 and 276 mV at 100 mA cm−2. Density functional theory calculations reveal the electronic structures of the FeCoNiMoW active sites with an optimized d‐band center position that enables suitable adsorption of OOH* intermediates and reduces the Gibbs free energy barrier in the OER process. Aqueous zinc–air batteries (ZABs) based on this HEA demonstrate a high open circuit potential of 1.59 V, a peak power density of 116.9 mW cm−2, a specific capacity of 857 mAh gZn−1, and excellent stability for over 660 h of continuous charge–discharge cycles. Flexible and solid ZABs are also assembled and tested, displaying excellent charge–discharge performance at different bending angles. This work shows the significance of 4d/5d metal‐modulated electronic structure and optimized adsorption ability to improve the performance of OER/ORR, ZABs, and beyond.}, author = {He, Ren and Yang, Linlin and Zhang, Yu and Jiang, Daochuan and Lee, Seungho and Horta, Sharona and Liang, Zhifu and Lu, Xuan and Ostovari Moghaddam, Ahmad and Li, Junshan and Ibáñez, Maria and Xu, Ying and Zhou, Yingtang and Cabot, Andreu}, issn = {0935-9648}, journal = {Advanced Materials}, keywords = {Mechanical Engineering, Mechanics of Materials, General Materials Science}, publisher = {Wiley}, title = {{A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries}}, doi = {10.1002/adma.202303719}, year = {2023}, } @article{14435, abstract = {Low‐cost, safe, and environmental‐friendly rechargeable aqueous zinc‐ion batteries (ZIBs) are promising as next‐generation energy storage devices for wearable electronics among other applications. However, sluggish ionic transport kinetics and the unstable electrode structure during ionic insertion/extraction hampers their deployment. Herein,  we propose a new cathode material based on a layered metal chalcogenide (LMC), bismuth telluride (Bi2Te3), coated with polypyrrole (PPy). Taking advantage of the PPy coating, the Bi2Te3@PPy composite presents strong ionic absorption affinity, high oxidation resistance, and high structural stability. The ZIBs based on Bi2Te3@PPy cathodes exhibit high capacities and ultra‐long lifespans of over 5000 cycles. They also present outstanding stability even under bending. In addition,  we analyze here the reaction mechanism using in situ X‐ray diffraction, X‐ray photoelectron spectroscopy, and computational tools and demonstrate that, in the aqueous system, Zn2+ is not inserted into the cathode as previously assumed. In contrast, proton charge storage dominates the process. Overall, this work not only shows the great potential of LMCs as ZIBs cathode materials and the advantages of PPy coating, but also clarifies the charge/discharge mechanism in rechargeable ZIBs based on LMCs.}, author = {Zeng, Guifang and Sun, Qing and Horta, Sharona and Wang, Shang and Lu, Xuan and Zhang, Chaoyue and Li, Jing and Li, Junshan and Ci, Lijie and Tian, Yanhong and Ibáñez, Maria and Cabot, Andreu}, issn = {1521-4095}, journal = {Advanced Materials}, keywords = {Mechanical Engineering, Mechanics of Materials, General Materials Science}, publisher = {Wiley}, title = {{A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries}}, doi = {10.1002/adma.202305128}, year = {2023}, } @article{14463, abstract = {Inversions are thought to play a key role in adaptation and speciation, suppressing recombination between diverging populations. Genes influencing adaptive traits cluster in inversions, and changes in inversion frequencies are associated with environmental differences. However, in many organisms, it is unclear if inversions are geographically and taxonomically widespread. The intertidal snail, Littorina saxatilis, is one such example. Strong associations between putative polymorphic inversions and phenotypic differences have been demonstrated between two ecotypes of L. saxatilis in Sweden and inferred elsewhere, but no direct evidence for inversion polymorphism currently exists across the species range. Using whole genome data from 107 snails, most inversion polymorphisms were found to be widespread across the species range. The frequencies of some inversion arrangements were significantly different among ecotypes, suggesting a parallel adaptive role. Many inversions were also polymorphic in the sister species, L. arcana, hinting at an ancient origin.}, author = {Reeve, James and Butlin, Roger K. and Koch, Eva L. and Stankowski, Sean and Faria, Rui}, issn = {1365-294X}, journal = {Molecular Ecology}, publisher = {Wiley}, title = {{Chromosomal inversion polymorphisms are widespread across the species ranges of rough periwinkles (Littorina saxatilis and L. arcana)}}, doi = {10.1111/mec.17160}, year = {2023}, } @article{14455, author = {Narzisi, Antonio and Halladay, Alycia and Masi, Gabriele and Novarino, Gaia and Lord, Catherine}, issn = {1664-0640}, journal = {Frontiers in Psychiatry}, publisher = {Frontiers}, title = {{Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment}}, doi = {10.3389/fpsyt.2023.1287879}, volume = {14}, year = {2023}, } @article{14427, abstract = {In the paper, we establish Squash Rigidity Theorem—the dynamical spectral rigidity for piecewise analytic Bunimovich squash-type stadia whose convex arcs are homothetic. We also establish Stadium Rigidity Theorem—the dynamical spectral rigidity for piecewise analytic Bunimovich stadia whose flat boundaries are a priori fixed. In addition, for smooth Bunimovich squash-type stadia we compute the Lyapunov exponents along the maximal period two orbit, as well as the value of the Peierls’ Barrier function from the maximal marked length spectrum associated to the rotation number 2n/4n+1.}, author = {Chen, Jianyu and Kaloshin, Vadim and Zhang, Hong Kun}, issn = {1432-0916}, journal = {Communications in Mathematical Physics}, publisher = {Springer Nature}, title = {{Length spectrum rigidity for piecewise analytic Bunimovich billiards}}, doi = {10.1007/s00220-023-04837-z}, year = {2023}, } @article{14464, abstract = {Given a triangle Δ, we study the problem of determining the smallest enclosing and largest embedded isosceles triangles of Δ with respect to area and perimeter. This problem was initially posed by Nandakumar [17, 22] and was first studied by Kiss, Pach, and Somlai [13], who showed that if Δ′ is the smallest area isosceles triangle containing Δ, then Δ′ and Δ share a side and an angle. In the present paper, we prove that for any triangle Δ, every maximum area isosceles triangle embedded in Δ and every maximum perimeter isosceles triangle embedded in Δ shares a side and an angle with Δ. Somewhat surprisingly, the case of minimum perimeter enclosing triangles is different: there are infinite families of triangles Δ whose minimum perimeter isosceles containers do not share a side and an angle with Δ.}, author = {Ambrus, Áron and Csikós, Mónika and Kiss, Gergely and Pach, János and Somlai, Gábor}, issn = {1793-6373}, journal = {International Journal of Foundations of Computer Science}, number = {7}, pages = {737--760}, publisher = {World Scientific Publishing}, title = {{Optimal embedded and enclosing isosceles triangles}}, doi = {10.1142/S012905412342008X}, volume = {34}, year = {2023}, } @article{14449, abstract = {The rapid development of machine learning (ML) techniques has opened up the data-dense field of microbiome research for novel therapeutic, diagnostic, and prognostic applications targeting a wide range of disorders, which could substantially improve healthcare practices in the era of precision medicine. However, several challenges must be addressed to exploit the benefits of ML in this field fully. In particular, there is a need to establish “gold standard” protocols for conducting ML analysis experiments and improve interactions between microbiome researchers and ML experts. The Machine Learning Techniques in Human Microbiome Studies (ML4Microbiome) COST Action CA18131 is a European network established in 2019 to promote collaboration between discovery-oriented microbiome researchers and data-driven ML experts to optimize and standardize ML approaches for microbiome analysis. This perspective paper presents the key achievements of ML4Microbiome, which include identifying predictive and discriminatory ‘omics’ features, improving repeatability and comparability, developing automation procedures, and defining priority areas for the novel development of ML methods targeting the microbiome. The insights gained from ML4Microbiome will help to maximize the potential of ML in microbiome research and pave the way for new and improved healthcare practices.}, author = {D’Elia, Domenica and Truu, Jaak and Lahti, Leo and Berland, Magali and Papoutsoglou, Georgios and Ceci, Michelangelo and Zomer, Aldert and Lopes, Marta B. and Ibrahimi, Eliana and Gruca, Aleksandra and Nechyporenko, Alina and Frohme, Marcus and Klammsteiner, Thomas and Pau, Enrique Carrillo De Santa and Marcos-Zambrano, Laura Judith and Hron, Karel and Pio, Gianvito and Simeon, Andrea and Suharoschi, Ramona and Moreno-Indias, Isabel and Temko, Andriy and Nedyalkova, Miroslava and Apostol, Elena Simona and Truică, Ciprian Octavian and Shigdel, Rajesh and Telalović, Jasminka Hasić and Bongcam-Rudloff, Erik and Przymus, Piotr and Jordamović, Naida Babić and Falquet, Laurent and Tarazona, Sonia and Sampri, Alexia and Isola, Gaetano and Pérez-Serrano, David and Trajkovik, Vladimir and Klucar, Lubos and Loncar-Turukalo, Tatjana and Havulinna, Aki S. and Jansen, Christian and Bertelsen, Randi J. and Claesson, Marcus Joakim}, issn = {1664-302X}, journal = {Frontiers in Microbiology}, publisher = {Frontiers}, title = {{Advancing microbiome research with machine learning: Key findings from the ML4Microbiome COST action}}, doi = {10.3389/fmicb.2023.1257002}, volume = {14}, year = {2023}, } @article{13125, abstract = {The quantum approximate optimization algorithm (QAOA) is a variational quantum algorithm, where a quantum computer implements a variational ansatz consisting of p layers of alternating unitary operators and a classical computer is used to optimize the variational parameters. For a random initialization, the optimization typically leads to local minima with poor performance, motivating the search for initialization strategies of QAOA variational parameters. Although numerous heuristic initializations exist, an analytical understanding and performance guarantees for large p remain evasive.We introduce a greedy initialization of QAOA which guarantees improving performance with an increasing number of layers. Our main result is an analytic construction of 2p + 1 transition states—saddle points with a unique negative curvature direction—for QAOA with p + 1 layers that use the local minimum of QAOA with p layers. Transition states connect to new local minima, which are guaranteed to lower the energy compared to the minimum found for p layers. We use the GREEDY procedure to navigate the exponentially increasing with p number of local minima resulting from the recursive application of our analytic construction. The performance of the GREEDY procedure matches available initialization strategies while providing a guarantee for the minimal energy to decrease with an increasing number of layers p. }, author = {Sack, Stefan and Medina Ramos, Raimel A and Kueng, Richard and Serbyn, Maksym}, issn = {2469-9934}, journal = {Physical Review A}, number = {6}, publisher = {American Physical Society}, title = {{Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement}}, doi = {10.1103/physreva.107.062404}, volume = {107}, year = {2023}, } @article{14445, abstract = {We prove the following quantitative Borsuk–Ulam-type result (an equivariant analogue of Gromov’s Topological Overlap Theorem): Let X be a free ℤ/2-complex of dimension d with coboundary expansion at least ηk in dimension 0 ≤ k < d. Then for every equivariant map F: X →ℤ/2 ℝd, the fraction of d-simplices σ of X with 0 ∈ F (σ) is at least 2−d Π d−1k=0ηk. As an application, we show that for every sufficiently thick d-dimensional spherical building Y and every map f: Y → ℝ2d, we have f(σ) ∩ f(τ) ≠ ∅ for a constant fraction μd > 0 of pairs {σ, τ} of d-simplices of Y. In particular, such complexes are non-embeddable into ℝ2d, which proves a conjecture of Tancer and Vorwerk for sufficiently thick spherical buildings. We complement these results by upper bounds on the coboundary expansion of two families of simplicial complexes; this indicates some limitations to the bounds one can obtain by straighforward applications of the quantitative Borsuk–Ulam theorem. Specifically, we prove • an upper bound of (d + 1)/2d on the normalized (d − 1)-th coboundary expansion constant of complete (d + 1)-partite d-dimensional complexes (under a mild divisibility assumption on the sizes of the parts); and • an upper bound of (d + 1)/2d + ε on the normalized (d − 1)-th coboundary expansion of the d-dimensional spherical building associated with GLd+2(Fq) for any ε > 0 and sufficiently large q. This disproves, in a rather strong sense, a conjecture of Lubotzky, Meshulam and Mozes.}, author = {Wagner, Uli and Wild, Pascal}, issn = {1565-8511}, journal = {Israel Journal of Mathematics}, number = {2}, pages = {675--717}, publisher = {Springer Nature}, title = {{Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes}}, doi = {10.1007/s11856-023-2521-9}, volume = {256}, year = {2023}, } @article{14447, abstract = {Auxin belongs among major phytohormones and governs multiple aspects of plant growth and development. The establishment of auxin concentration gradients, determines, among other processes, plant organ positioning and growth responses to environmental stimuli. Herein we report the synthesis of new NBD- or DNS-labelled IAA derivatives and the elucidation of their biological activity, fluorescence properties and subcellular accumulation patterns in planta. These novel compounds did not show auxin-like activity, but instead antagonized physiological auxin effects. The DNS-labelled derivatives FL5 and FL6 showed strong anti-auxin activity in roots and hypocotyls, which also occurred at the level of gene transcription as confirmed by quantitative PCR analysis. The auxin antagonism of our derivatives was further demonstrated in vitro using an SPR-based binding assay. The NBD-labelled compound FL4 with the best fluorescence properties proved to be unsuitable to study auxin accumulation patterns in planta. On the other hand, the strongest anti-auxin activity possessing compounds FL5 and FL6 could be useful to study binding mechanisms to auxin receptors and for manipulations of auxin-regulated processes.}, author = {Bieleszová, Kristýna and Hladík, Pavel and Kubala, Martin and Napier, Richard and Brunoni, Federica and Gelová, Zuzana and Fiedler, Lukas and Kulich, Ivan and Strnad, Miroslav and Doležal, Karel and Novák, Ondřej and Friml, Jiří and Žukauskaitė, Asta}, issn = {1573-5087}, journal = {Plant Growth Regulation}, publisher = {Springer Nature}, title = {{New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana}}, doi = {10.1007/s10725-023-01083-0}, year = {2023}, } @phdthesis{14622, author = {Sack, Stefan}, issn = {2663 - 337X}, pages = {142}, publisher = {Institute of Science and Technology Austria}, title = {{Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems}}, doi = {10.15479/at:ista:14622}, year = {2023}, } @article{14683, abstract = {Mosaic analysis with double markers (MADM) technology enables the generation of genetic mosaic tissue in mice and high-resolution phenotyping at the individual cell level. Here, we present a protocol for isolating MADM-labeled cells with high yield for downstream molecular analyses using fluorescence-activated cell sorting (FACS). We describe steps for generating MADM-labeled mice, perfusion, single-cell suspension, and debris removal. We then detail procedures for cell sorting by FACS and downstream analysis. This protocol is suitable for embryonic to adult mice. For complete details on the use and execution of this protocol, please refer to Contreras et al. (2021).1}, author = {Amberg, Nicole and Cheung, Giselle T and Hippenmeyer, Simon}, issn = {2666-1667}, journal = {STAR Protocols}, keywords = {General Immunology and Microbiology, General Biochemistry, Genetics and Molecular Biology, General Neuroscience}, number = {1}, publisher = {Elsevier}, title = {{Protocol for sorting cells from mouse brains labeled with mosaic analysis with double markers by flow cytometry}}, doi = {10.1016/j.xpro.2023.102771}, volume = {5}, year = {2023}, } @article{12486, abstract = {This paper is concerned with the problem of regularization by noise of systems of reaction–diffusion equations with mass control. It is known that strong solutions to such systems of PDEs may blow-up in finite time. Moreover, for many systems of practical interest, establishing whether the blow-up occurs or not is an open question. Here we prove that a suitable multiplicative noise of transport type has a regularizing effect. More precisely, for both a sufficiently noise intensity and a high spectrum, the blow-up of strong solutions is delayed up to an arbitrary large time. Global existence is shown for the case of exponentially decreasing mass. The proofs combine and extend recent developments in regularization by noise and in the Lp(Lq)-approach to stochastic PDEs, highlighting new connections between the two areas.}, author = {Agresti, Antonio}, issn = {2194-041X}, journal = {Stochastics and Partial Differential Equations: Analysis and Computations}, publisher = {Springer Nature}, title = {{Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations}}, doi = {10.1007/s40072-023-00319-4}, year = {2023}, } @article{14665, abstract = {We derive lower bounds on the maximal rates for multiple packings in high-dimensional Euclidean spaces. For any N > 0 and L ∈ Z ≥2 , a multiple packing is a set C of points in R n such that any point in R n lies in the intersection of at most L - 1 balls of radius √ nN around points in C . This is a natural generalization of the sphere packing problem. We study the multiple packing problem for both bounded point sets whose points have norm at most √ nP for some constant P > 0, and unbounded point sets whose points are allowed to be anywhere in R n . Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied over finite fields. We derive the best known lower bounds on the optimal multiple packing density. This is accomplished by establishing an inequality which relates the list-decoding error exponent for additive white Gaussian noise channels, a quantity of average-case nature, to the list-decoding radius, a quantity of worst-case nature. We also derive novel bounds on the list-decoding error exponent for infinite constellations and closed-form expressions for the list-decoding error exponents for the power-constrained AWGN channel, which may be of independent interest beyond multiple packing.}, author = {Zhang, Yihan and Vatedka, Shashank}, issn = {1557-9654}, journal = {IEEE Transactions on Information Theory}, publisher = {IEEE}, title = {{Multiple packing: Lower bounds via error exponents}}, doi = {10.1109/TIT.2023.3334032}, year = {2023}, } @inproceedings{14693, abstract = {Lucas sequences are constant-recursive integer sequences with a long history of applications in cryptography, both in the design of cryptographic schemes and cryptanalysis. In this work, we study the sequential hardness of computing Lucas sequences over an RSA modulus. First, we show that modular Lucas sequences are at least as sequentially hard as the classical delay function given by iterated modular squaring proposed by Rivest, Shamir, and Wagner (MIT Tech. Rep. 1996) in the context of time-lock puzzles. Moreover, there is no obvious reduction in the other direction, which suggests that the assumption of sequential hardness of modular Lucas sequences is strictly weaker than that of iterated modular squaring. In other words, the sequential hardness of modular Lucas sequences might hold even in the case of an algorithmic improvement violating the sequential hardness of iterated modular squaring. Second, we demonstrate the feasibility of constructing practically-efficient verifiable delay functions based on the sequential hardness of modular Lucas sequences. Our construction builds on the work of Pietrzak (ITCS 2019) by leveraging the intrinsic connection between the problem of computing modular Lucas sequences and exponentiation in an appropriate extension field.}, author = {Hoffmann, Charlotte and Hubáček, Pavel and Kamath, Chethan and Krňák, Tomáš}, booktitle = {21st International Conference on Theory of Cryptography}, isbn = {9783031486234}, issn = {1611-3349}, location = {Taipei, Taiwan}, pages = {336--362}, publisher = {Springer Nature}, title = {{(Verifiable) delay functions from Lucas sequences}}, doi = {10.1007/978-3-031-48624-1_13}, volume = {14372}, year = {2023}, } @inproceedings{14691, abstract = {Continuous Group-Key Agreement (CGKA) allows a group of users to maintain a shared key. It is the fundamental cryptographic primitive underlying group messaging schemes and related protocols, most notably TreeKEM, the underlying key agreement protocol of the Messaging Layer Security (MLS) protocol, a standard for group messaging by the IETF. CKGA works in an asynchronous setting where parties only occasionally must come online, and their messages are relayed by an untrusted server. The most expensive operation provided by CKGA is that which allows for a user to refresh their key material in order to achieve forward secrecy (old messages are secure when a user is compromised) and post-compromise security (users can heal from compromise). One caveat of early CGKA protocols is that these update operations had to be performed sequentially, with any user wanting to update their key material having had to receive and process all previous updates. Late versions of TreeKEM do allow for concurrent updates at the cost of a communication overhead per update message that is linear in the number of updating parties. This was shown to be indeed necessary when achieving PCS in just two rounds of communication by [Bienstock et al. TCC’20]. The recently proposed protocol CoCoA [Alwen et al. Eurocrypt’22], however, shows that this overhead can be reduced if PCS requirements are relaxed, and only a logarithmic number of rounds is required. The natural question, thus, is whether CoCoA is optimal in this setting. In this work we answer this question, providing a lower bound on the cost (concretely, the amount of data to be uploaded to the server) for CGKA protocols that heal in an arbitrary k number of rounds, that shows that CoCoA is very close to optimal. Additionally, we extend CoCoA to heal in an arbitrary number of rounds, and propose a modification of it, with a reduced communication cost for certain k. We prove our bound in a combinatorial setting where the state of the protocol progresses in rounds, and the state of the protocol in each round is captured by a set system, each set specifying a set of users who share a secret key. We show this combinatorial model is equivalent to a symbolic model capturing building blocks including PRFs and public-key encryption, related to the one used by Bienstock et al. Our lower bound is of order k•n1+1/(k-1)/log(k), where 2≤k≤log(n) is the number of updates per user the protocol requires to heal. This generalizes the n2 bound for k=2 from Bienstock et al.. This bound almost matches the k⋅n1+2/(k-1) or k2⋅n1+1/(k-1) efficiency we get for the variants of the CoCoA protocol also introduced in this paper.}, author = {Auerbach, Benedikt and Cueto Noval, Miguel and Pascual Perez, Guillermo and Pietrzak, Krzysztof Z}, booktitle = {21st International Conference on Theory of Cryptography}, isbn = {9783031486203}, issn = {1611-3349}, location = {Taipei, Taiwan}, pages = {271--300}, publisher = {Springer Nature}, title = {{On the cost of post-compromise security in concurrent Continuous Group-Key Agreement}}, doi = {10.1007/978-3-031-48621-0_10}, volume = {14371}, year = {2023}, } @inproceedings{14692, abstract = {The generic-group model (GGM) aims to capture algorithms working over groups of prime order that only rely on the group operation, but do not exploit any additional structure given by the concrete implementation of the group. In it, it is possible to prove information-theoretic lower bounds on the hardness of problems like the discrete logarithm (DL) or computational Diffie-Hellman (CDH). Thus, since its introduction, it has served as a valuable tool to assess the concrete security provided by cryptographic schemes based on such problems. A work on the related algebraic-group model (AGM) introduced a method, used by many subsequent works, to adapt GGM lower bounds for one problem to another, by means of conceptually simple reductions. In this work, we propose an alternative approach to extend GGM bounds from one problem to another. Following an idea by Yun [EC15], we show that, in the GGM, the security of a large class of problems can be reduced to that of geometric search-problems. By reducing the security of the resulting geometric-search problems to variants of the search-by-hypersurface problem, for which information theoretic lower bounds exist, we give alternative proofs of several results that used the AGM approach. The main advantage of our approach is that our reduction from geometric search-problems works, as well, for the GGM with preprocessing (more precisely the bit-fixing GGM introduced by Coretti, Dodis and Guo [Crypto18]). As a consequence, this opens up the possibility of transferring preprocessing GGM bounds from one problem to another, also by means of simple reductions. Concretely, we prove novel preprocessing bounds on the hardness of the d-strong discrete logarithm, the d-strong Diffie-Hellman inversion, and multi-instance CDH problems, as well as a large class of Uber assumptions. Additionally, our approach applies to Shoup’s GGM without additional restrictions on the query behavior of the adversary, while the recent works of Zhang, Zhou, and Katz [AC22] and Zhandry [Crypto22] highlight that this is not the case for the AGM approach.}, author = {Auerbach, Benedikt and Hoffmann, Charlotte and Pascual Perez, Guillermo}, booktitle = {21st International Conference on Theory of Cryptography}, isbn = {9783031486203}, issn = {1611-3349}, pages = {301--330}, publisher = {Springer Nature}, title = {{Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing}}, doi = {10.1007/978-3-031-48621-0_11}, volume = {14371}, year = {2023}, } @article{14690, abstract = {Generalized multifractality characterizes system size dependence of pure scaling local observables at Anderson transitions in all 10 symmetry classes of disordered systems. Recently, the concept of generalized multifractality has been extended to boundaries of critical disordered noninteracting systems. Here we study the generalized boundary multifractality in the presence of electron-electron interaction, focusing on the spin quantum Hall symmetry class (class C). Employing the two-loop renormalization group analysis within the Finkel'stein nonlinear sigma model, we compute the anomalous dimensions of the pure scaling operators located at the boundary of the system. We find that generalized boundary multifractal exponents are twice larger than their bulk counterparts. Exact symmetry relations between generalized boundary multifractal exponents in the case of noninteracting systems are explicitly broken by the interaction.}, author = {Babkin, Serafim and Burmistrov, I}, issn = {2469-9969}, journal = {Physical Review B}, number = {20}, publisher = {American Physical Society}, title = {{Boundary multifractality in the spin quantum Hall symmetry class with interaction}}, doi = {10.1103/PhysRevB.108.205429}, volume = {108}, year = {2023}, } @article{14689, author = {Ing-Simmons, Elizabeth and Machnik, Nick N and Vaquerizas, Juan M.}, issn = {1546-1718}, journal = {Nature Genetics}, number = {12}, pages = {2053--2055}, publisher = {Springer Nature}, title = {{Reply to: Revisiting the use of structural similarity index in Hi-C}}, doi = {10.1038/s41588-023-01595-5}, volume = {55}, year = {2023}, } @article{14701, author = {Archer, Lynden A. and Bruce, Peter G. and Calvo, Ernesto J. and Dewar, Daniel and Ellison, James H. J. and Freunberger, Stefan Alexander and Gao, Xiangwen and Hardwick, Laurence J. and Horwitz, Gabriela and Janek, Jürgen and Johnson, Lee R. and Jordan, Jack W. and Matsuda, Shoichi and Menkin, Svetlana and Mondal, Soumyadip and Qiu, Qianyuan and Samarakoon, Thukshan and Temprano, Israel and Uosaki, Kohei and Vailaya, Ganesh and Wachsman, Eric D. and Wu, Yiying and Ye, Shen}, issn = {1364-5498}, journal = {Faraday Discussions}, keywords = {Physical and Theoretical Chemistry}, publisher = {Royal Society of Chemistry}, title = {{Towards practical metal–oxygen batteries: General discussion}}, doi = {10.1039/d3fd90062b}, year = {2023}, } @article{14702, author = {Attard, Gary A. and Calvo, Ernesto J. and Curtiss, Larry A. and Dewar, Daniel and Ellison, James H. J. and Gao, Xiangwen and Grey, Clare P. and Hardwick, Laurence J. and Horwitz, Gabriela and Janek, Juergen and Johnson, Lee R. and Jordan, Jack W. and Matsuda, Shoichi and Mondal, Soumyadip and Neale, Alex R. and Ortiz-Vitoriano, Nagore and Temprano, Israel and Vailaya, Ganesh and Wachsman, Eric D. and Wang, Hsien-Hau and Wu, Yiying and Ye, Shen}, issn = {1364-5498}, journal = {Faraday Discussions}, keywords = {Physical and Theoretical Chemistry}, publisher = {Royal Society of Chemistry}, title = {{Materials for stable metal–oxygen battery cathodes: general discussion}}, doi = {10.1039/d3fd90059b}, year = {2023}, } @article{14360, abstract = {To navigate through diverse tissues, migrating cells must balance persistent self-propelled motion with adaptive behaviors to circumvent obstacles. We identify a curvature-sensing mechanism underlying obstacle evasion in immune-like cells. Specifically, we propose that actin polymerization at the advancing edge of migrating cells is inhibited by the curvature-sensitive BAR domain protein Snx33 in regions with inward plasma membrane curvature. The genetic perturbation of this machinery reduces the cells’ capacity to evade obstructions combined with faster and more persistent cell migration in obstacle-free environments. Our results show how cells can read out their surface topography and utilize actin and plasma membrane biophysics to interpret their environment, allowing them to adaptively decide if they should move ahead or turn away. On the basis of our findings, we propose that the natural diversity of BAR domain proteins may allow cells to tune their curvature sensing machinery to match the shape characteristics in their environment.}, author = {Sitarska, Ewa and Almeida, Silvia Dias and Beckwith, Marianne Sandvold and Stopp, Julian A and Czuchnowski, Jakub and Siggel, Marc and Roessner, Rita and Tschanz, Aline and Ejsing, Christer and Schwab, Yannick and Kosinski, Jan and Sixt, Michael K and Kreshuk, Anna and Erzberger, Anna and Diz-Muñoz, Alba}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles}}, doi = {10.1038/s41467-023-41173-1}, volume = {14}, year = {2023}, } @article{14274, abstract = {Immune responses rely on the rapid and coordinated migration of leukocytes. Whereas it is well established that single-cell migration is often guided by gradients of chemokines and other chemoattractants, it remains poorly understood how these gradients are generated, maintained, and modulated. By combining experimental data with theory on leukocyte chemotaxis guided by the G protein–coupled receptor (GPCR) CCR7, we demonstrate that in addition to its role as the sensory receptor that steers migration, CCR7 also acts as a generator and a modulator of chemotactic gradients. Upon exposure to the CCR7 ligand CCL19, dendritic cells (DCs) effectively internalize the receptor and ligand as part of the canonical GPCR desensitization response. We show that CCR7 internalization also acts as an effective sink for the chemoattractant, dynamically shaping the spatiotemporal distribution of the chemokine. This mechanism drives complex collective migration patterns, enabling DCs to create or sharpen chemotactic gradients. We further show that these self-generated gradients can sustain the long-range guidance of DCs, adapt collective migration patterns to the size and geometry of the environment, and provide a guidance cue for other comigrating cells. Such a dual role of CCR7 as a GPCR that both senses and consumes its ligand can thus provide a novel mode of cellular self-organization.}, author = {Alanko, Jonna H and Ucar, Mehmet C and Canigova, Nikola and Stopp, Julian A and Schwarz, Jan and Merrin, Jack and Hannezo, Edouard B and Sixt, Michael K}, issn = {2470-9468}, journal = {Science Immunology}, keywords = {General Medicine, Immunology}, number = {87}, publisher = {American Association for the Advancement of Science}, title = {{CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration}}, doi = {10.1126/sciimmunol.adc9584}, volume = {8}, year = {2023}, } @phdthesis{14697, author = {Stopp, Julian A}, isbn = {978-3-99078-038-1}, issn = {2663 - 337X}, pages = {226}, publisher = {Institute of Science and Technology Austria}, title = {{Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function}}, doi = {10.15479/at:ista:14697}, year = {2023}, }