[{"oa":1,"arxiv":1,"_id":"14750","corr_author":"1","issue":"4","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"full_name":"Ding, Xiucai","last_name":"Ding","first_name":"Xiucai"},{"first_name":"Hong Chang","last_name":"Ji","full_name":"Ji, Hong Chang","id":"dd216c0a-c1f9-11eb-beaf-e9ea9d2de76d"}],"acknowledgement":"The first author is partially supported by NSF Grant DMS-2113489 and grateful for the AMS-SIMONS travel grant (2020–2023). The second author is supported by the ERC Advanced Grant “RMTBeyond” No. 101020331.\r\nThe authors would like to thank the Editor, Associate Editor and an anonymous referee for their many critical suggestions which have significantly improved the paper. We also want to thank Zhigang Bao and Ji Oon Lee for many helpful discussions and comments.","type":"journal_article","status":"public","date_created":"2024-01-08T13:03:18Z","scopus_import":"1","keyword":["Statistics","Probability and Uncertainty","Statistics and Probability"],"publication":"The Annals of Applied Probability","language":[{"iso":"eng"}],"intvolume":"        33","page":"2981-3009","date_published":"2023-08-01T00:00:00Z","year":"2023","citation":{"ieee":"X. Ding and H. C. Ji, “Local laws for multiplication of random matrices,” <i>The Annals of Applied Probability</i>, vol. 33, no. 4. Institute of Mathematical Statistics, pp. 2981–3009, 2023.","mla":"Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random Matrices.” <i>The Annals of Applied Probability</i>, vol. 33, no. 4, Institute of Mathematical Statistics, 2023, pp. 2981–3009, doi:<a href=\"https://doi.org/10.1214/22-aap1882\">10.1214/22-aap1882</a>.","ista":"Ding X, Ji HC. 2023. Local laws for multiplication of random matrices. The Annals of Applied Probability. 33(4), 2981–3009.","ama":"Ding X, Ji HC. Local laws for multiplication of random matrices. <i>The Annals of Applied Probability</i>. 2023;33(4):2981-3009. doi:<a href=\"https://doi.org/10.1214/22-aap1882\">10.1214/22-aap1882</a>","chicago":"Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random Matrices.” <i>The Annals of Applied Probability</i>. Institute of Mathematical Statistics, 2023. <a href=\"https://doi.org/10.1214/22-aap1882\">https://doi.org/10.1214/22-aap1882</a>.","short":"X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.","apa":"Ding, X., &#38; Ji, H. C. (2023). Local laws for multiplication of random matrices. <i>The Annals of Applied Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/22-aap1882\">https://doi.org/10.1214/22-aap1882</a>"},"article_processing_charge":"No","publisher":"Institute of Mathematical Statistics","publication_identifier":{"issn":["1050-5164"]},"doi":"10.1214/22-aap1882","publication_status":"published","date_updated":"2025-09-09T14:12:00Z","month":"08","department":[{"_id":"LaEr"}],"isi":1,"title":"Local laws for multiplication of random matrices","ec_funded":1,"volume":33,"oa_version":"Preprint","day":"01","external_id":{"isi":["001031710500012"],"arxiv":["2010.16083"]},"quality_controlled":"1","project":[{"grant_number":"101020331","_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"article_type":"original","abstract":[{"text":"Consider the random matrix model A1/2UBU∗A1/2, where A and B are two N × N deterministic matrices and U is either an N × N Haar unitary or orthogonal random matrix. It is well known that on the macroscopic scale (Invent. Math. 104 (1991) 201–220), the limiting empirical spectral distribution (ESD) of the above model is given by the free multiplicative convolution\r\nof the limiting ESDs of A and B, denoted as μα \u0002 μβ, where μα and μβ are the limiting ESDs of A and B, respectively. In this paper, we study the asymptotic microscopic behavior of the edge eigenvalues and eigenvectors statistics. We prove that both the density of μA \u0002μB, where μA and μB are the ESDs of A and B, respectively and the associated subordination functions\r\nhave a regular behavior near the edges. Moreover, we establish the local laws near the edges on the optimal scale. In particular, we prove that the entries of the resolvent are close to some functionals depending only on the eigenvalues of A, B and the subordination functions with optimal convergence rates. Our proofs and calculations are based on the techniques developed for the additive model A+UBU∗ in (J. Funct. Anal. 271 (2016) 672–719; Comm. Math.\r\nPhys. 349 (2017) 947–990; Adv. Math. 319 (2017) 251–291; J. Funct. Anal. 279 (2020) 108639), and our results can be regarded as the counterparts of (J. Funct. Anal. 279 (2020) 108639) for the multiplicative model. ","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2010.16083"}]},{"publication_identifier":{"issn":["0018-9448"],"eissn":["1557-9654"]},"article_processing_charge":"No","publisher":"Institute of Electrical and Electronics Engineers","doi":"10.1109/tit.2023.3257239","publication_status":"published","year":"2023","date_published":"2023-07-01T00:00:00Z","citation":{"mla":"Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions on Information Theory</i>, vol. 69, no. 7, Institute of Electrical and Electronics Engineers, 2023, pp. 4093–127, doi:<a href=\"https://doi.org/10.1109/tit.2023.3257239\">10.1109/tit.2023.3257239</a>.","ieee":"Y. Zhang, “Zero-error communication over adversarial MACs,” <i>IEEE Transactions on Information Theory</i>, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.","ista":"Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.","chicago":"Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions on Information Theory</i>. Institute of Electrical and Electronics Engineers, 2023. <a href=\"https://doi.org/10.1109/tit.2023.3257239\">https://doi.org/10.1109/tit.2023.3257239</a>.","ama":"Zhang Y. Zero-error communication over adversarial MACs. <i>IEEE Transactions on Information Theory</i>. 2023;69(7):4093-4127. doi:<a href=\"https://doi.org/10.1109/tit.2023.3257239\">10.1109/tit.2023.3257239</a>","apa":"Zhang, Y. (2023). Zero-error communication over adversarial MACs. <i>IEEE Transactions on Information Theory</i>. Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/tit.2023.3257239\">https://doi.org/10.1109/tit.2023.3257239</a>","short":"Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127."},"isi":1,"title":"Zero-error communication over adversarial MACs","date_updated":"2025-09-09T14:12:32Z","month":"07","department":[{"_id":"MaMo"}],"quality_controlled":"1","external_id":{"isi":["001017307000001"],"arxiv":["2101.12426"]},"oa_version":"Preprint","volume":69,"day":"01","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2101.12426"}],"abstract":[{"lang":"eng","text":"We consider zero-error communication over a two-transmitter deterministic adversarial multiple access channel (MAC) governed by an adversary who has access to the transmissions of both senders (hence called omniscient ) and aims to maliciously corrupt the communication. None of the encoders, jammer and decoder is allowed to randomize using private or public randomness. This enforces a combinatorial nature of the problem. Our model covers a large family of channels studied in the literature, including all deterministic discrete memoryless noisy or noiseless MACs. In this work, given an arbitrary two-transmitter deterministic omniscient adversarial MAC, we characterize when the capacity region: 1) has nonempty interior (in particular, is two-dimensional); 2) consists of two line segments (in particular, has empty interior); 3) consists of one line segment (in particular, is one-dimensional); 4) or only contains (0,0) (in particular, is zero-dimensional). This extends a recent result by Wang et al. (201 9) from the point-to-point setting to the multiple access setting. Indeed, our converse arguments build upon their generalized Plotkin bound and involve delicate case analysis. One of the technical challenges is to take care of both “joint confusability” and “marginal confusability”. In particular, the treatment of marginal confusability does not follow from the point-to-point results by Wang et al. Our achievability results follow from random coding with expurgation."}],"arxiv":1,"_id":"14751","oa":1,"author":[{"orcid":"0000-0002-6465-6258","first_name":"Yihan","last_name":"Zhang","id":"2ce5da42-b2ea-11eb-bba5-9f264e9d002c","full_name":"Zhang, Yihan"}],"acknowledgement":"The author would like to thank Amitalok J. Budkuley and Sidharth Jaggi for many helpful discussions at the early stage of this work. He would also like to thank Nir Ailon, Qi Cao, and Chandra Nair for discussions on a related problem regarding zero-error binary adder MACs.\r\nThe work of Yihan Zhang was supported by the European Union’s Horizon 2020 Research and Innovation Programme under Grant 682203-ERC-[Inf-Speed-Tradeoff]","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","corr_author":"1","issue":"7","publication":"IEEE Transactions on Information Theory","language":[{"iso":"eng"}],"status":"public","date_created":"2024-01-08T13:04:54Z","keyword":["Computer Science Applications","Information Systems"],"scopus_import":"1","intvolume":"        69","page":"4093-4127"},{"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"date_updated":"2025-09-09T14:13:05Z","month":"06","department":[{"_id":"CaMu"}],"title":"How moisture shapes low‐level radiative cooling in subsidence regimes","article_number":"e2023AV000880","isi":1,"date_published":"2023-06-01T00:00:00Z","year":"2023","citation":{"ista":"Fildier B, Muller CJ, Pincus R, Fueglistaler S. 2023. How moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances. 4(3), e2023AV000880.","mla":"Fildier, B., et al. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence Regimes.” <i>AGU Advances</i>, vol. 4, no. 3, e2023AV000880, American Geophysical Union, 2023, doi:<a href=\"https://doi.org/10.1029/2023av000880\">10.1029/2023av000880</a>.","ieee":"B. Fildier, C. J. Muller, R. Pincus, and S. Fueglistaler, “How moisture shapes low‐level radiative cooling in subsidence regimes,” <i>AGU Advances</i>, vol. 4, no. 3. American Geophysical Union, 2023.","apa":"Fildier, B., Muller, C. J., Pincus, R., &#38; Fueglistaler, S. (2023). How moisture shapes low‐level radiative cooling in subsidence regimes. <i>AGU Advances</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2023av000880\">https://doi.org/10.1029/2023av000880</a>","short":"B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).","chicago":"Fildier, B., Caroline J Muller, R. Pincus, and S. Fueglistaler. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence Regimes.” <i>AGU Advances</i>. American Geophysical Union, 2023. <a href=\"https://doi.org/10.1029/2023av000880\">https://doi.org/10.1029/2023av000880</a>.","ama":"Fildier B, Muller CJ, Pincus R, Fueglistaler S. How moisture shapes low‐level radiative cooling in subsidence regimes. <i>AGU Advances</i>. 2023;4(3). doi:<a href=\"https://doi.org/10.1029/2023av000880\">10.1029/2023av000880</a>"},"publication_status":"published","publication_identifier":{"eissn":["2576-604X"]},"article_processing_charge":"Yes","publisher":"American Geophysical Union","doi":"10.1029/2023av000880","abstract":[{"lang":"eng","text":"Radiative cooling of the lowest atmospheric levels is of strong importance for modulating atmospheric circulations and organizing convection, but detailed observations and a robust theoretical understanding are lacking. Here we use unprecedented observational constraints from subsidence regimes in the tropical Atlantic to develop a theory for the shape and magnitude of low‐level longwave radiative cooling in clear‐sky, showing peaks larger than 5–10 K/day at the top of the boundary layer. A suite of novel scaling approximations is first developed from simplified spectral theory, in close agreement with the measurements. The radiative cooling peak height is set by the maximum lapse rate in water vapor path, and its magnitude is mainly controlled by the ratio of column relative humidity above and below the peak. We emphasize how elevated intrusions of moist air can reduce low‐level cooling, by sporadically shading the spectral range which effectively cools to space. The efficiency of this spectral shading depends both on water content and altitude of moist intrusions; its height dependence cannot be explained by the temperature difference between the emitting and absorbing layers, but by the decrease of water vapor extinction with altitude. This analytical work can help to narrow the search for low‐level cloud patterns sensitive to radiative‐convective feedbacks: the most organized patterns with largest cloud fractions occur in atmospheres below 10% relative humidity and feel the strongest low‐level cooling. This motivates further assessment of favorable conditions for radiative‐convective feedbacks and a robust quantification of corresponding shallow cloud dynamics in current and warmer climates."}],"article_type":"original","oa_version":"Published Version","day":"01","volume":4,"ec_funded":1,"quality_controlled":"1","external_id":{"isi":["000989037900001"]},"project":[{"grant_number":"805041","name":"Organization of CLoUdS, and implications of Tropical  cyclones and for the Energetics of the tropics, in current and waRming climate","_id":"629205d8-2b32-11ec-9570-e1356ff73576","call_identifier":"H2020"}],"file_date_updated":"2024-01-09T08:51:25Z","issue":"3","acknowledgement":"The authors would like to thank two anonymous reviews and gratefully acknowledge diverse funding agencies and resources used for this work. B.F. and C.M. thank funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Project CLUSTER, grant agreement no. 805041), and the EUREC4A campaign organizers for giving the opportunity to take part to the campaign and use the data early on. R. P. was supported by the US National Science Foundation (award AGS 19–16908), by the National Oceanic and Atmospheric Administration (award NA200AR4310375), and the Vetlesen Foundation.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"full_name":"Fildier, B.","last_name":"Fildier","first_name":"B."},{"last_name":"Muller","full_name":"Muller, Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","orcid":"0000-0001-5836-5350","first_name":"Caroline J"},{"first_name":"R.","full_name":"Pincus, R.","last_name":"Pincus"},{"full_name":"Fueglistaler, S.","last_name":"Fueglistaler","first_name":"S."}],"type":"journal_article","oa":1,"_id":"14752","file":[{"relation":"main_file","file_size":24149551,"access_level":"open_access","success":1,"checksum":"af773220a9fa194c61a8dc2fae092c16","date_created":"2024-01-09T08:51:25Z","creator":"dernst","file_id":"14761","content_type":"application/pdf","date_updated":"2024-01-09T08:51:25Z","file_name":"2023_AGUAdvances_Fildier.pdf"}],"ddc":["550"],"intvolume":"         4","status":"public","date_created":"2024-01-08T13:07:49Z","keyword":["General Earth and Planetary Sciences"],"scopus_import":"1","has_accepted_license":"1","publication":"AGU Advances","language":[{"iso":"eng"}]},{"type":"journal_article","acknowledgement":"P.F. and C.L. acknowledge support from Fundação para a Ciência e a Tecnologia, Portugal, under contract CERN/FIS-PAR/0010/2019.\r\nOpen Access funded by SCOAP3.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"first_name":"Pietro","last_name":"Faccioli","full_name":"Faccioli, Pietro"},{"first_name":"Ilse","orcid":"0000-0002-5636-9259","last_name":"Krätschmer","full_name":"Krätschmer, Ilse","id":"30d4014e-7753-11eb-b44b-db6d61112e73"},{"first_name":"Carlos","last_name":"Lourenço","full_name":"Lourenço, Carlos"}],"file_date_updated":"2024-01-09T08:59:24Z","_id":"14753","oa":1,"intvolume":"       840","file":[{"file_id":"14762","creator":"dernst","content_type":"application/pdf","file_name":"2023_PhysicsLettersB_Faccioli.pdf","date_updated":"2024-01-09T08:59:24Z","relation":"main_file","file_size":855494,"access_level":"open_access","success":1,"checksum":"02dec160dbc81d95985e755869d8afbf","date_created":"2024-01-09T08:59:24Z"}],"ddc":["530"],"has_accepted_license":"1","language":[{"iso":"eng"}],"publication":"Physics Letters B","status":"public","date_created":"2024-01-08T13:09:17Z","scopus_import":"1","keyword":["Nuclear and High Energy Physics"],"title":"Low-pT quarkonium polarization measurements: Challenges and opportunities","article_number":"137871","isi":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"license":"https://creativecommons.org/licenses/by/4.0/","month":"05","department":[{"_id":"MaRo"}],"date_updated":"2025-09-09T14:13:46Z","publication_status":"published","doi":"10.1016/j.physletb.2023.137871","publication_identifier":{"issn":["0370-2693"],"eissn":["1873-2445"]},"publisher":"Elsevier","article_processing_charge":"Yes (via OA deal)","citation":{"short":"P. Faccioli, I. Krätschmer, C. Lourenço, Physics Letters B 840 (2023).","apa":"Faccioli, P., Krätschmer, I., &#38; Lourenço, C. (2023). Low-pT quarkonium polarization measurements: Challenges and opportunities. <i>Physics Letters B</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">https://doi.org/10.1016/j.physletb.2023.137871</a>","ama":"Faccioli P, Krätschmer I, Lourenço C. Low-pT quarkonium polarization measurements: Challenges and opportunities. <i>Physics Letters B</i>. 2023;840. doi:<a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">10.1016/j.physletb.2023.137871</a>","chicago":"Faccioli, Pietro, Ilse Krätschmer, and Carlos Lourenço. “Low-PT Quarkonium Polarization Measurements: Challenges and Opportunities.” <i>Physics Letters B</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">https://doi.org/10.1016/j.physletb.2023.137871</a>.","ista":"Faccioli P, Krätschmer I, Lourenço C. 2023. Low-pT quarkonium polarization measurements: Challenges and opportunities. Physics Letters B. 840, 137871.","ieee":"P. Faccioli, I. Krätschmer, and C. Lourenço, “Low-pT quarkonium polarization measurements: Challenges and opportunities,” <i>Physics Letters B</i>, vol. 840. Elsevier, 2023.","mla":"Faccioli, Pietro, et al. “Low-PT Quarkonium Polarization Measurements: Challenges and Opportunities.” <i>Physics Letters B</i>, vol. 840, 137871, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.physletb.2023.137871\">10.1016/j.physletb.2023.137871</a>."},"date_published":"2023-05-10T00:00:00Z","year":"2023","abstract":[{"lang":"eng","text":"Several fixed-target experiments reported J/ψ and ϒ polarizations, as functions of Feynman x (xF) and transverse momentum (PT), in three different frames, using different combinations of beam particles, target nuclei, and collision energies. Despite the diverse and heterogeneous picture formed by these measurements, a detailed look allows us to discern qualitative physical patterns that inspire a simple empirical model. This data-driven scenario offers a good quantitative description of the J/ψ and ϒ(1S) polarizations measured in proton- and pion-nucleus collisions, in the xF 0.5 domain: more than 80 data points (not statistically independent) are well reproduced with only one free parameter. This study sets the context for future low-PT\r\n quarkonium polarization measurements in proton- and pion-nucleus collisions, such as those to be made by the AMBER experiment, and shows that such measurements provide significant constraints on the poorly-known parton distribution functions of the pion."}],"article_type":"original","quality_controlled":"1","external_id":{"isi":["000967947300001"]},"oa_version":"Published Version","day":"10","volume":840},{"language":[{"iso":"eng"}],"publication":"Philosophical Transactions of the Royal Society A","has_accepted_license":"1","scopus_import":"1","date_created":"2024-01-08T13:11:45Z","keyword":["General Physics and Astronomy","General Engineering","General Mathematics"],"status":"public","pmid":1,"intvolume":"       381","ddc":["530"],"file":[{"content_type":"application/pdf","date_updated":"2024-01-09T09:13:53Z","file_name":"2023_PhilTransactionsA_Wang_accepted.pdf","creator":"dernst","file_id":"14763","checksum":"1978d126c0ce2f47c22ac20107cc0106","date_created":"2024-01-09T09:13:53Z","relation":"main_file","file_size":6421086,"success":1,"access_level":"open_access"}],"_id":"14754","oa":1,"type":"journal_article","author":[{"full_name":"Wang, B.","last_name":"Wang","first_name":"B."},{"first_name":"F.","last_name":"Mellibovsky","full_name":"Mellibovsky, F."},{"orcid":"0000-0001-6572-0621","first_name":"Roger","full_name":"Ayats López, Roger","id":"ab77522d-073b-11ed-8aff-e71b39258362","last_name":"Ayats López"},{"full_name":"Deguchi, K.","last_name":"Deguchi","first_name":"K."},{"first_name":"A.","last_name":"Meseguer","full_name":"Meseguer, A."}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","acknowledgement":"K.D.’s research was supported by Australian Research Council Discovery Early Career Researcher Award (DE170100171). B.W., R.A., F.M. and A.M. research was supported by the Spanish Ministerio de Economía y Competitividad (grant nos. FIS2016-77849-R and FIS2017-85794-P) and Ministerio de Ciencia e Innovación (grant no. PID2020-114043GB-I00) and the Generalitat de Catalunya (grant no. 2017-SGR-785). B.W.’s research was also supported by the Chinese Scholarship Council (grant CSC no. 201806440152). F.M. is a Serra-Húnter Fellow.","issue":"2246","file_date_updated":"2024-01-09T09:13:53Z","external_id":{"pmid":["36907214"],"isi":["000947761800008"]},"quality_controlled":"1","day":"01","oa_version":"Submitted Version","volume":381,"article_type":"original","abstract":[{"text":"The large-scale laminar/turbulent spiral patterns that appear in the linearly unstable regime of counter-rotating Taylor–Couette flow are investigated from a statistical perspective by means of direct numerical simulation. Unlike the vast majority of previous numerical studies, we analyse the flow in periodic parallelogram-annular domains, following a coordinate change that aligns one of the parallelogram sides with the spiral pattern. The domain size, shape and spatial resolution have been varied and the results compared with those in a sufficiently large computational orthogonal domain with natural axial and azimuthal periodicity. We find that a minimal parallelogram of the right tilt significantly reduces the computational cost without notably compromising the statistical properties of the supercritical turbulent spiral. Its mean structure, obtained from extremely long time integrations in a co-rotating reference frame using the method of slices, bears remarkable similarity with the turbulent stripes observed in plane Couette flow, the centrifugal instability playing only a secondary role.","lang":"eng"}],"doi":"10.1098/rsta.2022.0112","article_processing_charge":"No","publisher":"The Royal Society","publication_identifier":{"eissn":["1471-2962"],"issn":["1364-503X"]},"publication_status":"published","citation":{"ista":"Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. 2023. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical Transactions of the Royal Society A. 381(2246), 0112.","ieee":"B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, and A. Meseguer, “Mean structure of the supercritical turbulent spiral in Taylor–Couette flow,” <i>Philosophical Transactions of the Royal Society A</i>, vol. 381, no. 2246. The Royal Society, 2023.","mla":"Wang, B., et al. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.” <i>Philosophical Transactions of the Royal Society A</i>, vol. 381, no. 2246, 0112, The Royal Society, 2023, doi:<a href=\"https://doi.org/10.1098/rsta.2022.0112\">10.1098/rsta.2022.0112</a>.","short":"B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, A. Meseguer, Philosophical Transactions of the Royal Society A 381 (2023).","apa":"Wang, B., Mellibovsky, F., Ayats López, R., Deguchi, K., &#38; Meseguer, A. (2023). Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. <i>Philosophical Transactions of the Royal Society A</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rsta.2022.0112\">https://doi.org/10.1098/rsta.2022.0112</a>","ama":"Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. <i>Philosophical Transactions of the Royal Society A</i>. 2023;381(2246). doi:<a href=\"https://doi.org/10.1098/rsta.2022.0112\">10.1098/rsta.2022.0112</a>","chicago":"Wang, B., F. Mellibovsky, Roger Ayats López, K. Deguchi, and A. Meseguer. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.” <i>Philosophical Transactions of the Royal Society A</i>. The Royal Society, 2023. <a href=\"https://doi.org/10.1098/rsta.2022.0112\">https://doi.org/10.1098/rsta.2022.0112</a>."},"year":"2023","date_published":"2023-05-01T00:00:00Z","article_number":"0112","isi":1,"title":"Mean structure of the supercritical turbulent spiral in Taylor–Couette flow","month":"05","department":[{"_id":"BjHo"}],"date_updated":"2025-09-09T14:14:17Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"}},{"title":"Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result","isi":1,"date_updated":"2025-09-09T14:14:55Z","month":"02","department":[{"_id":"JuFi"}],"publication_status":"published","publisher":"IOS Press","publication_identifier":{"issn":["0921-7134"],"eissn":["1875-8576"]},"article_processing_charge":"No","doi":"10.3233/asy-221775","date_published":"2023-02-02T00:00:00Z","year":"2023","citation":{"ieee":"M. Moser, “Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result,” <i>Asymptotic Analysis</i>, vol. 131, no. 3–4. IOS Press, pp. 297–383, 2023.","mla":"Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part I: Convergence Result.” <i>Asymptotic Analysis</i>, vol. 131, no. 3–4, IOS Press, 2023, pp. 297–383, doi:<a href=\"https://doi.org/10.3233/asy-221775\">10.3233/asy-221775</a>.","ista":"Moser M. 2023. Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. Asymptotic Analysis. 131(3–4), 297–383.","ama":"Moser M. Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. <i>Asymptotic Analysis</i>. 2023;131(3-4):297-383. doi:<a href=\"https://doi.org/10.3233/asy-221775\">10.3233/asy-221775</a>","chicago":"Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part I: Convergence Result.” <i>Asymptotic Analysis</i>. IOS Press, 2023. <a href=\"https://doi.org/10.3233/asy-221775\">https://doi.org/10.3233/asy-221775</a>.","short":"M. Moser, Asymptotic Analysis 131 (2023) 297–383.","apa":"Moser, M. (2023). Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result. <i>Asymptotic Analysis</i>. IOS Press. <a href=\"https://doi.org/10.3233/asy-221775\">https://doi.org/10.3233/asy-221775</a>"},"abstract":[{"lang":"eng","text":"We consider the sharp interface limit for the scalar-valued and vector-valued Allen–Cahn equation with homogeneous Neumann boundary condition in a bounded smooth domain Ω of arbitrary dimension N ⩾ 2 in the situation when a two-phase diffuse interface has developed and intersects the boundary ∂ Ω. The limit problem is mean curvature flow with 90°-contact angle and we show convergence in strong norms for well-prepared initial data as long as a smooth solution to the limit problem exists. To this end we assume that the limit problem has a smooth solution on [ 0 , T ] for some time T &gt; 0. Based on the latter we construct suitable curvilinear coordinates and set up an asymptotic expansion for the scalar-valued and the vector-valued Allen–Cahn equation. In order to estimate the difference of the exact and approximate solutions with a Gronwall-type argument, a spectral estimate for the linearized Allen–Cahn operator in both cases is required. The latter will be shown in a separate paper, cf. (Moser (2021))."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2105.07100","open_access":"1"}],"article_type":"original","external_id":{"arxiv":["2105.07100"],"isi":["000927801300001"]},"quality_controlled":"1","day":"02","volume":131,"oa_version":"Preprint","author":[{"id":"a60047a9-da77-11eb-85b4-c4dc385ebb8c","full_name":"Moser, Maximilian","last_name":"Moser","first_name":"Maximilian"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","acknowledgement":"The author gratefully acknowledges support through DFG, GRK 1692 “Curvature,\r\nCycles and Cohomology” during parts of the work.","type":"journal_article","corr_author":"1","issue":"3-4","_id":"14755","arxiv":1,"oa":1,"page":"297-383","intvolume":"       131","publication":"Asymptotic Analysis","language":[{"iso":"eng"}],"status":"public","date_created":"2024-01-08T13:13:28Z","scopus_import":"1","keyword":["General Mathematics"]},{"_id":"14756","oa":1,"author":[{"first_name":"Nils","last_name":"Carqueville","full_name":"Carqueville, Nils"},{"orcid":"0000-0003-2834-5054","first_name":"Lorant","id":"7943226E-220E-11EA-94C7-D59F3DDC885E","full_name":"Szegedy, Lorant","last_name":"Szegedy"}],"acknowledgement":"N.C. is supported by the DFG Heisenberg Programme.\r\nWe are grateful to Tobias Dyckerhoff, Lukas Müller, Ingo Runkel, and Christopher Schommer-Pries for helpful discussions.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","file_date_updated":"2024-01-09T09:25:34Z","corr_author":"1","issue":"3","has_accepted_license":"1","publication":"Quantum Topology","language":[{"iso":"eng"}],"status":"public","scopus_import":"1","date_created":"2024-01-08T13:14:48Z","keyword":["Geometry and Topology","Mathematical Physics"],"page":"467-532","intvolume":"        14","file":[{"file_size":707344,"relation":"main_file","access_level":"open_access","success":1,"checksum":"b0590aff6e7ec89cc149ba94d459d3a3","date_created":"2024-01-09T09:25:34Z","file_id":"14764","creator":"dernst","content_type":"application/pdf","file_name":"2023_QuantumTopol_Carqueville.pdf","date_updated":"2024-01-09T09:25:34Z"}],"ddc":["530"],"publication_status":"published","publisher":"European Mathematical Society","publication_identifier":{"issn":["1663-487X"]},"article_processing_charge":"Yes","doi":"10.4171/qt/193","year":"2023","date_published":"2023-10-16T00:00:00Z","citation":{"chicago":"Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” <i>Quantum Topology</i>. European Mathematical Society, 2023. <a href=\"https://doi.org/10.4171/qt/193\">https://doi.org/10.4171/qt/193</a>.","ama":"Carqueville N, Szegedy L. Fully extended r-spin TQFTs. <i>Quantum Topology</i>. 2023;14(3):467-532. doi:<a href=\"https://doi.org/10.4171/qt/193\">10.4171/qt/193</a>","apa":"Carqueville, N., &#38; Szegedy, L. (2023). Fully extended r-spin TQFTs. <i>Quantum Topology</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/qt/193\">https://doi.org/10.4171/qt/193</a>","short":"N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.","mla":"Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” <i>Quantum Topology</i>, vol. 14, no. 3, European Mathematical Society, 2023, pp. 467–532, doi:<a href=\"https://doi.org/10.4171/qt/193\">10.4171/qt/193</a>.","ieee":"N. Carqueville and L. Szegedy, “Fully extended r-spin TQFTs,” <i>Quantum Topology</i>, vol. 14, no. 3. European Mathematical Society, pp. 467–532, 2023.","ista":"Carqueville N, Szegedy L. 2023. Fully extended r-spin TQFTs. Quantum Topology. 14(3), 467–532."},"title":"Fully extended r-spin TQFTs","isi":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_updated":"2025-09-09T14:16:16Z","month":"10","department":[{"_id":"MiLe"}],"quality_controlled":"1","external_id":{"isi":["001104620800003"]},"oa_version":"Published Version","volume":14,"day":"16","abstract":[{"text":"We prove the r-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer r: the 2-groupoid of 2-dimensional fully extended r-spin TQFTs with given target is equivalent to the homotopy fixed points of an induced Spin 2r -action. In particular, such TQFTs are classified by fully dualisable objects together with a trivialisation of the rth power of their Serre automorphisms. For r=1, we recover the oriented case (on which our proof builds), while ordinary spin structures correspond to r=2.\r\nTo construct examples, we explicitly describe Spin 2r​-homotopy fixed points in the equivariant completion of any symmetric monoidal 2-category. We also show that every object in a 2-category of Landau–Ginzburg models gives rise to fully extended spin TQFTs and that half of these do not factor through the oriented bordism 2-category.","lang":"eng"}],"article_type":"original"},{"title":"Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression","type":"book_chapter","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Villalba Requena","full_name":"Villalba Requena, Ana","id":"68cb85a0-39f7-11eb-9559-9aaab4f6a247","orcid":"0000-0002-5615-5277","first_name":"Ana"},{"first_name":"Nicole","orcid":"0000-0002-3183-8207","last_name":"Amberg","full_name":"Amberg, Nicole","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87"},{"id":"37B36620-F248-11E8-B48F-1D18A9856A87","full_name":"Hippenmeyer, Simon","last_name":"Hippenmeyer","first_name":"Simon","orcid":"0000-0003-2279-1061"}],"department":[{"_id":"SiHi"}],"month":"08","corr_author":"1","date_updated":"2024-10-09T21:07:46Z","publication_status":"published","_id":"14757","doi":"10.1002/9781119860914.ch10","publication_identifier":{"eisbn":["9781119860914"]},"article_processing_charge":"No","publisher":"Wiley","editor":[{"full_name":"Huttner, Wieland","last_name":"Huttner","first_name":"Wieland"}],"citation":{"mla":"Villalba Requena, Ana, et al. “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.” <i>Neocortical Neurogenesis in Development and Evolution</i>, edited by Wieland Huttner, Wiley, 2023, pp. 169–91, doi:<a href=\"https://doi.org/10.1002/9781119860914.ch10\">10.1002/9781119860914.ch10</a>.","ieee":"A. Villalba Requena, N. Amberg, and S. Hippenmeyer, “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression,” in <i>Neocortical Neurogenesis in Development and Evolution</i>, W. Huttner, Ed. Wiley, 2023, pp. 169–191.","ista":"Villalba Requena A, Amberg N, Hippenmeyer S. 2023.Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In: Neocortical Neurogenesis in Development and Evolution. , 169–191.","chicago":"Villalba Requena, Ana, Nicole Amberg, and Simon Hippenmeyer. “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.” In <i>Neocortical Neurogenesis in Development and Evolution</i>, edited by Wieland Huttner, 169–91. Wiley, 2023. <a href=\"https://doi.org/10.1002/9781119860914.ch10\">https://doi.org/10.1002/9781119860914.ch10</a>.","ama":"Villalba Requena A, Amberg N, Hippenmeyer S. Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In: Huttner W, ed. <i>Neocortical Neurogenesis in Development and Evolution</i>. Wiley; 2023:169-191. doi:<a href=\"https://doi.org/10.1002/9781119860914.ch10\">10.1002/9781119860914.ch10</a>","apa":"Villalba Requena, A., Amberg, N., &#38; Hippenmeyer, S. (2023). Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In W. Huttner (Ed.), <i>Neocortical Neurogenesis in Development and Evolution</i> (pp. 169–191). Wiley. <a href=\"https://doi.org/10.1002/9781119860914.ch10\">https://doi.org/10.1002/9781119860914.ch10</a>","short":"A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191."},"date_published":"2023-08-08T00:00:00Z","year":"2023","page":"169-191","abstract":[{"lang":"eng","text":"The cerebral cortex is comprised of a vast cell-type diversity sequentially generated by cortical progenitor cells. Faithful progenitor lineage progression requires the tight orchestration of distinct molecular and cellular mechanisms regulating proper progenitor proliferation behavior and differentiation. Correct execution of developmental programs involves a complex interplay of cell intrinsic and tissue-wide mechanisms. Many studies over the past decades have been able to determine a plethora of genes critically involved in cortical development. However, only a few made use of genetic paradigms with sparse and global gene deletion to probe cell-autonomous vs. tissue-wide contribution. In this chapter, we will elaborate on the importance of dissecting the cell-autonomous and tissue-wide mechanisms to gain a precise understanding of gene function during radial glial progenitor lineage progression."}],"quality_controlled":"1","language":[{"iso":"eng"}],"publication":"Neocortical Neurogenesis in Development and Evolution","oa_version":"None","day":"08","date_created":"2024-01-08T13:16:36Z","scopus_import":"1","status":"public"},{"_id":"14758","related_material":{"record":[{"status":"public","id":"14994","relation":"research_data"}]},"oa":1,"acknowledgement":"Authors ordered alphabetically. R. Majumdar and A.-K. Schmuck are partially supported by DFG project 389792660 TRR 248-CPEC. A.-K. Schmuck is additionally funded through DFG project (SCHM 3541/1-1). K. Mallik is supported by the ERC project ERC-2020-AdG 101020093. M. Rychlicki is supported by the EPSRC project EP/V00252X/1. S. Soudjani is supported by the following projects: EPSRC EP/V043676/1, EIC 101070802, and ERC 101089047.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"first_name":"Rupak","last_name":"Majumdar","full_name":"Majumdar, Rupak"},{"first_name":"Kaushik","orcid":"0000-0001-9864-7475","last_name":"Mallik","full_name":"Mallik, Kaushik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598"},{"last_name":"Rychlicki","full_name":"Rychlicki, Mateusz","first_name":"Mateusz"},{"first_name":"Anne-Kathrin","last_name":"Schmuck","full_name":"Schmuck, Anne-Kathrin"},{"first_name":"Sadegh","full_name":"Soudjani, Sadegh","last_name":"Soudjani"}],"type":"conference","corr_author":"1","file_date_updated":"2024-01-09T10:01:07Z","publication":"35th International Conference on Computer Aided Verification","language":[{"iso":"eng"}],"has_accepted_license":"1","scopus_import":"1","status":"public","date_created":"2024-01-08T13:18:00Z","page":"3-15","intvolume":"     13966","ddc":["000"],"file":[{"checksum":"1a361d83db0244fd32c03b544c294b5a","date_created":"2024-01-09T10:01:07Z","file_size":405147,"relation":"main_file","success":1,"access_level":"open_access","content_type":"application/pdf","date_updated":"2024-01-09T10:01:07Z","file_name":"2023_LNCSCAV_Majumdar.pdf","creator":"dernst","file_id":"14765"}],"publication_identifier":{"eissn":["1611-3349"],"eisbn":["9783031377099"],"issn":["0302-9743"],"isbn":["9783031377082"]},"article_processing_charge":"Yes (in subscription journal)","publisher":"Springer Nature","doi":"10.1007/978-3-031-37709-9_1","publication_status":"published","date_published":"2023-07-16T00:00:00Z","year":"2023","citation":{"mla":"Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” <i>35th International Conference on Computer Aided Verification</i>, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">10.1007/978-3-031-37709-9_1</a>.","ieee":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties,” in <i>35th International Conference on Computer Aided Verification</i>, Paris, France, 2023, vol. 13966, pp. 3–15.","ista":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 3–15.","chicago":"Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” In <i>35th International Conference on Computer Aided Verification</i>, 13966:3–15. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">https://doi.org/10.1007/978-3-031-37709-9_1</a>.","ama":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: <i>35th International Conference on Computer Aided Verification</i>. Vol 13966. Springer Nature; 2023:3-15. doi:<a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">10.1007/978-3-031-37709-9_1</a>","apa":"Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &#38; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In <i>35th International Conference on Computer Aided Verification</i> (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37709-9_1\">https://doi.org/10.1007/978-3-031-37709-9_1</a>","short":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15."},"isi":1,"title":"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties","date_updated":"2025-09-09T14:16:49Z","department":[{"_id":"ToHe"}],"month":"07","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"alternative_title":["LNCS"],"external_id":{"isi":["001310805600001"]},"quality_controlled":"1","project":[{"grant_number":"101020093","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software"}],"ec_funded":1,"volume":13966,"day":"16","oa_version":"Published Version","conference":{"end_date":"2023-07-22","name":"CAV: Computer Aided Verification","start_date":"2023-07-17","location":"Paris, France"},"abstract":[{"text":"We present a flexible and efficient toolchain to symbolically solve (standard) Rabin games, fair-adversarial Rabin games, and 2 1/2 license type-player Rabin games. To our best knowledge, our tools are the first ones to be able to solve these problems. Furthermore, using these flexible game solvers as a back-end, we implemented a tool for computing correct-by-construction controllers for stochastic dynamical systems under LTL specifications. Our implementations use the recent theoretical result that all of these games can be solved using the same symbolic fixpoint algorithm but utilizing different, domain specific calculations of the involved predecessor operators. The main feature of our toolchain is the utilization of two programming abstractions: one to separate the symbolic fixpoint computations from the predecessor calculations, and another one to allow the integration of different BDD libraries as back-ends. In particular, we employ a multi-threaded execution of the fixpoint algorithm by using the multi-threaded BDD library Sylvan, which leads to enormous computational savings.","lang":"eng"}]},{"project":[{"grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"},{"grant_number":"101019564","call_identifier":"H2020","name":"The design and evaluation of modern fully dynamic data structures","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62"}],"external_id":{"isi":["001137125900060"],"arxiv":["2310.04076"]},"quality_controlled":"1","ec_funded":1,"oa_version":"Preprint","day":"22","conference":{"end_date":"2023-11-09","name":"FOCS: Foundations of Computer Science","start_date":"2023-11-06","location":"Santa Cruz, CA, United States"},"abstract":[{"lang":"eng","text":"In all state-of-the-art sketching and coreset techniques for clustering, as well as in the best known fixed-parameter tractable approximation algorithms, randomness plays a key role. For the classic k-median and k-means problems, there are no known deterministic dimensionality reduction procedure or coreset construction that avoid an exponential dependency on the input dimension d, the precision parameter $\\varepsilon^{-1}$ or k. Furthermore, there is no coreset construction that succeeds with probability $1-1/n$ and whose size does not depend on the number of input points, n. This has led researchers in the area to ask what is the power of randomness for clustering sketches [Feldman WIREs Data Mining Knowl. Discov’20].Similarly, the best approximation ratio achievable deterministically without a complexity exponential in the dimension are $1+\\sqrt{2}$ for k-median [Cohen-Addad, Esfandiari, Mirrokni, Narayanan, STOC’22] and 6.12903 for k-means [Grandoni, Ostrovsky, Rabani, Schulman, Venkat, Inf. Process. Lett.’22]. Those are the best results, even when allowing a complexity FPT in the number of clusters k: this stands in sharp contrast with the $(1+\\varepsilon)$-approximation achievable in that case, when allowing randomization.In this paper, we provide deterministic sketches constructions for clustering, whose size bounds are close to the best-known randomized ones. We show how to compute a dimension reduction onto $\\varepsilon^{-O(1)} \\log k$ dimensions in time $k^{O\\left(\\varepsilon^{-O(1)}+\\log \\log k\\right)}$ poly $(n d)$, and how to build a coreset of size $O\\left(k^{2} \\log ^{3} k \\varepsilon^{-O(1)}\\right)$ in time $2^{\\varepsilon^{O(1)} k \\log ^{3} k}+k^{O\\left(\\varepsilon^{-O(1)}+\\log \\log k\\right)}$ poly $(n d)$. In the case where k is small, this answers an open question of [Feldman WIDM’20] and [Munteanu and Schwiegelshohn, Künstliche Intell. ’18] on whether it is possible to efficiently compute coresets deterministically.We also construct a deterministic algorithm for computing $(1+$ $\\varepsilon)$-approximation to k-median and k-means in high dimensional Euclidean spaces in time $2^{k^{2} \\log ^{3} k / \\varepsilon^{O(1)}}$ poly $(n d)$, close to the best randomized complexity of $2^{(k / \\varepsilon)^{O(1)}}$ nd (see [Kumar, Sabharwal, Sen, JACM 10] and [Bhattacharya, Jaiswal, Kumar, TCS’18]).Furthermore, our new insights on sketches also yield a randomized coreset construction that uses uniform sampling, that immediately improves over the recent results of [Braverman et al. FOCS ’22] by a factor k."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2310.04076","open_access":"1"}],"doi":"10.1109/focs57990.2023.00066","publication_identifier":{"eisbn":["9798350318944"]},"publisher":"IEEE","article_processing_charge":"No","publication_status":"published","citation":{"ista":"Cohen-Addad V, Saulpic D, Schwiegelshohn C. 2023. Deterministic clustering in high dimensional spaces: Sketches and approximation. 2023 IEEE 64th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 1105–1130.","mla":"Cohen-Addad, Vincent, et al. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.” <i>2023 IEEE 64th Annual Symposium on Foundations of Computer Science</i>, IEEE, 2023, pp. 1105–30, doi:<a href=\"https://doi.org/10.1109/focs57990.2023.00066\">10.1109/focs57990.2023.00066</a>.","ieee":"V. Cohen-Addad, D. Saulpic, and C. Schwiegelshohn, “Deterministic clustering in high dimensional spaces: Sketches and approximation,” in <i>2023 IEEE 64th Annual Symposium on Foundations of Computer Science</i>, Santa Cruz, CA, United States, 2023, pp. 1105–1130.","apa":"Cohen-Addad, V., Saulpic, D., &#38; Schwiegelshohn, C. (2023). Deterministic clustering in high dimensional spaces: Sketches and approximation. In <i>2023 IEEE 64th Annual Symposium on Foundations of Computer Science</i> (pp. 1105–1130). Santa Cruz, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/focs57990.2023.00066\">https://doi.org/10.1109/focs57990.2023.00066</a>","short":"V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.","chicago":"Cohen-Addad, Vincent, David Saulpic, and Chris Schwiegelshohn. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.” In <i>2023 IEEE 64th Annual Symposium on Foundations of Computer Science</i>, 1105–30. IEEE, 2023. <a href=\"https://doi.org/10.1109/focs57990.2023.00066\">https://doi.org/10.1109/focs57990.2023.00066</a>.","ama":"Cohen-Addad V, Saulpic D, Schwiegelshohn C. Deterministic clustering in high dimensional spaces: Sketches and approximation. In: <i>2023 IEEE 64th Annual Symposium on Foundations of Computer Science</i>. IEEE; 2023:1105-1130. doi:<a href=\"https://doi.org/10.1109/focs57990.2023.00066\">10.1109/focs57990.2023.00066</a>"},"year":"2023","date_published":"2023-12-22T00:00:00Z","isi":1,"title":"Deterministic clustering in high dimensional spaces: Sketches and approximation","department":[{"_id":"MoHe"}],"month":"12","date_updated":"2025-09-09T14:17:59Z","language":[{"iso":"eng"}],"publication":"2023 IEEE 64th Annual Symposium on Foundations of Computer Science","date_created":"2024-01-09T16:20:09Z","status":"public","scopus_import":"1","page":"1105-1130","arxiv":1,"_id":"14768","oa":1,"type":"conference","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","acknowledgement":"D. Sauplic has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413, and Grant agreement No. 101019564 “The Design of Modern Fully Dynamic Data Structures (MoDynStruct)”.\r\nC. Schwiegelshohn acknowledges the support of the Independent Research Fund Denmark (DFF) under a Sapere Aude Research Leader grant No 1051-00106B.","author":[{"full_name":"Cohen-Addad, Vincent","last_name":"Cohen-Addad","first_name":"Vincent"},{"id":"f8e48cf0-b0ff-11ed-b0e9-b4c35598f964","full_name":"Saulpic, David","last_name":"Saulpic","first_name":"David"},{"first_name":"Chris","last_name":"Schwiegelshohn","full_name":"Schwiegelshohn, Chris"}]},{"date_updated":"2025-04-25T10:32:05Z","month":"08","department":[{"_id":"DaAl"},{"_id":"ChLa"}],"isi":1,"title":"Bias in pruned vision models: In-depth analysis and countermeasures","date_published":"2023-08-22T00:00:00Z","year":"2023","citation":{"ieee":"E. B. Iofinova, A. Krumes, and D.-A. Alistarh, “Bias in pruned vision models: In-depth analysis and countermeasures,” in <i>2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>, Vancouver, BC, Canada, 2023, pp. 24364–24373.","mla":"Iofinova, Eugenia B., et al. “Bias in Pruned Vision Models: In-Depth Analysis and Countermeasures.” <i>2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>, IEEE, 2023, pp. 24364–73, doi:<a href=\"https://doi.org/10.1109/cvpr52729.2023.02334\">10.1109/cvpr52729.2023.02334</a>.","ista":"Iofinova EB, Krumes A, Alistarh D-A. 2023. Bias in pruned vision models: In-depth analysis and countermeasures. 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 24364–24373.","ama":"Iofinova EB, Krumes A, Alistarh D-A. Bias in pruned vision models: In-depth analysis and countermeasures. In: <i>2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>. IEEE; 2023:24364-24373. doi:<a href=\"https://doi.org/10.1109/cvpr52729.2023.02334\">10.1109/cvpr52729.2023.02334</a>","chicago":"Iofinova, Eugenia B, Alexandra Krumes, and Dan-Adrian Alistarh. “Bias in Pruned Vision Models: In-Depth Analysis and Countermeasures.” In <i>2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>, 24364–73. IEEE, 2023. <a href=\"https://doi.org/10.1109/cvpr52729.2023.02334\">https://doi.org/10.1109/cvpr52729.2023.02334</a>.","short":"E.B. Iofinova, A. Krumes, D.-A. Alistarh, in:, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 24364–24373.","apa":"Iofinova, E. B., Krumes, A., &#38; Alistarh, D.-A. (2023). Bias in pruned vision models: In-depth analysis and countermeasures. In <i>2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition</i> (pp. 24364–24373). Vancouver, BC, Canada: IEEE. <a href=\"https://doi.org/10.1109/cvpr52729.2023.02334\">https://doi.org/10.1109/cvpr52729.2023.02334</a>"},"article_processing_charge":"No","publisher":"IEEE","publication_identifier":{"eissn":["2575-7075"],"eisbn":["9798350301298"]},"doi":"10.1109/cvpr52729.2023.02334","publication_status":"published","abstract":[{"text":"Pruning—that is, setting a significant subset of the parameters of a neural network to zero—is one of the most popular methods of model compression. Yet, several recent works have raised the issue that pruning may induce or exacerbate bias in the output of the compressed model. Despite existing evidence for this phenomenon, the relationship between neural network pruning and induced bias is not well-understood. In this work, we systematically investigate and characterize this phenomenon in Convolutional Neural Networks for computer vision. First, we show that it is in fact possible to obtain highly-sparse models, e.g. with less than 10% remaining weights, which do not decrease in accuracy nor substantially increase in bias when compared to dense models. At the same time, we also find that, at higher sparsities, pruned models exhibit higher uncertainty in their outputs, as well as increased correlations, which we directly link to increased bias. We propose easy-to-use criteria which, based only on the uncompressed model, establish whether bias will increase with pruning, and identify the samples most susceptible to biased predictions post-compression. Our code can be found at https://github.com/IST-DASLab/pruned-vision-model-bias.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2304.12622"}],"conference":{"location":"Vancouver, BC, Canada","start_date":"2023-06-17","name":"CVPR: Conference on Computer Vision and Pattern Recognition","end_date":"2023-06-24"},"ec_funded":1,"oa_version":"Preprint","day":"22","quality_controlled":"1","external_id":{"isi":["001062531308068"],"arxiv":["2304.12622"]},"project":[{"name":"Vienna Graduate School on Computational Optimization","_id":"9B9290DE-BA93-11EA-9121-9846C619BF3A","grant_number":"W1260-N35"},{"call_identifier":"H2020","name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223"}],"corr_author":"1","acknowledgement":"The authors would like to sincerely thank Sara Hooker for her feedback during the development of this work. EI was supported in part by the FWF DK VGSCO, grant agreement number W1260-N35. AP and DA acknowledge generous ERC support, via Starting Grant 805223 ScaleML.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Iofinova","full_name":"Iofinova, Eugenia B","id":"f9a17499-f6e0-11ea-865d-fdf9a3f77117","first_name":"Eugenia B","orcid":"0000-0002-7778-3221"},{"last_name":"Peste","full_name":"Peste, Elena-Alexandra","id":"32D78294-F248-11E8-B48F-1D18A9856A87","first_name":"Elena-Alexandra"},{"orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"type":"conference","oa":1,"related_material":{"link":[{"url":"https://github.com/IST-DASLab/pruned-vision-model-bias","relation":"software"}]},"arxiv":1,"_id":"14771","page":"24364-24373","date_created":"2024-01-10T08:42:40Z","status":"public","publication":"2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition","language":[{"iso":"eng"}]},{"oa":1,"_id":"14772","arxiv":1,"file_date_updated":"2024-01-10T11:23:57Z","corr_author":"1","issue":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We would like to thank Tim Binz, Emiel Lorist and Mark Veraar for valuable discussions. We also thank the anonymous referees for their helpful comments and suggestions, and for the very accurate reading of the manuscript.\r\nThe first author has been supported partially by the Nachwuchsring – Network for the promotion of young scientists – at TU Kaiserslautern. Both authors have been supported by MathApp – Mathematics Applied to Real-World Problems - part of the Research Initiative of the Federal State of Rhineland-Palatinate, Germany.","author":[{"first_name":"Antonio","orcid":"0000-0002-9573-2962","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72","full_name":"Agresti, Antonio","last_name":"Agresti"},{"first_name":"Amru","full_name":"Hussein, Amru","last_name":"Hussein"}],"type":"journal_article","date_created":"2024-01-10T09:15:18Z","status":"public","keyword":["Analysis"],"scopus_import":"1","has_accepted_license":"1","publication":"Journal of Functional Analysis","language":[{"iso":"eng"}],"file":[{"checksum":"eda98ca2aa73da91bd074baed34c2b3c","date_created":"2024-01-10T11:23:57Z","relation":"main_file","file_size":1120592,"success":1,"access_level":"open_access","content_type":"application/pdf","file_name":"2023_JourFunctionalAnalysis_Agresti.pdf","date_updated":"2024-01-10T11:23:57Z","creator":"dernst","file_id":"14789"}],"ddc":["510"],"intvolume":"       285","year":"2023","date_published":"2023-12-01T00:00:00Z","citation":{"ieee":"A. Agresti and A. Hussein, “Maximal Lp-regularity and H∞-calculus for block operator matrices and applications,” <i>Journal of Functional Analysis</i>, vol. 285, no. 11. Elsevier, 2023.","mla":"Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus for Block Operator Matrices and Applications.” <i>Journal of Functional Analysis</i>, vol. 285, no. 11, 110146, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.jfa.2023.110146\">10.1016/j.jfa.2023.110146</a>.","ista":"Agresti A, Hussein A. 2023. Maximal Lp-regularity and H∞-calculus for block operator matrices and applications. Journal of Functional Analysis. 285(11), 110146.","ama":"Agresti A, Hussein A. Maximal Lp-regularity and H∞-calculus for block operator matrices and applications. <i>Journal of Functional Analysis</i>. 2023;285(11). doi:<a href=\"https://doi.org/10.1016/j.jfa.2023.110146\">10.1016/j.jfa.2023.110146</a>","chicago":"Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus for Block Operator Matrices and Applications.” <i>Journal of Functional Analysis</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.jfa.2023.110146\">https://doi.org/10.1016/j.jfa.2023.110146</a>.","short":"A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).","apa":"Agresti, A., &#38; Hussein, A. (2023). Maximal Lp-regularity and H∞-calculus for block operator matrices and applications. <i>Journal of Functional Analysis</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jfa.2023.110146\">https://doi.org/10.1016/j.jfa.2023.110146</a>"},"publication_status":"published","publication_identifier":{"issn":["0022-1236"]},"publisher":"Elsevier","article_processing_charge":"Yes (via OA deal)","doi":"10.1016/j.jfa.2023.110146","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_updated":"2024-10-09T21:07:48Z","department":[{"_id":"JuFi"}],"month":"12","title":"Maximal Lp-regularity and H∞-calculus for block operator matrices and applications","article_number":"110146","isi":1,"oa_version":"Published Version","day":"01","volume":285,"quality_controlled":"1","external_id":{"arxiv":["2108.01962"],"isi":["001081809000001"]},"abstract":[{"text":"Many coupled evolution equations can be described via 2×2-block operator matrices of the form A=[ \r\nA\tB\r\nC\tD\r\n ] in a product space X=X1×X2 with possibly unbounded entries. Here, the case of diagonally dominant block operator matrices is considered, that is, the case where the full operator A can be seen as a relatively bounded perturbation of its diagonal part with D(A)=D(A)×D(D) though with possibly large relative bound. For such operators the properties of sectoriality, R-sectoriality and the boundedness of the H∞-calculus are studied, and for these properties perturbation results for possibly large but structured perturbations are derived. Thereby, the time dependent parabolic problem associated with A can be analyzed in maximal Lpt\r\n-regularity spaces, and this is applied to a wide range of problems such as different theories for liquid crystals, an artificial Stokes system, strongly damped wave and plate equations, and a Keller-Segel model.","lang":"eng"}],"article_type":"original"},{"publication_status":"published","doi":"10.1063/pt.3.5234","publication_identifier":{"eissn":["1945-0699"],"issn":["0031-9228"]},"article_processing_charge":"No","publisher":"AIP Publishing","citation":{"ista":"Muller CJ, Abramian S. 2023. The cloud dynamics of convective storm systems. Physics Today. 76(5), 28.","ieee":"C. J. Muller and S. Abramian, “The cloud dynamics of convective storm systems,” <i>Physics Today</i>, vol. 76, no. 5. AIP Publishing, 2023.","mla":"Muller, Caroline J., and Sophie Abramian. “The Cloud Dynamics of Convective Storm Systems.” <i>Physics Today</i>, vol. 76, no. 5, 28, AIP Publishing, 2023, doi:<a href=\"https://doi.org/10.1063/pt.3.5234\">10.1063/pt.3.5234</a>.","short":"C.J. Muller, S. Abramian, Physics Today 76 (2023).","apa":"Muller, C. J., &#38; Abramian, S. (2023). The cloud dynamics of convective storm systems. <i>Physics Today</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/pt.3.5234\">https://doi.org/10.1063/pt.3.5234</a>","ama":"Muller CJ, Abramian S. The cloud dynamics of convective storm systems. <i>Physics Today</i>. 2023;76(5). doi:<a href=\"https://doi.org/10.1063/pt.3.5234\">10.1063/pt.3.5234</a>","chicago":"Muller, Caroline J, and Sophie Abramian. “The Cloud Dynamics of Convective Storm Systems.” <i>Physics Today</i>. AIP Publishing, 2023. <a href=\"https://doi.org/10.1063/pt.3.5234\">https://doi.org/10.1063/pt.3.5234</a>."},"year":"2023","date_published":"2023-05-01T00:00:00Z","title":"The cloud dynamics of convective storm systems","isi":1,"article_number":"28","month":"05","department":[{"_id":"CaMu"}],"date_updated":"2024-10-09T21:07:48Z","external_id":{"isi":["000984516100007"]},"quality_controlled":"1","day":"01","oa_version":"Published Version","volume":76,"abstract":[{"lang":"eng","text":"Through a combination of idealized simulations and real-world data, researchers are uncovering how internal feedbacks and large-scale motions influence cloud dynamics."}],"main_file_link":[{"open_access":"1","url":"https://www.lmd.ens.fr/muller/Pubs/2023-MullerAbramianPhysToday.pdf"}],"article_type":"original","_id":"14773","oa":1,"type":"journal_article","author":[{"id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","full_name":"Muller, Caroline J","last_name":"Muller","first_name":"Caroline J","orcid":"0000-0001-5836-5350"},{"full_name":"Abramian, Sophie","last_name":"Abramian","first_name":"Sophie"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"5","corr_author":"1","language":[{"iso":"eng"}],"publication":"Physics Today","date_created":"2024-01-10T09:18:04Z","status":"public","keyword":["General Physics and Astronomy"],"intvolume":"        76"},{"oa":1,"_id":"14774","issue":"19","file_date_updated":"2024-01-10T12:41:13Z","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Rohit K","last_name":"Harish","id":"1bae78aa-ee0e-11ec-9b76-bc42990f409d","full_name":"Harish, Rohit K"},{"full_name":"Gupta, Mansi","last_name":"Gupta","first_name":"Mansi"},{"first_name":"Daniela","full_name":"Zöller, Daniela","last_name":"Zöller"},{"last_name":"Hartmann","full_name":"Hartmann, Hella","first_name":"Hella"},{"last_name":"Gheisari","full_name":"Gheisari, Ali","first_name":"Ali"},{"full_name":"Machate, Anja","last_name":"Machate","first_name":"Anja"},{"first_name":"Stefan","last_name":"Hans","full_name":"Hans, Stefan"},{"first_name":"Michael","full_name":"Brand, Michael","last_name":"Brand"}],"acknowledgement":"We thank members of the Brand lab, as well as Justina Stark (Ivo Sbalzarini group, Max Planck Institute of Molecular Cell Biology and Genetics, Dresden, Germany) for project-related discussions; Darren Gilmour (University of Zurich), Karuna Sampath (University of Warwick) and Gokul Kesavan (Vowels Lifesciences Private Limited, Bangalore) for comments on the manuscript; personnel of the CMCB technology platform, TU Dresden for imaging and image analysis-related support; and Maurizio Abbate (Technical support, Arivis) for help with image analysis. We are also grateful to Stapornwongkul and Briscoe for commenting on a preprint version of our work (Stapornwongkul and Briscoe, 2022).\r\nThis work was supported by the Deutsche Forschungsgemeinschaft (BR 1746/6-2, BR 1746/11-1 and BR 1746/3 to M.B.), by a Cluster of Excellence ‘Physics of Life’ seed grant and by institutional funds from Technische Universitat Dresden (to M.B.). Open Access funding provided by Technische Universitat Dresden. Deposited in PMC for immediate release.","date_created":"2024-01-10T09:18:54Z","keyword":["Developmental Biology","Molecular Biology"],"status":"public","language":[{"iso":"eng"}],"publication":"Development","has_accepted_license":"1","ddc":["570"],"file":[{"content_type":"application/pdf","date_updated":"2024-01-10T12:41:13Z","file_name":"2023_Development_Harish.pdf","file_id":"14790","creator":"dernst","checksum":"2d6f52dc33260a9b2352b8f28374ba5f","date_created":"2024-01-10T12:41:13Z","relation":"main_file","file_size":12836306,"success":1,"access_level":"open_access"}],"pmid":1,"intvolume":"       150","citation":{"mla":"Harish, Rohit K., et al. “Real-Time Monitoring of an Endogenous Fgf8a Gradient Attests to Its Role as a Morphogen during Zebrafish Gastrulation.” <i>Development</i>, vol. 150, no. 19, dev201559, The Company of Biologists, 2023, doi:<a href=\"https://doi.org/10.1242/dev.201559\">10.1242/dev.201559</a>.","ieee":"R. K. Harish <i>et al.</i>, “Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation,” <i>Development</i>, vol. 150, no. 19. The Company of Biologists, 2023.","ista":"Harish RK, Gupta M, Zöller D, Hartmann H, Gheisari A, Machate A, Hans S, Brand M. 2023. Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation. Development. 150(19), dev201559.","chicago":"Harish, Rohit K, Mansi Gupta, Daniela Zöller, Hella Hartmann, Ali Gheisari, Anja Machate, Stefan Hans, and Michael Brand. “Real-Time Monitoring of an Endogenous Fgf8a Gradient Attests to Its Role as a Morphogen during Zebrafish Gastrulation.” <i>Development</i>. The Company of Biologists, 2023. <a href=\"https://doi.org/10.1242/dev.201559\">https://doi.org/10.1242/dev.201559</a>.","ama":"Harish RK, Gupta M, Zöller D, et al. Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation. <i>Development</i>. 2023;150(19). doi:<a href=\"https://doi.org/10.1242/dev.201559\">10.1242/dev.201559</a>","apa":"Harish, R. K., Gupta, M., Zöller, D., Hartmann, H., Gheisari, A., Machate, A., … Brand, M. (2023). Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation. <i>Development</i>. The Company of Biologists. <a href=\"https://doi.org/10.1242/dev.201559\">https://doi.org/10.1242/dev.201559</a>","short":"R.K. Harish, M. Gupta, D. Zöller, H. Hartmann, A. Gheisari, A. Machate, S. Hans, M. Brand, Development 150 (2023)."},"date_published":"2023-10-01T00:00:00Z","year":"2023","doi":"10.1242/dev.201559","article_processing_charge":"Yes (via OA deal)","publisher":"The Company of Biologists","publication_identifier":{"eissn":["1477-9129"],"issn":["0950-1991"]},"publication_status":"published","department":[{"_id":"AnKi"}],"month":"10","date_updated":"2024-01-10T12:45:25Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"isi":1,"article_number":"dev201559","title":"Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation","oa_version":"Published Version","volume":150,"day":"01","quality_controlled":"1","external_id":{"pmid":["37665167"],"isi":["001097449100002"]},"article_type":"original","abstract":[{"text":"Morphogen gradients impart positional information to cells in a homogenous tissue field. Fgf8a, a highly conserved growth factor, has been proposed to act as a morphogen during zebrafish gastrulation. However, technical limitations have so far prevented direct visualization of the endogenous Fgf8a gradient and confirmation of its morphogenic activity. Here, we monitor Fgf8a propagation in the developing neural plate using a CRISPR/Cas9-mediated EGFP knock-in at the endogenous fgf8a locus. By combining sensitive imaging with single-molecule fluorescence correlation spectroscopy, we demonstrate that Fgf8a, which is produced at the embryonic margin, propagates by diffusion through the extracellular space and forms a graded distribution towards the animal pole. Overlaying the Fgf8a gradient curve with expression profiles of its downstream targets determines the precise input-output relationship of Fgf8a-mediated patterning. Manipulation of the extracellular Fgf8a levels alters the signaling outcome, thus establishing Fgf8a as a bona fide morphogen during zebrafish gastrulation. Furthermore, by hindering Fgf8a diffusion, we demonstrate that extracellular diffusion of the protein from the source is crucial for it to achieve its morphogenic potential.","lang":"eng"}]},{"isi":1,"title":"Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices","department":[{"_id":"LaEr"}],"month":"02","date_updated":"2025-04-14T07:57:19Z","doi":"10.1214/22-aap1826","article_processing_charge":"No","publisher":"Institute of Mathematical Statistics","publication_identifier":{"issn":["1050-5164"]},"publication_status":"published","citation":{"ieee":"K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices,” <i>The Annals of Applied Probability</i>, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.","mla":"Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws for the Largest Eigenvalue of Sample Covariance Matrices.” <i>The Annals of Applied Probability</i>, vol. 33, no. 1, Institute of Mathematical Statistics, 2023, pp. 677–725, doi:<a href=\"https://doi.org/10.1214/22-aap1826\">10.1214/22-aap1826</a>.","ista":"Schnelli K, Xu Y. 2023. Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. 33(1), 677–725.","ama":"Schnelli K, Xu Y. Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. <i>The Annals of Applied Probability</i>. 2023;33(1):677-725. doi:<a href=\"https://doi.org/10.1214/22-aap1826\">10.1214/22-aap1826</a>","chicago":"Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws for the Largest Eigenvalue of Sample Covariance Matrices.” <i>The Annals of Applied Probability</i>. Institute of Mathematical Statistics, 2023. <a href=\"https://doi.org/10.1214/22-aap1826\">https://doi.org/10.1214/22-aap1826</a>.","short":"K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.","apa":"Schnelli, K., &#38; Xu, Y. (2023). Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. <i>The Annals of Applied Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/22-aap1826\">https://doi.org/10.1214/22-aap1826</a>"},"year":"2023","date_published":"2023-02-01T00:00:00Z","article_type":"original","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2108.02728","open_access":"1"}],"abstract":[{"lang":"eng","text":"We establish a quantitative version of the Tracy–Widom law for the largest eigenvalue of high-dimensional sample covariance matrices. To be precise, we show that the fluctuations of the largest eigenvalue of a sample covariance matrix X∗X converge to its Tracy–Widom limit at a rate nearly N−1/3, where X is an M×N random matrix whose entries are independent real or complex random variables, assuming that both M and N tend to infinity at a constant rate. This result improves the previous estimate N−2/9 obtained by Wang (2019). Our proof relies on a Green function comparison method (Adv. Math. 229 (2012) 1435–1515) using iterative cumulant expansions, the local laws for the Green function and asymptotic properties of the correlation kernel of the white Wishart ensemble."}],"project":[{"grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d"}],"external_id":{"isi":["000946432400021"],"arxiv":["2108.02728"]},"quality_controlled":"1","ec_funded":1,"volume":33,"oa_version":"Preprint","day":"01","type":"journal_article","acknowledgement":"K. Schnelli was supported by the Swedish Research Council Grants VR-2017-05195, and the Knut and Alice Wallenberg Foundation. Y. Xu was supported by the Swedish Research Council Grant VR-2017-05195 and the ERC Advanced Grant “RMTBeyond” No. 101020331.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Kevin","orcid":"0000-0003-0954-3231","last_name":"Schnelli","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","full_name":"Schnelli, Kevin"},{"first_name":"Yuanyuan","orcid":"0000-0003-1559-1205","full_name":"Xu, Yuanyuan","id":"7902bdb1-a2a4-11eb-a164-c9216f71aea3","last_name":"Xu"}],"issue":"1","corr_author":"1","arxiv":1,"_id":"14775","oa":1,"page":"677-725","intvolume":"        33","language":[{"iso":"eng"}],"publication":"The Annals of Applied Probability","status":"public","scopus_import":"1","keyword":["Statistics","Probability and Uncertainty","Statistics and Probability"],"date_created":"2024-01-10T09:23:31Z"},{"oa":1,"_id":"14776","file_date_updated":"2024-01-10T13:39:42Z","corr_author":"1","issue":"22","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We thank C.U.T. Hellen for critically reading the manuscript. The MALDI MS facility and CLSM became available to us in the framework of Moscow State University Development Programs PNG 5.13 and PNR 5.13.\r\nThis work was funded by the Russian Science Foundation, grant numbers 19-14-00010 and 22-14-00071.","author":[{"id":"e3736151-106c-11ec-b916-c2558e2762c6","full_name":"Teplova, Anastasiia","last_name":"Teplova","first_name":"Anastasiia"},{"first_name":"Artemii A.","full_name":"Pigidanov, Artemii A.","last_name":"Pigidanov"},{"first_name":"Marina V.","last_name":"Serebryakova","full_name":"Serebryakova, Marina V."},{"full_name":"Golyshev, Sergei A.","last_name":"Golyshev","first_name":"Sergei A."},{"first_name":"Raisa A.","full_name":"Galiullina, Raisa A.","last_name":"Galiullina"},{"full_name":"Chichkova, Nina V.","last_name":"Chichkova","first_name":"Nina V."},{"first_name":"Andrey B.","last_name":"Vartapetian","full_name":"Vartapetian, Andrey B."}],"type":"journal_article","status":"public","date_created":"2024-01-10T09:24:35Z","keyword":["Inorganic Chemistry","Organic Chemistry","Physical and Theoretical Chemistry","Computer Science Applications","Spectroscopy","Molecular Biology","General Medicine","Catalysis"],"has_accepted_license":"1","publication":"International Journal of Molecular Sciences","language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","date_updated":"2024-01-10T13:39:42Z","file_name":"2023_IJMS_Teplova.pdf","file_id":"14791","creator":"dernst","checksum":"4df7d206ba022b7f54eff1f0aec1659a","date_created":"2024-01-10T13:39:42Z","file_size":2637784,"relation":"main_file","access_level":"open_access","success":1}],"ddc":["580"],"pmid":1,"intvolume":"        24","year":"2023","date_published":"2023-11-01T00:00:00Z","citation":{"ista":"Teplova A, Pigidanov AA, Serebryakova MV, Golyshev SA, Galiullina RA, Chichkova NV, Vartapetian AB. 2023. Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. 24(22), 16527.","mla":"Teplova, Anastasiia, et al. “Phytaspase Is Capable of Detaching the Endoplasmic Reticulum Retrieval Signal from Tobacco Calreticulin-3.” <i>International Journal of Molecular Sciences</i>, vol. 24, no. 22, 16527, MDPI, 2023, doi:<a href=\"https://doi.org/10.3390/ijms242216527\">10.3390/ijms242216527</a>.","ieee":"A. Teplova <i>et al.</i>, “Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3,” <i>International Journal of Molecular Sciences</i>, vol. 24, no. 22. MDPI, 2023.","apa":"Teplova, A., Pigidanov, A. A., Serebryakova, M. V., Golyshev, S. A., Galiullina, R. A., Chichkova, N. V., &#38; Vartapetian, A. B. (2023). Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms242216527\">https://doi.org/10.3390/ijms242216527</a>","short":"A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).","chicago":"Teplova, Anastasiia, Artemii A. Pigidanov, Marina V. Serebryakova, Sergei A. Golyshev, Raisa A. Galiullina, Nina V. Chichkova, and Andrey B. Vartapetian. “Phytaspase Is Capable of Detaching the Endoplasmic Reticulum Retrieval Signal from Tobacco Calreticulin-3.” <i>International Journal of Molecular Sciences</i>. MDPI, 2023. <a href=\"https://doi.org/10.3390/ijms242216527\">https://doi.org/10.3390/ijms242216527</a>.","ama":"Teplova A, Pigidanov AA, Serebryakova MV, et al. Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. <i>International Journal of Molecular Sciences</i>. 2023;24(22). doi:<a href=\"https://doi.org/10.3390/ijms242216527\">10.3390/ijms242216527</a>"},"publication_status":"published","publication_identifier":{"issn":["1422-0067"]},"article_processing_charge":"Yes","publisher":"MDPI","doi":"10.3390/ijms242216527","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_updated":"2024-10-09T21:07:49Z","department":[{"_id":"JiFr"}],"month":"11","title":"Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3","article_number":"16527","isi":1,"volume":24,"day":"01","oa_version":"Published Version","quality_controlled":"1","external_id":{"pmid":["38003717"],"isi":["001113792600001"]},"abstract":[{"lang":"eng","text":"Soluble chaperones residing in the endoplasmic reticulum (ER) play vitally important roles in folding and quality control of newly synthesized proteins that transiently pass through the ER en route to their final destinations. These soluble residents of the ER are themselves endowed with an ER retrieval signal that enables the cell to bring the escaped residents back from the Golgi. Here, by using purified proteins, we showed that Nicotiana tabacum phytaspase, a plant aspartate-specific protease, introduces two breaks at the C-terminus of the N. tabacum ER resident calreticulin-3. These cleavages resulted in removal of either a dipeptide or a hexapeptide from the C-terminus of calreticulin-3 encompassing part or all of the ER retrieval signal. Consistently, expression of the calreticulin-3 derivative mimicking the phytaspase cleavage product in Nicotiana benthamiana cells demonstrated loss of the ER accumulation of the protein. Notably, upon its escape from the ER, calreticulin-3 was further processed by an unknown protease(s) to generate the free N-terminal (N) domain of calreticulin-3, which was ultimately secreted into the apoplast. Our study thus identified a specific proteolytic enzyme capable of precise detachment of the ER retrieval signal from a plant ER resident protein, with implications for the further fate of the escaped resident."}],"article_type":"original"},{"ddc":["540"],"file":[{"relation":"main_file","file_size":9676071,"access_level":"open_access","success":1,"checksum":"a7098388b8ff822b47f5ddd37ed3bdbc","date_created":"2024-01-10T13:47:31Z","file_id":"14792","creator":"dernst","content_type":"application/pdf","date_updated":"2024-01-10T13:47:31Z","file_name":"2023_AIPAdvances_Sato.pdf"}],"intvolume":"        13","status":"public","date_created":"2024-01-10T09:26:08Z","keyword":["General Physics and Astronomy"],"language":[{"iso":"eng"}],"publication":"AIP Advances","has_accepted_license":"1","issue":"12","corr_author":"1","file_date_updated":"2024-01-10T13:47:31Z","type":"journal_article","acknowledgement":"This work received financial support partially from Japan Science and Technology Agency (JST) CREST Grant No. JPMJCR18I2, Japan. The powder-XRD experiments were conducted at BL5S2 of Aichi Synchrotron Radiation Center, Aichi Science & Technology Foundation, Aichi, Japan (Proposal No. 202301057).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Sato","full_name":"Sato, Kosuke","first_name":"Kosuke"},{"first_name":"Saurabh","orcid":"0000-0003-2209-5269","last_name":"Singh","full_name":"Singh, Saurabh","id":"12d625da-9cb3-11ed-9667-af09d37d3f0a"},{"first_name":"Itsuki","last_name":"Yamazaki","full_name":"Yamazaki, Itsuki"},{"full_name":"Hirata, Keisuke","last_name":"Hirata","first_name":"Keisuke"},{"last_name":"Ang","full_name":"Ang, Artoni Kevin R.","first_name":"Artoni Kevin R."},{"full_name":"Matsunami, Masaharu","last_name":"Matsunami","first_name":"Masaharu"},{"first_name":"Tsunehiro","full_name":"Takeuchi, Tsunehiro","last_name":"Takeuchi"}],"oa":1,"_id":"14777","article_type":"original","abstract":[{"lang":"eng","text":"The effects of the partial V-substitution for Ag on the thermoelectric (TE) properties are investigated for a flexible semiconducting compound Ag2S0.55Se0.45. Density functional theory calculations predict that such a partial V-substitution constructively modifies the electronic structure near the bottom of the conduction band to improve the TE performance. The synthesized Ag1.97V0.03S0.55Se0.45 is found to possess a TE dimensionless figure-of-merit (ZT) of 0.71 at 350 K with maintaining its flexible nature. This ZT value is relatively high in comparison with those reported for flexible TE materials below 360 K. The increase in the ZT value is caused by the enhanced absolute value of the Seebeck coefficient with less significant variation in electrical resistivity. The high ZT value with the flexible nature naturally allows us to employ the Ag1.97V0.03S0.55Se0.45 as a component of flexible TE generators."}],"day":"01","volume":13,"oa_version":"Published Version","quality_controlled":"1","external_id":{"isi":["001114917200005"]},"department":[{"_id":"MaIb"}],"month":"12","date_updated":"2024-10-09T21:07:49Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_number":"125206","isi":1,"title":"Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag","citation":{"ista":"Sato K, Singh S, Yamazaki I, Hirata K, Ang AKR, Matsunami M, Takeuchi T. 2023. Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag. AIP Advances. 13(12), 125206.","ieee":"K. Sato <i>et al.</i>, “Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag,” <i>AIP Advances</i>, vol. 13, no. 12. AIP Publishing, 2023.","mla":"Sato, Kosuke, et al. “Improvement of Thermoelectric Performance of Flexible Compound Ag2S0.55Se0.45 by Means of Partial V-Substitution for Ag.” <i>AIP Advances</i>, vol. 13, no. 12, 125206, AIP Publishing, 2023, doi:<a href=\"https://doi.org/10.1063/5.0171888\">10.1063/5.0171888</a>.","short":"K. Sato, S. Singh, I. Yamazaki, K. Hirata, A.K.R. Ang, M. Matsunami, T. Takeuchi, AIP Advances 13 (2023).","apa":"Sato, K., Singh, S., Yamazaki, I., Hirata, K., Ang, A. K. R., Matsunami, M., &#38; Takeuchi, T. (2023). Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag. <i>AIP Advances</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/5.0171888\">https://doi.org/10.1063/5.0171888</a>","ama":"Sato K, Singh S, Yamazaki I, et al. Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag. <i>AIP Advances</i>. 2023;13(12). doi:<a href=\"https://doi.org/10.1063/5.0171888\">10.1063/5.0171888</a>","chicago":"Sato, Kosuke, Saurabh Singh, Itsuki Yamazaki, Keisuke Hirata, Artoni Kevin R. Ang, Masaharu Matsunami, and Tsunehiro Takeuchi. “Improvement of Thermoelectric Performance of Flexible Compound Ag2S0.55Se0.45 by Means of Partial V-Substitution for Ag.” <i>AIP Advances</i>. AIP Publishing, 2023. <a href=\"https://doi.org/10.1063/5.0171888\">https://doi.org/10.1063/5.0171888</a>."},"date_published":"2023-12-01T00:00:00Z","year":"2023","doi":"10.1063/5.0171888","article_processing_charge":"Yes","publisher":"AIP Publishing","publication_identifier":{"eissn":["2158-3226"]},"publication_status":"published"},{"_id":"14778","arxiv":1,"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"10414"}]},"oa":1,"type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","acknowledgement":"This research was partially supported by the ERC CoG (grant no. 863818; ForM-SMArt), the Czech Science Foundation (grant no. GA21-24711S), and the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 665385.","author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Kafshdar Goharshady, Ehsan","last_name":"Kafshdar Goharshady","first_name":"Ehsan"},{"first_name":"Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","full_name":"Novotný, Petr","last_name":"Novotný"},{"full_name":"Zárevúcky, Jiří","last_name":"Zárevúcky","first_name":"Jiří"},{"first_name":"Dorde","orcid":"0000-0002-4681-1699","last_name":"Zikelic","full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"}],"file_date_updated":"2024-01-16T08:11:24Z","issue":"2","corr_author":"1","has_accepted_license":"1","language":[{"iso":"eng"}],"publication":"Formal Aspects of Computing","status":"public","date_created":"2024-01-10T09:27:43Z","keyword":["Theoretical Computer Science","Software"],"scopus_import":"1","intvolume":"        35","file":[{"date_created":"2024-01-16T08:11:24Z","checksum":"3bb133eeb27ec01649a9a36445d952d9","success":1,"access_level":"open_access","file_size":502522,"relation":"main_file","file_name":"2023_FormalAspectsComputing_Chatterjee.pdf","date_updated":"2024-01-16T08:11:24Z","content_type":"application/pdf","file_id":"14804","creator":"dernst"}],"ddc":["000"],"publication_status":"published","doi":"10.1145/3585391","publication_identifier":{"issn":["0934-5043"],"eissn":["1433-299X"]},"publisher":"Association for Computing Machinery","article_processing_charge":"Yes","citation":{"mla":"Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” <i>Formal Aspects of Computing</i>, vol. 35, no. 2, 11, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3585391\">10.1145/3585391</a>.","ieee":"K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” <i>Formal Aspects of Computing</i>, vol. 35, no. 2. Association for Computing Machinery, 2023.","ista":"Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 35(2), 11.","chicago":"Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” <i>Formal Aspects of Computing</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3585391\">https://doi.org/10.1145/3585391</a>.","ama":"Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. <i>Formal Aspects of Computing</i>. 2023;35(2). doi:<a href=\"https://doi.org/10.1145/3585391\">10.1145/3585391</a>","apa":"Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., &#38; Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. <i>Formal Aspects of Computing</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3585391\">https://doi.org/10.1145/3585391</a>","short":"K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023)."},"year":"2023","date_published":"2023-06-23T00:00:00Z","title":"On lexicographic proof rules for probabilistic termination","isi":1,"article_number":"11","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"department":[{"_id":"KrCh"}],"month":"06","date_updated":"2025-09-09T14:19:27Z","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818"},{"grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","external_id":{"isi":["001035915800006"],"arxiv":["2108.02188"]},"volume":35,"oa_version":"Published Version","day":"23","ec_funded":1,"abstract":[{"text":"We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous work have a limitation that impedes their automation: all of their components have to be non-negative in all reachable states. This might result in a LexRSM not existing even for simple terminating programs. Our contributions are twofold. First, we introduce a generalization of LexRSMs that allows for some components to be negative. This standard feature of non-probabilistic termination proofs was hitherto not known to be sound in the probabilistic setting, as the soundness proof requires a careful analysis of the underlying stochastic process. Second, we present polynomial-time algorithms using our generalized LexRSMs for proving a.s. termination in broad classes of linear-arithmetic programs.","lang":"eng"}],"article_type":"original"},{"intvolume":"        50","file":[{"success":1,"access_level":"open_access","relation":"main_file","file_size":2529327,"date_created":"2024-01-16T08:35:02Z","checksum":"391a3005c95340a0ae129ce4fbdf2bae","creator":"dernst","file_id":"14805","date_updated":"2024-01-16T08:35:02Z","file_name":"2023_GeophysicalResearchLetter_Shaw.pdf","content_type":"application/pdf"}],"ddc":["550"],"has_accepted_license":"1","publication":"Geophysical Research Letters","language":[{"iso":"eng"}],"date_created":"2024-01-10T09:28:34Z","keyword":["General Earth and Planetary Sciences","Geophysics"],"scopus_import":"1","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"This work was funded by the EU Horizon 2020 Marie Skłodowska-Curie Actions Grant 101026058. The authors acknowl-edge the dedicated collection of field data by many parties since 2001, including those acknowledged for the cited works on Arolla Glacier. The authors would like to thank Fabienne Meier, Alice Zaugg, Raphael Willi, Maria Grundmann, and Marta Corrà for assistance in the field for the summers of 2021 and 2022. Off-glacier data provided by Grand Dixence SA (Arolla) and MeteoSwiss are kindly acknowledged. Simone Fatichi is thanked for the provision and support in the use of the Tethys-Chloris model. We thank Editor Mathieu Morlighem and two anonymous reviewers whose comments have helped to improve the quality of the manuscript.","author":[{"last_name":"Shaw","full_name":"Shaw, Thomas E.","first_name":"Thomas E."},{"first_name":"Pascal","last_name":"Buri","full_name":"Buri, Pascal"},{"first_name":"Michael","full_name":"McCarthy, Michael","last_name":"McCarthy"},{"last_name":"Miles","full_name":"Miles, Evan S.","first_name":"Evan S."},{"first_name":"Álvaro","last_name":"Ayala","full_name":"Ayala, Álvaro"},{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca","last_name":"Pellicciotti","first_name":"Francesca","orcid":"0000-0002-5554-8087"}],"type":"journal_article","file_date_updated":"2024-01-16T08:35:02Z","issue":"11","_id":"14779","oa":1,"abstract":[{"lang":"eng","text":"The presence of a developed boundary layer decouples a glacier's response from ambient conditions, suggesting that sensitivity to climate change is increased by glacier retreat. To test this hypothesis, we explore six years of distributed meteorological data on a small Swiss glacier in the period 2001–2022. Large glacier fragmentation has occurred since 2001 (−35% area change up to 2022) coinciding with notable frontal retreat, an observed switch from down‐glacier katabatic to up‐glacier valley winds and an increased sensitivity (ratio) of on‐glacier to off‐glacier temperature. As the glacier ceases to develop density‐driven katabatic winds, sensible heat fluxes on the glacier are increasingly determined by the conditions occurring outside the boundary layer of the glacier, sealing the glacier's demise as the climate continues to warm and experience an increased frequency of extreme summers."}],"article_type":"original","quality_controlled":"1","external_id":{"isi":["000999436400001"]},"oa_version":"Published Version","day":"16","volume":50,"title":"The decaying near‐surface boundary layer of a retreating alpine glacier","article_number":"e2023GL103043","isi":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_updated":"2024-10-21T06:01:34Z","department":[{"_id":"FrPe"}],"month":"06","publication_status":"published","publisher":"American Geophysical Union","publication_identifier":{"eissn":["1944-8007"],"issn":["0094-8276"]},"article_processing_charge":"No","doi":"10.1029/2023gl103043","date_published":"2023-06-16T00:00:00Z","year":"2023","citation":{"ieee":"T. E. Shaw, P. Buri, M. McCarthy, E. S. Miles, Á. Ayala, and F. Pellicciotti, “The decaying near‐surface boundary layer of a retreating alpine glacier,” <i>Geophysical Research Letters</i>, vol. 50, no. 11. American Geophysical Union, 2023.","mla":"Shaw, Thomas E., et al. “The Decaying Near‐surface Boundary Layer of a Retreating Alpine Glacier.” <i>Geophysical Research Letters</i>, vol. 50, no. 11, e2023GL103043, American Geophysical Union, 2023, doi:<a href=\"https://doi.org/10.1029/2023gl103043\">10.1029/2023gl103043</a>.","ista":"Shaw TE, Buri P, McCarthy M, Miles ES, Ayala Á, Pellicciotti F. 2023. The decaying near‐surface boundary layer of a retreating alpine glacier. Geophysical Research Letters. 50(11), e2023GL103043.","ama":"Shaw TE, Buri P, McCarthy M, Miles ES, Ayala Á, Pellicciotti F. The decaying near‐surface boundary layer of a retreating alpine glacier. <i>Geophysical Research Letters</i>. 2023;50(11). doi:<a href=\"https://doi.org/10.1029/2023gl103043\">10.1029/2023gl103043</a>","chicago":"Shaw, Thomas E., Pascal Buri, Michael McCarthy, Evan S. Miles, Álvaro Ayala, and Francesca Pellicciotti. “The Decaying Near‐surface Boundary Layer of a Retreating Alpine Glacier.” <i>Geophysical Research Letters</i>. American Geophysical Union, 2023. <a href=\"https://doi.org/10.1029/2023gl103043\">https://doi.org/10.1029/2023gl103043</a>.","short":"T.E. Shaw, P. Buri, M. McCarthy, E.S. Miles, Á. Ayala, F. Pellicciotti, Geophysical Research Letters 50 (2023).","apa":"Shaw, T. E., Buri, P., McCarthy, M., Miles, E. S., Ayala, Á., &#38; Pellicciotti, F. (2023). The decaying near‐surface boundary layer of a retreating alpine glacier. <i>Geophysical Research Letters</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2023gl103043\">https://doi.org/10.1029/2023gl103043</a>"}},{"publication":"Stochastic Processes and their Applications","language":[{"iso":"eng"}],"has_accepted_license":"1","date_created":"2024-01-10T09:29:25Z","scopus_import":"1","status":"public","keyword":["Applied Mathematics","Modeling and Simulation","Statistics and Probability"],"page":"25-60","intvolume":"       163","ddc":["510"],"file":[{"file_name":"2023_StochasticProcAppl_Ding.pdf","date_updated":"2024-01-16T08:47:31Z","content_type":"application/pdf","file_id":"14806","creator":"dernst","date_created":"2024-01-16T08:47:31Z","checksum":"46a708b0cd5569a73d0f3d6c3e0a44dc","success":1,"access_level":"open_access","relation":"main_file","file_size":1870349}],"arxiv":1,"_id":"14780","oa":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","acknowledgement":"The authors would like to thank the editor, the associated editor and two anonymous referees for their many critical suggestions which have significantly improved the paper. The authors are also grateful to Zhigang Bao and Ji Oon Lee for many helpful discussions. The first author also wants to thank Hari Bercovici for many useful comments. The first author is partially supported by National Science Foundation DMS-2113489 and the second author is supported by ERC Advanced Grant “RMTBeyond” No. 101020331.","author":[{"full_name":"Ding, Xiucai","last_name":"Ding","first_name":"Xiucai"},{"first_name":"Hong Chang","full_name":"Ji, Hong Chang","id":"dd216c0a-c1f9-11eb-beaf-e9ea9d2de76d","last_name":"Ji"}],"type":"journal_article","file_date_updated":"2024-01-16T08:47:31Z","quality_controlled":"1","external_id":{"arxiv":["2302.13502"],"isi":["001113615900001"]},"project":[{"grant_number":"101020331","_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta","call_identifier":"H2020"}],"ec_funded":1,"oa_version":"Published Version","volume":163,"day":"01","article_type":"original","abstract":[{"lang":"eng","text":"In this paper, we study the eigenvalues and eigenvectors of the spiked invariant multiplicative models when the randomness is from Haar matrices. We establish the limits of the outlier eigenvalues λˆi and the generalized components (⟨v,uˆi⟩ for any deterministic vector v) of the outlier eigenvectors uˆi with optimal convergence rates. Moreover, we prove that the non-outlier eigenvalues stick with those of the unspiked matrices and the non-outlier eigenvectors are delocalized. The results also hold near the so-called BBP transition and for degenerate spikes. On one hand, our results can be regarded as a refinement of the counterparts of [12] under additional regularity conditions. On the other hand, they can be viewed as an analog of [34] by replacing the random matrix with i.i.d. entries with Haar random matrix."}],"article_processing_charge":"Yes (in subscription journal)","publication_identifier":{"issn":["0304-4149"],"eissn":["1879-209X"]},"publisher":"Elsevier","doi":"10.1016/j.spa.2023.05.009","publication_status":"published","year":"2023","date_published":"2023-09-01T00:00:00Z","citation":{"ieee":"X. Ding and H. C. Ji, “Spiked multiplicative random matrices and principal components,” <i>Stochastic Processes and their Applications</i>, vol. 163. Elsevier, pp. 25–60, 2023.","mla":"Ding, Xiucai, and Hong Chang Ji. “Spiked Multiplicative Random Matrices and Principal Components.” <i>Stochastic Processes and Their Applications</i>, vol. 163, Elsevier, 2023, pp. 25–60, doi:<a href=\"https://doi.org/10.1016/j.spa.2023.05.009\">10.1016/j.spa.2023.05.009</a>.","ista":"Ding X, Ji HC. 2023. Spiked multiplicative random matrices and principal components. Stochastic Processes and their Applications. 163, 25–60.","ama":"Ding X, Ji HC. Spiked multiplicative random matrices and principal components. <i>Stochastic Processes and their Applications</i>. 2023;163:25-60. doi:<a href=\"https://doi.org/10.1016/j.spa.2023.05.009\">10.1016/j.spa.2023.05.009</a>","chicago":"Ding, Xiucai, and Hong Chang Ji. “Spiked Multiplicative Random Matrices and Principal Components.” <i>Stochastic Processes and Their Applications</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.spa.2023.05.009\">https://doi.org/10.1016/j.spa.2023.05.009</a>.","short":"X. Ding, H.C. Ji, Stochastic Processes and Their Applications 163 (2023) 25–60.","apa":"Ding, X., &#38; Ji, H. C. (2023). Spiked multiplicative random matrices and principal components. <i>Stochastic Processes and Their Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.spa.2023.05.009\">https://doi.org/10.1016/j.spa.2023.05.009</a>"},"isi":1,"title":"Spiked multiplicative random matrices and principal components","date_updated":"2025-07-16T08:01:03Z","department":[{"_id":"LaEr"}],"month":"09","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"}}]
