@article{12154, abstract = {We review our theoretical results of the sound propagation in two-dimensional (2D) systems of ultracold fermionic and bosonic atoms. In the superfluid phase, characterized by the spontaneous symmetry breaking of the U(1) symmetry, there is the coexistence of first and second sound. In the case of weakly-interacting repulsive bosons, we model the recent measurements of the sound velocities of 39K atoms in 2D obtained in the weakly-interacting regime and around the Berezinskii–Kosterlitz–Thouless (BKT) superfluid-to-normal transition temperature. In particular, we perform a quite accurate computation of the superfluid density and show that it is reasonably consistent with the experimental results. For superfluid attractive fermions, we calculate the first and second sound velocities across the whole BCS-BEC crossover. In the low-temperature regime, we reproduce the recent measurements of first-sound speed with 6Li atoms. We also predict that there is mixing between sound modes only in the finite-temperature BEC regime.}, author = {Salasnich, Luca and Cappellaro, Alberto and Furutani, Koichiro and Tononi, Andrea and Bighin, Giacomo}, issn = {2073-8994}, journal = {Symmetry}, keywords = {Physics and Astronomy (miscellaneous), General Mathematics, Chemistry (miscellaneous), Computer Science (miscellaneous)}, number = {10}, publisher = {MDPI}, title = {{First and second sound in two-dimensional bosonic and fermionic superfluids}}, doi = {10.3390/sym14102182}, volume = {14}, year = {2022}, } @article{12155, abstract = {The growing demand of thermal management in various fields such as miniaturized 5G chips has motivated researchers to develop new and high-performance solid-state refrigeration technologies, typically including multicaloric and thermoelectric (TE) cooling. Among them, TE cooling has attracted huge attention owing to its advantages of rapid response, large cooling temperature difference, high stability, and tunable device size. Bi2Te3-based alloys have long been the only commercialized TE cooling materials, while novel systems SnSe and Mg3(Bi,Sb)2 have recently been discovered as potential candidates. However, challenges and problems still require to be summarized and further resolved for realizing better cooling performance. In this review, we systematically investigate TE cooling from its internal mechanism, crucial parameters, to device design and applications. Furthermore, we summarize the current optimization strategies for existing TE cooling materials, and finally provide some personal prospects especially the material-planification concept on future research on establishing better TE cooling.}, author = {Qin, Yongxin and Qin, Bingchao and Wang, Dongyang and Chang, Cheng and Zhao, Li-Dong}, issn = {1754-5706}, journal = {Energy & Environmental Science}, keywords = {Pollution, Nuclear Energy and Engineering, Renewable Energy, Sustainability and the Environment, Environmental Chemistry}, number = {11}, pages = {4527--4541}, publisher = {Royal Society of Chemistry}, title = {{Solid-state cooling: Thermoelectrics}}, doi = {10.1039/d2ee02408j}, volume = {15}, year = {2022}, } @article{12156, abstract = {Models of transcriptional regulation that assume equilibrium binding of transcription factors have been less successful at predicting gene expression from sequence in eukaryotes than in bacteria. This could be due to the non-equilibrium nature of eukaryotic regulation. Unfortunately, the space of possible non-equilibrium mechanisms is vast and predominantly uninteresting. The key question is therefore how this space can be navigated efficiently, to focus on mechanisms and models that are biologically relevant. In this review, we advocate for the normative role of theory—theory that prescribes rather than just describes—in providing such a focus. Theory should expand its remit beyond inferring mechanistic models from data, towards identifying non-equilibrium gene regulatory schemes that may have been evolutionarily selected, despite their energy consumption, because they are precise, reliable, fast, or otherwise outperform regulation at equilibrium. We illustrate our reasoning by toy examples for which we provide simulation code.}, author = {Zoller, Benjamin and Gregor, Thomas and Tkačik, Gašper}, issn = {2452-3100}, journal = {Current Opinion in Systems Biology}, keywords = {Applied Mathematics, Computer Science Applications, Drug Discovery, General Biochemistry, Genetics and Molecular Biology, Modeling and Simulation}, number = {9}, publisher = {Elsevier}, title = {{Eukaryotic gene regulation at equilibrium, or non?}}, doi = {10.1016/j.coisb.2022.100435}, volume = {31}, year = {2022}, } @article{12157, abstract = {Polygenic adaptation is thought to be ubiquitous, yet remains poorly understood. Here, we model this process analytically, in the plausible setting of a highly polygenic, quantitative trait that experiences a sudden shift in the fitness optimum. We show how the mean phenotype changes over time, depending on the effect sizes of loci that contribute to variance in the trait, and characterize the allele dynamics at these loci. Notably, we describe the two phases of the allele dynamics: The first is a rapid phase, in which directional selection introduces small frequency differences between alleles whose effects are aligned with or opposed to the shift, ultimately leading to small differences in their probability of fixation during a second, longer phase, governed by stabilizing selection. As we discuss, key results should hold in more general settings and have important implications for efforts to identify the genetic basis of adaptation in humans and other species.}, author = {Hayward, Laura and Sella, Guy}, issn = {2050-084X}, journal = {eLife}, keywords = {General Immunology and Microbiology, General Biochemistry, Genetics and Molecular Biology, General Medicine, General Neuroscience}, publisher = {eLife Sciences Publications}, title = {{Polygenic adaptation after a sudden change in environment}}, doi = {10.7554/elife.66697}, volume = {11}, year = {2022}, } @inproceedings{12167, abstract = {Payment channels effectively move the transaction load off-chain thereby successfully addressing the inherent scalability problem most cryptocurrencies face. A major drawback of payment channels is the need to “top up” funds on-chain when a channel is depleted. Rebalancing was proposed to alleviate this issue, where parties with depleting channels move their funds along a cycle to replenish their channels off-chain. Protocols for rebalancing so far either introduce local solutions or compromise privacy. In this work, we present an opt-in rebalancing protocol that is both private and globally optimal, meaning our protocol maximizes the total amount of rebalanced funds. We study rebalancing from the framework of linear programming. To obtain full privacy guarantees, we leverage multi-party computation in solving the linear program, which is executed by selected participants to maintain efficiency. Finally, we efficiently decompose the rebalancing solution into incentive-compatible cycles which conserve user balances when executed atomically.}, author = {Avarikioti, Georgia and Pietrzak, Krzysztof Z and Salem, Iosif and Schmid, Stefan and Tiwari, Samarth and Yeo, Michelle X}, booktitle = {Financial Cryptography and Data Security}, isbn = {9783031182822}, issn = {1611-3349}, location = {Grenada}, pages = {358--373}, publisher = {Springer Nature}, title = {{Hide & Seek: Privacy-preserving rebalancing on payment channel networks}}, doi = {10.1007/978-3-031-18283-9_17}, volume = {13411}, year = {2022}, } @inproceedings{12168, abstract = {Advances in blockchains have influenced the State-Machine-Replication (SMR) world and many state-of-the-art blockchain-SMR solutions are based on two pillars: Chaining and Leader-rotation. A predetermined round-robin mechanism used for Leader-rotation, however, has an undesirable behavior: crashed parties become designated leaders infinitely often, slowing down overall system performance. In this paper, we provide a new Leader-Aware SMR framework that, among other desirable properties, formalizes a Leader-utilization requirement that bounds the number of rounds whose leaders are faulty in crash-only executions. We introduce Carousel, a novel, reputation-based Leader-rotation solution to achieve Leader-Aware SMR. The challenge in adaptive Leader-rotation is that it cannot rely on consensus to determine a leader, since consensus itself needs a leader. Carousel uses the available on-chain information to determine a leader locally and achieves Liveness despite this difficulty. A HotStuff implementation fitted with Carousel demonstrates drastic performance improvements: it increases throughput over 2x in faultless settings and provided a 20x throughput increase and 5x latency reduction in the presence of faults.}, author = {Cohen, Shir and Gelashvili, Rati and Kokoris Kogias, Eleftherios and Li, Zekun and Malkhi, Dahlia and Sonnino, Alberto and Spiegelman, Alexander}, booktitle = {International Conference on Financial Cryptography and Data Security}, isbn = {9783031182822}, issn = {1611-3349}, location = {Grenada}, pages = {279--295}, publisher = {Springer Nature}, title = {{Be aware of your leaders}}, doi = {10.1007/978-3-031-18283-9_13}, volume = {13411}, year = {2022}, } @inproceedings{12170, abstract = {We present PET, a specialized and highly optimized framework for partial exploration on probabilistic systems. Over the last decade, several significant advances in the analysis of Markov decision processes employed partial exploration. In a nutshell, this idea allows to focus computation on specific parts of the system, guided by heuristics, while maintaining correctness. In particular, only relevant parts of the system are constructed on demand, which in turn potentially allows to omit constructing large parts of the system. Depending on the model, this leads to dramatic speed-ups, in extreme cases even up to an arbitrary factor. PET unifies several previous implementations and provides a flexible framework to easily implement partial exploration for many further problems. Our experimental evaluation shows significant improvements compared to the previous implementations while vastly reducing the overhead required to add support for additional properties.}, author = {Meggendorfer, Tobias}, booktitle = {20th International Symposium on Automated Technology for Verification and Analysis}, isbn = {9783031199912}, issn = {1611-3349}, location = {Virtual}, pages = {320--326}, publisher = {Springer Nature}, title = {{PET – A partial exploration tool for probabilistic verification}}, doi = {10.1007/978-3-031-19992-9_20}, volume = {13505}, year = {2022}, } @inproceedings{12171, abstract = {We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data. Unlike existing approaches, our approach provides a whole family of models with the same discrete structure but different dynamics. Each model in the family is guaranteed to capture the input data up to a precision error ε, in the following sense: For each time series, the model contains an execution that is ε-close to the data points. Our construction allows to effectively choose a model from this family with minimal precision error ε. We demonstrate the algorithm’s efficiency and its ability to find precise models in two case studies.}, author = {Garcia Soto, Miriam and Henzinger, Thomas A and Schilling, Christian}, booktitle = {20th International Symposium on Automated Technology for Verification and Analysis}, isbn = {9783031199912}, issn = {1611-3349}, location = {Virtual}, pages = {337--353}, publisher = {Springer Nature}, title = {{Synthesis of parametric hybrid automata from time series}}, doi = {10.1007/978-3-031-19992-9_22}, volume = {13505}, year = {2022}, } @article{12173, abstract = {With increasing urbanization and industrialization, the prevalence of inflammatory bowel diseases (IBDs) has steadily been rising over the past two decades. IBD involves flares of gastrointestinal (GI) inflammation accompanied by microbiota perturbations. However, microbial mechanisms that trigger such flares remain elusive. Here, we analyzed the association of the emerging pathogen atypical enteropathogenic E. coli (aEPEC) with IBD disease activity. The presence of diarrheagenic E. coli was assessed in stool samples from 630 IBD patients and 234 age- and sex-matched controls without GI symptoms. Microbiota was analyzed with 16S ribosomal RNA gene amplicon sequencing, and 57 clinical aEPEC isolates were subjected to whole-genome sequencing and in vitro pathogenicity experiments including biofilm formation, epithelial barrier function and the ability to induce pro-inflammatory signaling. The presence of aEPEC correlated with laboratory, clinical and endoscopic disease activity in ulcerative colitis (UC), as well as microbiota dysbiosis. In vitro, aEPEC strains induce epithelial p21-activated kinases, disrupt the epithelial barrier and display potent biofilm formation. The effector proteins espV and espG2 distinguish aEPEC cultured from UC and Crohn’s disease patients, respectively. EspV-positive aEPEC harbor more virulence factors and have a higher pro-inflammatory potential, which is counteracted by 5-ASA. aEPEC may tip a fragile immune–microbiota homeostasis and thereby contribute to flares in UC. aEPEC isolates from UC patients display properties to disrupt the epithelial barrier and to induce pro-inflammatory signaling in vitro.}, author = {Baumgartner, Maximilian and Zirnbauer, Rebecca and Schlager, Sabine and Mertens, Daniel and Gasche, Nikolaus and Sladek, Barbara and Herbold, Craig and Bochkareva, Olga and Emelianenko, Vera and Vogelsang, Harald and Lang, Michaela and Klotz, Anton and Moik, Birgit and Makristathis, Athanasios and Berry, David and Dabsch, Stefanie and Khare, Vineeta and Gasche, Christoph}, issn = {1949-0984}, journal = {Gut Microbes}, keywords = {Infectious Diseases, Microbiology (medical), Gastroenterology, Microbiology}, number = {1}, publisher = {Taylor & Francis}, title = {{Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis}}, doi = {10.1080/19490976.2022.2143218}, volume = {14}, year = {2022}, } @article{12174, abstract = {Vacuolar-type H+-ATPase (V-ATPase) is a multimeric complex present in a variety of cellular membranes that acts as an ATP-dependent proton pump and plays a key role in pH homeostasis and intracellular signalling pathways. In humans, 22 autosomal genes encode for a redundant set of subunits allowing the composition of diverse V-ATPase complexes with specific properties and expression. Sixteen subunits have been linked to human disease. Here we describe 26 patients harbouring 20 distinct pathogenic de novo missense ATP6V1A variants, mainly clustering within the ATP synthase α/β family-nucleotide-binding domain. At a mean age of 7 years (extremes: 6 weeks, youngest deceased patient to 22 years, oldest patient) clinical pictures included early lethal encephalopathies with rapidly progressive massive brain atrophy, severe developmental epileptic encephalopathies and static intellectual disability with epilepsy. The first clinical manifestation was early hypotonia, in 70%; 81% developed epilepsy, manifested as developmental epileptic encephalopathies in 58% of the cohort and with infantile spasms in 62%; 63% of developmental epileptic encephalopathies failed to achieve any developmental, communicative or motor skills. Less severe outcomes were observed in 23% of patients who, at a mean age of 10 years and 6 months, exhibited moderate intellectual disability, with independent walking and variable epilepsy. None of the patients developed communicative language. Microcephaly (38%) and amelogenesis imperfecta/enamel dysplasia (42%) were additional clinical features. Brain MRI demonstrated hypomyelination and generalized atrophy in 68%. Atrophy was progressive in all eight individuals undergoing repeated MRIs. Fibroblasts of two patients with developmental epileptic encephalopathies showed decreased LAMP1 expression, Lysotracker staining and increased organelle pH, consistent with lysosomal impairment and loss of V-ATPase function. Fibroblasts of two patients with milder disease, exhibited a different phenotype with increased Lysotracker staining, decreased organelle pH and no significant modification in LAMP1 expression. Quantification of substrates for lysosomal enzymes in cellular extracts from four patients revealed discrete accumulation. Transmission electron microscopy of fibroblasts of four patients with variable severity and of induced pluripotent stem cell-derived neurons from two patients with developmental epileptic encephalopathies showed electron-dense inclusions, lipid droplets, osmiophilic material and lamellated membrane structures resembling phospholipids. Quantitative assessment in induced pluripotent stem cell-derived neurons identified significantly smaller lysosomes. ATP6V1A-related encephalopathy represents a new paradigm among lysosomal disorders. It results from a dysfunctional endo-lysosomal membrane protein causing altered pH homeostasis. Its pathophysiology implies intracellular accumulation of substrates whose composition remains unclear, and a combination of developmental brain abnormalities and neurodegenerative changes established during prenatal and early postanal development, whose severity is variably determined by specific pathogenic variants.}, author = {Guerrini, Renzo and Mei, Davide and Szigeti, Margit Katalin and Pepe, Sara and Koenig, Mary Kay and Von Allmen, Gretchen and Cho, Megan T and McDonald, Kimberly and Baker, Janice and Bhambhani, Vikas and Powis, Zöe and Rodan, Lance and Nabbout, Rima and Barcia, Giulia and Rosenfeld, Jill A and Bacino, Carlos A and Mignot, Cyril and Power, Lillian H and Harris, Catharine J and Marjanovic, Dragan and Møller, Rikke S and Hammer, Trine B and Keski Filppula, Riikka and Vieira, Päivi and Hildebrandt, Clara and Sacharow, Stephanie and Maragliano, Luca and Benfenati, Fabio and Lachlan, Katherine and Benneche, Andreas and Petit, Florence and de Sainte Agathe, Jean Madeleine and Hallinan, Barbara and Si, Yue and Wentzensen, Ingrid M and Zou, Fanggeng and Narayanan, Vinodh and Matsumoto, Naomichi and Boncristiano, Alessandra and la Marca, Giancarlo and Kato, Mitsuhiro and Anderson, Kristin and Barba, Carmen and Sturiale, Luisa and Garozzo, Domenico and Bei, Roberto and Masuelli, Laura and Conti, Valerio and Novarino, Gaia and Fassio, Anna}, issn = {1460-2156}, journal = {Brain}, keywords = {Neurology (clinical)}, number = {8}, pages = {2687--2703}, publisher = {Oxford University Press}, title = {{Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis}}, doi = {10.1093/brain/awac145}, volume = {145}, year = {2022}, } @inproceedings{12175, abstract = {An automaton is history-deterministic (HD) if one can safely resolve its non-deterministic choices on the fly. In a recent paper, Henzinger, Lehtinen and Totzke studied this in the context of Timed Automata [9], where it was conjectured that the class of timed ω-languages recognised by HD-timed automata strictly extends that of deterministic ones. We provide a proof for this fact.}, author = {Bose, Sougata and Henzinger, Thomas A and Lehtinen, Karoliina and Schewe, Sven and Totzke, Patrick}, booktitle = {16th International Conference on Reachability Problems}, isbn = {9783031191343}, issn = {1611-3349}, location = {Kaiserslautern, Germany}, pages = {67--76}, publisher = {Springer Nature}, title = {{History-deterministic timed automata are not determinizable}}, doi = {10.1007/978-3-031-19135-0_5}, volume = {13608}, year = {2022}, } @inproceedings{12176, abstract = {A proof of exponentiation (PoE) in a group G of unknown order allows a prover to convince a verifier that a tuple (x,q,T,y)∈G×N×N×G satisfies xqT=y. This primitive has recently found exciting applications in the constructions of verifiable delay functions and succinct arguments of knowledge. The most practical PoEs only achieve soundness either under computational assumptions, i.e., they are arguments (Wesolowski, Journal of Cryptology 2020), or in groups that come with the promise of not having any small subgroups (Pietrzak, ITCS 2019). The only statistically-sound PoE in general groups of unknown order is due to Block et al. (CRYPTO 2021), and can be seen as an elaborate parallel repetition of Pietrzak’s PoE: to achieve λ bits of security, say λ=80, the number of repetitions required (and thus the blow-up in communication) is as large as λ. In this work, we propose a statistically-sound PoE for the case where the exponent q is the product of all primes up to some bound B. We show that, in this case, it suffices to run only λ/log(B) parallel instances of Pietrzak’s PoE, which reduces the concrete proof-size compared to Block et al. by an order of magnitude. Furthermore, we show that in the known applications where PoEs are used as a building block such structured exponents are viable. Finally, we also discuss batching of our PoE, showing that many proofs (for the same G and q but different x and T) can be batched by adding only a single element to the proof per additional statement.}, author = {Hoffmann, Charlotte and Hubáček, Pavel and Kamath, Chethan and Klein, Karen and Pietrzak, Krzysztof Z}, booktitle = {Advances in Cryptology – CRYPTO 2022}, isbn = {9783031159787}, issn = {1611-3349}, location = {Santa Barbara, CA, United States}, pages = {370--399}, publisher = {Springer Nature}, title = {{Practical statistically-sound proofs of exponentiation in any group}}, doi = {10.1007/978-3-031-15979-4_13}, volume = {13508}, year = {2022}, } @article{12177, abstract = {Using elementary hyperbolic geometry, we give an explicit formula for the contraction constant of the skinning map over moduli spaces of relatively acylindrical hyperbolic manifolds.}, author = {Cremaschi, Tommaso and Dello Schiavo, Lorenzo}, issn = {2330-1511}, journal = {Proceedings of the American Mathematical Society, Series B}, number = {43}, pages = {445--459}, publisher = {American Mathematical Society}, title = {{Effective contraction of Skinning maps}}, doi = {10.1090/bproc/134}, volume = {9}, year = {2022}, } @article{12179, abstract = {We derive an accurate lower tail estimate on the lowest singular value σ1(X−z) of a real Gaussian (Ginibre) random matrix X shifted by a complex parameter z. Such shift effectively changes the upper tail behavior of the condition number κ(X−z) from the slower (κ(X−z)≥t)≲1/t decay typical for real Ginibre matrices to the faster 1/t2 decay seen for complex Ginibre matrices as long as z is away from the real axis. This sharpens and resolves a recent conjecture in [J. Banks et al., https://arxiv.org/abs/2005.08930, 2020] on the regularizing effect of the real Ginibre ensemble with a genuinely complex shift. As a consequence we obtain an improved upper bound on the eigenvalue condition numbers (known also as the eigenvector overlaps) for real Ginibre matrices. The main technical tool is a rigorous supersymmetric analysis from our earlier work [Probab. Math. Phys., 1 (2020), pp. 101--146].}, author = {Cipolloni, Giorgio and Erdös, László and Schröder, Dominik J}, issn = {1095-7162}, journal = {SIAM Journal on Matrix Analysis and Applications}, keywords = {Analysis}, number = {3}, pages = {1469--1487}, publisher = {Society for Industrial and Applied Mathematics}, title = {{On the condition number of the shifted real Ginibre ensemble}}, doi = {10.1137/21m1424408}, volume = {43}, year = {2022}, } @inproceedings{12182, abstract = {Online algorithms make decisions based on past inputs, with the goal of being competitive against an algorithm that sees also future inputs. In this work, we introduce time-local online algorithms; these are online algorithms in which the output at any given time is a function of only T latest inputs. Our main observation is that time-local online algorithms are closely connected to local distributed graph algorithms: distributed algorithms make decisions based on the local information in the spatial dimension, while time-local online algorithms make decisions based on the local information in the temporal dimension. We formalize this connection, and show how we can directly use the tools developed to study distributed approximability of graph optimization problems to prove upper and lower bounds on the competitive ratio achieved with time-local online algorithms. Moreover, we show how to use computational techniques to synthesize optimal time-local algorithms.}, author = {Pacut, Maciej and Parham, Mahmoud and Rybicki, Joel and Schmid, Stefan and Suomela, Jukka and Tereshchenko, Aleksandr}, booktitle = {36th International Symposium on Distributed Computing}, issn = {1868-8969}, location = {Augusta, GA, United States}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Brief announcement: Temporal locality in online algorithms}}, doi = {10.4230/LIPIcs.DISC.2022.52}, volume = {246}, year = {2022}, } @article{12208, abstract = {The inadequate understanding of the mechanisms that reversibly convert molecular sulfur (S) into lithium sulfide (Li2S) via soluble polysulfides (PSs) formation impedes the development of high-performance lithium-sulfur (Li-S) batteries with non-aqueous electrolyte solutions. Here, we use operando small and wide angle X-ray scattering and operando small angle neutron scattering (SANS) measurements to track the nucleation, growth and dissolution of solid deposits from atomic to sub-micron scales during real-time Li-S cell operation. In particular, stochastic modelling based on the SANS data allows quantifying the nanoscale phase evolution during battery cycling. We show that next to nano-crystalline Li2S the deposit comprises solid short-chain PSs particles. The analysis of the experimental data suggests that initially, Li2S2 precipitates from the solution and then is partially converted via solid-state electroreduction to Li2S. We further demonstrate that mass transport, rather than electron transport through a thin passivating film, limits the discharge capacity and rate performance in Li-S cells.}, author = {Prehal, Christian and von Mentlen, Jean-Marc and Drvarič Talian, Sara and Vizintin, Alen and Dominko, Robert and Amenitsch, Heinz and Porcar, Lionel and Freunberger, Stefan Alexander and Wood, Vanessa}, issn = {2041-1723}, journal = {Nature Communications}, keywords = {General Physics and Astronomy, General Biochemistry, Genetics and Molecular Biology, General Chemistry, Multidisciplinary}, publisher = {Springer Nature}, title = {{On the nanoscale structural evolution of solid discharge products in lithium-sulfur batteries using operando scattering}}, doi = {10.1038/s41467-022-33931-4}, volume = {13}, year = {2022}, } @article{12209, abstract = {Embryo development requires biochemical signalling to generate patterns of cell fates and active mechanical forces to drive tissue shape changes. However, how these processes are coordinated, and how tissue patterning is preserved despite the cellular flows occurring during morphogenesis, remains poorly understood. Gastrulation is a crucial embryonic stage that involves both patterning and internalization of the mesendoderm germ layer tissue. Here we show that, in zebrafish embryos, a gradient in Nodal signalling orchestrates pattern-preserving internalization movements by triggering a motility-driven unjamming transition. In addition to its role as a morphogen determining embryo patterning, graded Nodal signalling mechanically subdivides the mesendoderm into a small fraction of highly protrusive leader cells, able to autonomously internalize via local unjamming, and less protrusive followers, which need to be pulled inwards by the leaders. The Nodal gradient further enforces a code of preferential adhesion coupling leaders to their immediate followers, resulting in a collective and ordered mode of internalization that preserves mesendoderm patterning. Integrating this dual mechanical role of Nodal signalling into minimal active particle simulations quantitatively predicts both physiological and experimentally perturbed internalization movements. This provides a quantitative framework for how a morphogen-encoded unjamming transition can bidirectionally couple tissue mechanics with patterning during complex three-dimensional morphogenesis.}, author = {Nunes Pinheiro, Diana C and Kardos, Roland and Hannezo, Edouard B and Heisenberg, Carl-Philipp J}, issn = {1745-2481}, journal = {Nature Physics}, keywords = {General Physics and Astronomy}, number = {12}, pages = {1482--1493}, publisher = {Springer Nature}, title = {{Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming}}, doi = {10.1038/s41567-022-01787-6}, volume = {18}, year = {2022}, } @article{12210, abstract = {The aim of this paper is to find new estimates for the norms of functions of a (minus) distinguished Laplace operator L on the ‘ax+b’ groups. The central part is devoted to spectrally localized wave propagators, that is, functions of the type ψ(L−−√)exp(itL−−√), with ψ∈C0(R). We show that for t→+∞, the convolution kernel kt of this operator satisfies ∥kt∥1≍t,∥kt∥∞≍1, so that the upper estimates of D. Müller and C. Thiele (Studia Math., 2007) are sharp. As a necessary component, we recall the Plancherel density of L and spend certain time presenting and comparing different approaches to its calculation. Using its explicit form, we estimate uniform norms of several functions of the shifted Laplace-Beltrami operator Δ~, closely related to L. The functions include in particular exp(−tΔ~γ), t>0,γ>0, and (Δ~−z)s, with complex z, s.}, author = {Akylzhanov, Rauan and Kuznetsova, Yulia and Ruzhansky, Michael and Zhang, Haonan}, issn = {1432-1823}, journal = {Mathematische Zeitschrift}, keywords = {General Mathematics}, number = {4}, pages = {2327--2352}, publisher = {Springer Nature}, title = {{Norms of certain functions of a distinguished Laplacian on the ax + b groups}}, doi = {10.1007/s00209-022-03143-z}, volume = {302}, year = {2022}, } @article{12212, abstract = {Alzheimer’s disease (AD) is characterized by a reorganization of brain activity determining network hyperexcitability and loss of synaptic plasticity. Precisely, a dysfunction in metabotropic GABAB receptor signalling through G protein-gated inwardly rectifying K+ (GIRK or Kir3) channels on the hippocampus has been postulated. Thus, we determined the impact of amyloid-β (Aβ) pathology in GIRK channel density, subcellular distribution, and its association with GABAB receptors in hippocampal CA1 pyramidal neurons from the APP/PS1 mouse model using quantitative SDS-digested freeze-fracture replica labelling (SDS-FRL) and proximity ligation in situ assay (P-LISA). In wild type mice, single SDS-FRL detection revealed a similar dendritic gradient for GIRK1 and GIRK2 in CA1 pyramidal cells, with higher densities in spines, and GIRK3 showed a lower and uniform distribution. Double SDS-FRL showed a co-clustering of GIRK2 and GIRK1 in post- and presynaptic compartments, but not for GIRK2 and GIRK3. Likewise, double GABAB1 and GIRK2 SDS-FRL detection displayed a high degree of co-clustering in nanodomains (40–50 nm) mostly in spines and axon terminals. In APP/PS1 mice, the density of GIRK2 and GIRK1, but not for GIRK3, was significantly reduced along the neuronal surface of CA1 pyramidal cells and in axon terminals contacting them. Importantly, GABAB1 and GIRK2 co-clustering was not present in APP/PS1 mice. Similarly, P-LISA experiments revealed a significant reduction in GABAB1 and GIRK2 interaction on the hippocampus of this animal model. Overall, our results provide compelling evidence showing a significant reduction on the cell surface density of pre- and postsynaptic GIRK1 and GIRK2, but not GIRK3, and a decline in GABAB receptors and GIRK2 channels co-clustering in hippocampal pyramidal neurons from APP/PS1 mice, thus suggesting that a disruption in the GABAB receptor–GIRK channel membrane assembly causes dysregulation in the GABAB signalling via GIRK channels in this AD animal model.}, author = {Martín-Belmonte, Alejandro and Aguado, Carolina and Alfaro-Ruiz, Rocío and Moreno-Martínez, Ana Esther and de la Ossa, Luis and Aso, Ester and Gómez-Acero, Laura and Shigemoto, Ryuichi and Fukazawa, Yugo and Ciruela, Francisco and Luján, Rafael}, issn = {1758-9193}, journal = {Alzheimer's Research & Therapy}, keywords = {Cognitive Neuroscience, Neurology (clinical), Neurology}, publisher = {Springer Nature}, title = {{Nanoscale alterations in GABAB receptors and GIRK channel organization on the hippocampus of APP/PS1 mice}}, doi = {10.1186/s13195-022-01078-5}, volume = {14}, year = {2022}, } @article{12213, abstract = {Motivated by properties-controlling potential of the strain, we investigate strain dependence of structure, electronic, and magnetic properties of Sr2IrO4 using complementary theoretical tools: ab-initio calculations, analytical approaches (rigid octahedra picture, Slater-Koster integrals), and extended t−J model. We find that strain affects both Ir-Ir distance and Ir-O-Ir angle, and the rigid octahedra picture is not relevant. Second, we find fundamentally different behavior for compressive and tensile strain. One remarkable feature is the formation of two subsets of bond- and orbital-dependent carriers, a compass-like model, under compression. This originates from the strain-induced renormalization of the Ir-O-Ir superexchange and O on-site energy. We also show that under compressive (tensile) strain, Fermi surface becomes highly dispersive (relatively flat). Already at a tensile strain of 1.5%, we observe spectral weight redistribution, with the low-energy band acquiring almost purely singlet character. These results can be directly compared with future experiments.}, author = {Paerschke, Ekaterina and Chen, Wei-Chih and Ray, Rajyavardhan and Chen, Cheng-Chien}, issn = {2397-4648}, journal = {npj Quantum Materials}, keywords = {Condensed Matter Physics, Electronic, Optical and Magnetic Materials}, publisher = {Springer Nature}, title = {{Evolution of electronic and magnetic properties of Sr₂IrO₄ under strain}}, doi = {10.1038/s41535-022-00496-w}, volume = {7}, year = {2022}, }