[{"status":"public","day":"01","OA_place":"repository","citation":{"mla":"Salamin, Yannick, et al. “Overcoming the Manley-Rowe Limit for CW Terahertz Generation in Q-Engineered Multimodal Cavity.” <i>Conference on Lasers and Electro-Optics</i>, FTu2J.3, Optica Publishing Group, 2021, doi:<a href=\"https://doi.org/10.1364/cleo_qels.2021.ftu2j.3\">10.1364/cleo_qels.2021.ftu2j.3</a>.","apa":"Salamin, Y., Roques-Carmes, C., Lin, Z., Johnson, S. G., &#38; Soljačić, M. (2021). Overcoming the Manley-Rowe limit for CW terahertz generation in Q-engineered multimodal cavity. In <i>Conference on Lasers and Electro-Optics</i>. San Jose, CA, United States: Optica Publishing Group. <a href=\"https://doi.org/10.1364/cleo_qels.2021.ftu2j.3\">https://doi.org/10.1364/cleo_qels.2021.ftu2j.3</a>","ista":"Salamin Y, Roques-Carmes C, Lin Z, Johnson SG, Soljačić M. 2021. Overcoming the Manley-Rowe limit for CW terahertz generation in Q-engineered multimodal cavity. Conference on Lasers and Electro-Optics. CLEO: Fundamental Science, FTu2J.3.","ieee":"Y. Salamin, C. Roques-Carmes, Z. Lin, S. G. Johnson, and M. Soljačić, “Overcoming the Manley-Rowe limit for CW terahertz generation in Q-engineered multimodal cavity,” in <i>Conference on Lasers and Electro-Optics</i>, San Jose, CA, United States, 2021.","ama":"Salamin Y, Roques-Carmes C, Lin Z, Johnson SG, Soljačić M. Overcoming the Manley-Rowe limit for CW terahertz generation in Q-engineered multimodal cavity. In: <i>Conference on Lasers and Electro-Optics</i>. Optica Publishing Group; 2021. doi:<a href=\"https://doi.org/10.1364/cleo_qels.2021.ftu2j.3\">10.1364/cleo_qels.2021.ftu2j.3</a>","short":"Y. Salamin, C. Roques-Carmes, Z. Lin, S.G. Johnson, M. Soljačić, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2021.","chicago":"Salamin, Yannick, Charles Roques-Carmes, Zin Lin, Steven G. Johnson, and Marin Soljačić. “Overcoming the Manley-Rowe Limit for CW Terahertz Generation in Q-Engineered Multimodal Cavity.” In <i>Conference on Lasers and Electro-Optics</i>. Optica Publishing Group, 2021. <a href=\"https://doi.org/10.1364/cleo_qels.2021.ftu2j.3\">https://doi.org/10.1364/cleo_qels.2021.ftu2j.3</a>."},"article_processing_charge":"No","type":"conference","oa":1,"OA_type":"green","author":[{"last_name":"Salamin","full_name":"Salamin, Yannick","first_name":"Yannick"},{"full_name":"Roques-Carmes, Charles","last_name":"Roques-Carmes","id":"e2e68fc9-6505-11ef-a541-eb4e72cc3e82","first_name":"Charles"},{"full_name":"Lin, Zin","last_name":"Lin","first_name":"Zin"},{"first_name":"Steven G.","full_name":"Johnson, Steven G.","last_name":"Johnson"},{"full_name":"Soljačić, Marin","last_name":"Soljačić","first_name":"Marin"}],"article_number":"FTu2J.3","title":"Overcoming the Manley-Rowe limit for CW terahertz generation in Q-engineered multimodal cavity","abstract":[{"lang":"eng","text":"We present a method to overcome the Manley-Rowe limit in a <jats:italic>Q</jats:italic>-factor engineered multimodal nonlinear cavity. Cascading nonlinear processes enable continuous-wave terahertz generation with a theoretical conversion efficiency of 98.8%."}],"_id":"21623","main_file_link":[{"open_access":"1","url":"https://hdl.handle.net/1721.1/142554.2"}],"publication":"Conference on Lasers and Electro-Optics","publication_status":"published","date_published":"2021-06-01T00:00:00Z","extern":"1","doi":"10.1364/cleo_qels.2021.ftu2j.3","quality_controlled":"1","oa_version":"Accepted Version","publication_identifier":{"eisbn":["9781943580910"]},"date_updated":"2026-05-04T13:13:11Z","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2021","conference":{"location":"San Jose, CA, United States","start_date":"2021-05-09","name":"CLEO: Fundamental Science","end_date":"2021-05-14"},"month":"06","date_created":"2026-03-30T12:22:48Z","publisher":"Optica Publishing Group"},{"year":"2021","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer","place":"Cham","date_created":"2024-02-14T14:05:32Z","month":"10","doi":"10.1007/978-3-030-63416-2_874","date_published":"2021-10-13T00:00:00Z","publication_status":"published","publication":"Computer Vision","_id":"14987","abstract":[{"lang":"eng","text":"The goal of zero-shot learning is to construct a classifier that can identify object classes for which no training examples are available. When training data for some of the object classes is available but not for others, the name generalized zero-shot learning is commonly used.\r\nIn a wider sense, the phrase zero-shot is also used to describe other machine learning-based approaches that require no training data from the problem of interest, such as zero-shot action recognition or zero-shot machine translation."}],"editor":[{"first_name":"Katsushi","full_name":"Ikeuchi, Katsushi","last_name":"Ikeuchi"}],"language":[{"iso":"eng"}],"date_updated":"2024-10-09T21:08:12Z","publication_identifier":{"eisbn":["9783030634162"],"isbn":["9783030634155"]},"oa_version":"None","quality_controlled":"1","department":[{"_id":"ChLa"}],"title":"Zero-Shot Learning","edition":"2","author":[{"first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","full_name":"Lampert, Christoph","last_name":"Lampert"}],"day":"13","status":"public","article_processing_charge":"No","type":"book_chapter","page":"1395-1397","citation":{"ama":"Lampert C. Zero-Shot Learning. In: Ikeuchi K, ed. <i>Computer Vision</i>. 2nd ed. Cham: Springer; 2021:1395-1397. doi:<a href=\"https://doi.org/10.1007/978-3-030-63416-2_874\">10.1007/978-3-030-63416-2_874</a>","short":"C. Lampert, in:, K. Ikeuchi (Ed.), Computer Vision, 2nd ed., Springer, Cham, 2021, pp. 1395–1397.","chicago":"Lampert, Christoph. “Zero-Shot Learning.” In <i>Computer Vision</i>, edited by Katsushi Ikeuchi, 2nd ed., 1395–97. Cham: Springer, 2021. <a href=\"https://doi.org/10.1007/978-3-030-63416-2_874\">https://doi.org/10.1007/978-3-030-63416-2_874</a>.","mla":"Lampert, Christoph. “Zero-Shot Learning.” <i>Computer Vision</i>, edited by Katsushi Ikeuchi, 2nd ed., Springer, 2021, pp. 1395–97, doi:<a href=\"https://doi.org/10.1007/978-3-030-63416-2_874\">10.1007/978-3-030-63416-2_874</a>.","apa":"Lampert, C. (2021). Zero-Shot Learning. In K. Ikeuchi (Ed.), <i>Computer Vision</i> (2nd ed., pp. 1395–1397). Cham: Springer. <a href=\"https://doi.org/10.1007/978-3-030-63416-2_874\">https://doi.org/10.1007/978-3-030-63416-2_874</a>","ista":"Lampert C. 2021.Zero-Shot Learning. In: Computer Vision. , 1395–1397.","ieee":"C. Lampert, “Zero-Shot Learning,” in <i>Computer Vision</i>, 2nd ed., K. Ikeuchi, Ed. Cham: Springer, 2021, pp. 1395–1397."},"corr_author":"1"},{"date_updated":"2024-06-04T06:11:54Z","language":[{"iso":"eng"}],"quality_controlled":"1","date_published":"2021-08-19T00:00:00Z","_id":"15137","main_file_link":[{"url":"https://doi.org/10.1038/s41467-021-25337-5","open_access":"1"}],"month":"08","year":"2021","status":"public","title":"SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation","volume":12,"pmid":1,"oa_version":"Published Version","publication_identifier":{"issn":["2041-1723"]},"doi":"10.1038/s41467-021-25337-5","extern":"1","publication_status":"published","abstract":[{"text":"Characteristic properties of type III CRISPR-Cas systems include recognition of target RNA and the subsequent induction of a multifaceted immune response. This involves sequence-specific cleavage of the target RNA and production of cyclic oligoadenylate (cOA) molecules. Here we report that an exposed seed region at the 3′ end of the crRNA is essential for target RNA binding and cleavage, whereas cOA production requires base pairing at the 5′ end of the crRNA. Moreover, we uncover that the variation in the size and composition of type III complexes within a single host results in variable seed regions. This may prevent escape by invading genetic elements, while controlling cOA production tightly to prevent unnecessary damage to the host. Lastly, we use these findings to develop a new diagnostic tool, SCOPE, for the specific detection of SARS-CoV-2 from human nasal swab samples, revealing sensitivities in the atto-molar range.","lang":"eng"}],"publication":"Nature Communications","article_type":"original","publisher":"Springer Nature","date_created":"2024-03-20T10:42:33Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"article_processing_charge":"Yes","type":"journal_article","citation":{"short":"J.A. Steens, Y. Zhu, D.W. Taylor, J.P.K. Bravo, S.H.P. Prinsen, C.D. Schoen, B.J.F. Keijser, M. Ossendrijver, L.M. Hofstra, S.J.J. Brouns, A. Shinkai, J. van der Oost, R.H.J. Staals, Nature Communications 12 (2021).","ama":"Steens JA, Zhu Y, Taylor DW, et al. SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation. <i>Nature Communications</i>. 2021;12. doi:<a href=\"https://doi.org/10.1038/s41467-021-25337-5\">10.1038/s41467-021-25337-5</a>","chicago":"Steens, Jurre A., Yifan Zhu, David W. Taylor, Jack Peter Kelly Bravo, Stijn H. P. Prinsen, Cor D. Schoen, Bart J. F. Keijser, et al. “SCOPE Enables Type III CRISPR-Cas Diagnostics Using Flexible Targeting and Stringent CARF Ribonuclease Activation.” <i>Nature Communications</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41467-021-25337-5\">https://doi.org/10.1038/s41467-021-25337-5</a>.","mla":"Steens, Jurre A., et al. “SCOPE Enables Type III CRISPR-Cas Diagnostics Using Flexible Targeting and Stringent CARF Ribonuclease Activation.” <i>Nature Communications</i>, vol. 12, 5033, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41467-021-25337-5\">10.1038/s41467-021-25337-5</a>.","ista":"Steens JA, Zhu Y, Taylor DW, Bravo JPK, Prinsen SHP, Schoen CD, Keijser BJF, Ossendrijver M, Hofstra LM, Brouns SJJ, Shinkai A, van der Oost J, Staals RHJ. 2021. SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation. Nature Communications. 12, 5033.","apa":"Steens, J. A., Zhu, Y., Taylor, D. W., Bravo, J. P. K., Prinsen, S. H. P., Schoen, C. D., … Staals, R. H. J. (2021). SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-021-25337-5\">https://doi.org/10.1038/s41467-021-25337-5</a>","ieee":"J. A. Steens <i>et al.</i>, “SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation,” <i>Nature Communications</i>, vol. 12. Springer Nature, 2021."},"keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"day":"19","intvolume":"        12","external_id":{"pmid":["34413302"]},"article_number":"5033","scopus_import":"1","author":[{"full_name":"Steens, Jurre A.","last_name":"Steens","first_name":"Jurre A."},{"last_name":"Zhu","full_name":"Zhu, Yifan","first_name":"Yifan"},{"first_name":"David W.","last_name":"Taylor","full_name":"Taylor, David W."},{"first_name":"Jack Peter Kelly","id":"96aecfa5-8931-11ee-af30-aa6a5d6eee0e","orcid":"0000-0003-0456-0753","last_name":"Bravo","full_name":"Bravo, Jack Peter Kelly"},{"full_name":"Prinsen, Stijn H. P.","last_name":"Prinsen","first_name":"Stijn H. P."},{"first_name":"Cor D.","full_name":"Schoen, Cor D.","last_name":"Schoen"},{"last_name":"Keijser","full_name":"Keijser, Bart J. F.","first_name":"Bart J. F."},{"last_name":"Ossendrijver","full_name":"Ossendrijver, Michel","first_name":"Michel"},{"first_name":"L. Marije","last_name":"Hofstra","full_name":"Hofstra, L. Marije"},{"first_name":"Stan J. J.","last_name":"Brouns","full_name":"Brouns, Stan J. J."},{"first_name":"Akeo","full_name":"Shinkai, Akeo","last_name":"Shinkai"},{"last_name":"van der Oost","full_name":"van der Oost, John","first_name":"John"},{"first_name":"Raymond H. J.","full_name":"Staals, Raymond H. J.","last_name":"Staals"}]},{"abstract":[{"text":"Remdesivir is a nucleoside analog approved by the US FDA for treatment of COVID-19. Here, we present a 3.9-Å-resolution cryo-EM reconstruction of a remdesivir-stalled RNA-dependent RNA polymerase complex, revealing full incorporation of 3 copies of remdesivir monophosphate (RMP) and a partially incorporated fourth RMP in the active site. The structure reveals that RMP blocks RNA translocation after incorporation of 3 bases following RMP, resulting in delayed chain termination, which can guide the rational design of improved antiviral drugs.","lang":"eng"}],"publication":"Molecular Cell","publication_status":"published","extern":"1","doi":"10.1016/j.molcel.2021.01.035","pmid":1,"publication_identifier":{"issn":["1097-2765"]},"oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2024-03-20T10:42:53Z","publisher":"Elsevier","article_type":"original","intvolume":"        81","day":"01","keyword":["Cell Biology","Molecular Biology"],"citation":{"short":"J.P.K. Bravo, T.L. Dangerfield, D.W. Taylor, K.A. Johnson, Molecular Cell 81 (2021) 1548–1552.e4.","ama":"Bravo JPK, Dangerfield TL, Taylor DW, Johnson KA. Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication. <i>Molecular Cell</i>. 2021;81(7):1548-1552.e4. doi:<a href=\"https://doi.org/10.1016/j.molcel.2021.01.035\">10.1016/j.molcel.2021.01.035</a>","chicago":"Bravo, Jack Peter Kelly, Tyler L. Dangerfield, David W. Taylor, and Kenneth A. Johnson. “Remdesivir Is a Delayed Translocation Inhibitor of SARS-CoV-2 Replication.” <i>Molecular Cell</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.molcel.2021.01.035\">https://doi.org/10.1016/j.molcel.2021.01.035</a>.","ista":"Bravo JPK, Dangerfield TL, Taylor DW, Johnson KA. 2021. Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication. Molecular Cell. 81(7), 1548–1552.e4.","apa":"Bravo, J. P. K., Dangerfield, T. L., Taylor, D. W., &#38; Johnson, K. A. (2021). Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication. <i>Molecular Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.molcel.2021.01.035\">https://doi.org/10.1016/j.molcel.2021.01.035</a>","mla":"Bravo, Jack Peter Kelly, et al. “Remdesivir Is a Delayed Translocation Inhibitor of SARS-CoV-2 Replication.” <i>Molecular Cell</i>, vol. 81, no. 7, Elsevier, 2021, p. 1548–1552.e4, doi:<a href=\"https://doi.org/10.1016/j.molcel.2021.01.035\">10.1016/j.molcel.2021.01.035</a>.","ieee":"J. P. K. Bravo, T. L. Dangerfield, D. W. Taylor, and K. A. Johnson, “Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication,” <i>Molecular Cell</i>, vol. 81, no. 7. Elsevier, p. 1548–1552.e4, 2021."},"type":"journal_article","article_processing_charge":"No","oa":1,"issue":"7","author":[{"orcid":"0000-0003-0456-0753","first_name":"Jack Peter Kelly","id":"96aecfa5-8931-11ee-af30-aa6a5d6eee0e","full_name":"Bravo, Jack Peter Kelly","last_name":"Bravo"},{"last_name":"Dangerfield","full_name":"Dangerfield, Tyler L.","first_name":"Tyler L."},{"first_name":"David W.","full_name":"Taylor, David W.","last_name":"Taylor"},{"last_name":"Johnson","full_name":"Johnson, Kenneth A.","first_name":"Kenneth A."}],"scopus_import":"1","external_id":{"pmid":["33631104"]},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2020.12.14.422718 "}],"_id":"15140","date_published":"2021-04-01T00:00:00Z","quality_controlled":"1","date_updated":"2024-06-04T06:00:56Z","language":[{"iso":"eng"}],"year":"2021","month":"04","status":"public","page":"1548-1552.e4","volume":81,"title":"Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication"},{"volume":912,"title":"Massive white dwarfs in young star clusters","arxiv":1,"status":"public","month":"05","year":"2021","quality_controlled":"1","date_updated":"2024-04-03T14:11:17Z","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2101.08300"}],"_id":"15219","date_published":"2021-05-17T00:00:00Z","author":[{"full_name":"Richer, Harvey B.","last_name":"Richer","first_name":"Harvey B."},{"id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d","orcid":"0000-0002-4770-5388","first_name":"Ilaria","full_name":"Caiazzo, Ilaria","last_name":"Caiazzo"},{"full_name":"Du, Helen","last_name":"Du","first_name":"Helen"},{"full_name":"Grondin, Steffani","last_name":"Grondin","first_name":"Steffani"},{"full_name":"Hegarty, James","last_name":"Hegarty","first_name":"James"},{"first_name":"Jeremy","full_name":"Heyl, Jeremy","last_name":"Heyl"},{"full_name":"Kerr, Ronan","last_name":"Kerr","first_name":"Ronan"},{"first_name":"David R.","last_name":"Miller","full_name":"Miller, David R."},{"last_name":"Thiele","full_name":"Thiele, Sarah","first_name":"Sarah"}],"article_number":"165","scopus_import":"1","external_id":{"arxiv":["2101.08300"]},"issue":"2","citation":{"ama":"Richer HB, Caiazzo I, Du H, et al. Massive white dwarfs in young star clusters. <i>The Astrophysical Journal</i>. 2021;912(2). doi:<a href=\"https://doi.org/10.3847/1538-4357/abdeb7\">10.3847/1538-4357/abdeb7</a>","short":"H.B. Richer, I. Caiazzo, H. Du, S. Grondin, J. Hegarty, J. Heyl, R. Kerr, D.R. Miller, S. Thiele, The Astrophysical Journal 912 (2021).","chicago":"Richer, Harvey B., Ilaria Caiazzo, Helen Du, Steffani Grondin, James Hegarty, Jeremy Heyl, Ronan Kerr, David R. Miller, and Sarah Thiele. “Massive White Dwarfs in Young Star Clusters.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2021. <a href=\"https://doi.org/10.3847/1538-4357/abdeb7\">https://doi.org/10.3847/1538-4357/abdeb7</a>.","apa":"Richer, H. B., Caiazzo, I., Du, H., Grondin, S., Hegarty, J., Heyl, J., … Thiele, S. (2021). Massive white dwarfs in young star clusters. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/abdeb7\">https://doi.org/10.3847/1538-4357/abdeb7</a>","ista":"Richer HB, Caiazzo I, Du H, Grondin S, Hegarty J, Heyl J, Kerr R, Miller DR, Thiele S. 2021. Massive white dwarfs in young star clusters. The Astrophysical Journal. 912(2), 165.","mla":"Richer, Harvey B., et al. “Massive White Dwarfs in Young Star Clusters.” <i>The Astrophysical Journal</i>, vol. 912, no. 2, 165, American Astronomical Society, 2021, doi:<a href=\"https://doi.org/10.3847/1538-4357/abdeb7\">10.3847/1538-4357/abdeb7</a>.","ieee":"H. B. Richer <i>et al.</i>, “Massive white dwarfs in young star clusters,” <i>The Astrophysical Journal</i>, vol. 912, no. 2. American Astronomical Society, 2021."},"article_processing_charge":"No","type":"journal_article","oa":1,"intvolume":"       912","day":"17","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"date_created":"2024-03-26T10:33:23Z","article_type":"original","publisher":"American Astronomical Society","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"oa_version":"Preprint","abstract":[{"lang":"eng","text":"We have carried out a search for massive white dwarfs (WDs) in the direction of young open star clusters using the Gaia DR2 database. The aim of this survey was (1) to provide robust data for new and previously known high-mass WDs regarding cluster membership, (2) to highlight WDs previously included in the initial final mass relation (IFMR) that are unlikely members of their respective clusters according to Gaia astrometry, and (3) to select an unequivocal WD sample that could then be compared with the host clusters' turnoff masses. All promising WD candidates in each cluster color–magnitude diagram were followed up with spectroscopy from Gemini in order to determine whether they were indeed WDs and derive their masses, temperatures, and ages. In order to be considered cluster members, white dwarfs were required to (1) have proper motions and parallaxes within 2σ, 3σ, or 4σ of those of their potential parent cluster based on how contaminated the field was in their region of the sky, (2) have a cooling age that was less than the cluster age, and (3) have a mass that was broadly consistent with the IFMR. A number of WDs included in current versions of the IFMR turned out to be nonmembers, and a number of apparent members, based on Gaia's astrometric data alone, were rejected, as their mass and/or cooling times were incompatible with cluster membership. In this way, we developed a highly selected IFMR sample for high-mass WDs that, surprisingly, contained no precursor masses significantly in excess of ∼ 6 M⊙."}],"publication":"The Astrophysical Journal","publication_status":"published","extern":"1","doi":"10.3847/1538-4357/abdeb7"},{"status":"public","title":"The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse","volume":9,"_id":"15264","date_published":"2021-07-01T00:00:00Z","date_updated":"2024-04-03T14:10:25Z","language":[{"iso":"eng"}],"quality_controlled":"1","ddc":["570"],"year":"2021","month":"07","has_accepted_license":"1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"day":"01","file_date_updated":"2024-04-03T14:08:05Z","keyword":["Cell Biology","Developmental Biology"],"intvolume":"         9","type":"journal_article","article_processing_charge":"No","oa":1,"citation":{"short":"N. Deretic, M. Bolger-Munro, K. Choi, L. Abraham, M.R. Gold, Frontiers in Cell and Developmental Biology 9 (2021).","ama":"Deretic N, Bolger-Munro M, Choi K, Abraham L, Gold MR. The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse. <i>Frontiers in Cell and Developmental Biology</i>. 2021;9. doi:<a href=\"https://doi.org/10.3389/fcell.2021.647063\">10.3389/fcell.2021.647063</a>","chicago":"Deretic, Nikola, Madison Bolger-Munro, Kate Choi, Libin Abraham, and Michael R. Gold. “The Actin-Disassembly Protein Glia Maturation Factor γ Enhances Actin Remodeling and B Cell Antigen Receptor Signaling at the Immune Synapse.” <i>Frontiers in Cell and Developmental Biology</i>. Frontiers Media, 2021. <a href=\"https://doi.org/10.3389/fcell.2021.647063\">https://doi.org/10.3389/fcell.2021.647063</a>.","ista":"Deretic N, Bolger-Munro M, Choi K, Abraham L, Gold MR. 2021. The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse. Frontiers in Cell and Developmental Biology. 9, 647063.","apa":"Deretic, N., Bolger-Munro, M., Choi, K., Abraham, L., &#38; Gold, M. R. (2021). The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse. <i>Frontiers in Cell and Developmental Biology</i>. Frontiers Media. <a href=\"https://doi.org/10.3389/fcell.2021.647063\">https://doi.org/10.3389/fcell.2021.647063</a>","mla":"Deretic, Nikola, et al. “The Actin-Disassembly Protein Glia Maturation Factor γ Enhances Actin Remodeling and B Cell Antigen Receptor Signaling at the Immune Synapse.” <i>Frontiers in Cell and Developmental Biology</i>, vol. 9, 647063, Frontiers Media, 2021, doi:<a href=\"https://doi.org/10.3389/fcell.2021.647063\">10.3389/fcell.2021.647063</a>.","ieee":"N. Deretic, M. Bolger-Munro, K. Choi, L. Abraham, and M. R. Gold, “The actin-disassembly protein glia maturation factor γ enhances actin remodeling and B cell antigen receptor signaling at the immune synapse,” <i>Frontiers in Cell and Developmental Biology</i>, vol. 9. Frontiers Media, 2021."},"department":[{"_id":"CaHe"}],"scopus_import":"1","article_number":"647063","external_id":{"pmid":["34336818"]},"author":[{"last_name":"Deretic","full_name":"Deretic, Nikola","first_name":"Nikola"},{"id":"516F03FA-93A3-11EA-A7C5-D6BE3DDC885E","first_name":"Madison","orcid":"0000-0002-8176-4824","last_name":"Bolger-Munro","full_name":"Bolger-Munro, Madison"},{"first_name":"Kate","last_name":"Choi","full_name":"Choi, Kate"},{"first_name":"Libin","last_name":"Abraham","full_name":"Abraham, Libin"},{"first_name":"Michael R.","full_name":"Gold, Michael R.","last_name":"Gold"}],"doi":"10.3389/fcell.2021.647063","publication":"Frontiers in Cell and Developmental Biology","abstract":[{"text":"Signaling by the B cell antigen receptor (BCR) initiates actin remodeling. The assembly of branched actin networks that are nucleated by the Arp2/3 complex exert outward force on the plasma membrane, allowing B cells to form membrane protrusions that can scan the surface of antigen-presenting cells (APCs). The resulting Arp2/3 complex-dependent actin retrograde flow promotes the centripetal movement and progressive coalescence of BCR microclusters, which amplifies BCR signaling. Glia maturation factor γ (GMFγ) is an actin disassembly-protein that releases Arp2/3 complex-nucleated actin filaments from actin networks. By doing so, GMFγ could either oppose the actions of the Arp2/3 complex or support Arp2/3 complex-nucleated actin polymerization by contributing to the recycling of actin monomers and Arp2/3 complexes. We now show that reducing the levels of GMFγ in human B cell lines via transfection with a specific siRNA impairs the ability of B cells to spread on antigen-coated surfaces, decreases the velocity of actin retrograde flow, diminishes the coalescence of BCR microclusters into a central cluster at the B cell-APC contact site, and decreases APC-induced BCR signaling. These effects of depleting GMFγ are similar to what occurs when the Arp2/3 complex is inhibited. This suggests that GMFγ cooperates with the Arp2/3 complex to support BCR-induced actin remodeling and amplify BCR signaling at the immune synapse.","lang":"eng"}],"file":[{"relation":"main_file","content_type":"application/pdf","access_level":"open_access","file_size":7430029,"date_created":"2024-04-03T14:08:05Z","checksum":"f6330b5c6718d6780383c0300fd4ef12","file_name":"2021_Frontiers_Deretic.pdf","success":1,"date_updated":"2024-04-03T14:08:05Z","creator":"dernst","file_id":"15291"}],"publication_status":"published","oa_version":"Published Version","pmid":1,"publication_identifier":{"issn":["2296-634X"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Frontiers Media","article_type":"original","date_created":"2024-04-03T07:34:08Z"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2024-04-03T07:59:57Z","publisher":"Springer Nature","article_type":"original","abstract":[{"text":"In 1916, Schur introduced the Ramsey number r(3; m), which is the minimum integer n > 1 such that for any m-coloring of the edges of the complete graph Kn, there is a monochromatic copy of K3. He showed that r(3; m) ≤ O(m!), and a simple construction demonstrates that r(3; m) ≥ 2Ω(m). An old conjecture of Erdős states that r(3; m) = 2Θ(m). In this note, we prove the conjecture for m-colorings with bounded VC-dimension, that is, for m-colorings with the property that the set system induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension.","lang":"eng"}],"publication":"Combinatorica","publication_status":"published","doi":"10.1007/s00493-021-4530-9","publication_identifier":{"eissn":["1439-6912"],"issn":["0209-9683"]},"oa_version":"Preprint","department":[{"_id":"HeEd"}],"issue":"6","author":[{"last_name":"Fox","full_name":"Fox, Jacob","first_name":"Jacob"},{"first_name":"János","id":"E62E3130-B088-11EA-B919-BF823C25FEA4","last_name":"Pach","full_name":"Pach, János"},{"first_name":"Andrew","last_name":"Suk","full_name":"Suk, Andrew"}],"external_id":{"arxiv":["1912.02342"]},"intvolume":"        41","day":"20","keyword":["Computational Mathematics","Discrete Mathematics and Combinatorics"],"citation":{"ama":"Fox J, Pach J, Suk A. Bounded VC-dimension implies the Schur-Erdős conjecture. <i>Combinatorica</i>. 2021;41(6):803-813. doi:<a href=\"https://doi.org/10.1007/s00493-021-4530-9\">10.1007/s00493-021-4530-9</a>","short":"J. Fox, J. Pach, A. Suk, Combinatorica 41 (2021) 803–813.","chicago":"Fox, Jacob, János Pach, and Andrew Suk. “Bounded VC-Dimension Implies the Schur-Erdős Conjecture.” <i>Combinatorica</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00493-021-4530-9\">https://doi.org/10.1007/s00493-021-4530-9</a>.","apa":"Fox, J., Pach, J., &#38; Suk, A. (2021). Bounded VC-dimension implies the Schur-Erdős conjecture. <i>Combinatorica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00493-021-4530-9\">https://doi.org/10.1007/s00493-021-4530-9</a>","ista":"Fox J, Pach J, Suk A. 2021. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 41(6), 803–813.","mla":"Fox, Jacob, et al. “Bounded VC-Dimension Implies the Schur-Erdős Conjecture.” <i>Combinatorica</i>, vol. 41, no. 6, Springer Nature, 2021, pp. 803–13, doi:<a href=\"https://doi.org/10.1007/s00493-021-4530-9\">10.1007/s00493-021-4530-9</a>.","ieee":"J. Fox, J. Pach, and A. Suk, “Bounded VC-dimension implies the Schur-Erdős conjecture,” <i>Combinatorica</i>, vol. 41, no. 6. Springer Nature, pp. 803–813, 2021."},"type":"journal_article","article_processing_charge":"No","oa":1,"year":"2021","month":"11","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1912.02342","open_access":"1"}],"_id":"15275","date_published":"2021-11-20T00:00:00Z","quality_controlled":"1","language":[{"iso":"eng"}],"date_updated":"2024-04-09T10:40:08Z","volume":41,"title":"Bounded VC-dimension implies the Schur-Erdős conjecture","status":"public","arxiv":1,"page":"803-813"},{"issue":"3-4","scopus_import":"1","external_id":{"arxiv":["1904.04254"]},"OA_type":"green","author":[{"last_name":"Chen","full_name":"Chen, Xujia","first_name":"Xujia","id":"968ad14a-fd86-11ee-a420-ea29715511a3"},{"first_name":"Aleksey","full_name":"Zinger, Aleksey","last_name":"Zinger"}],"day":"25","OA_place":"repository","intvolume":"       379","article_processing_charge":"No","type":"journal_article","oa":1,"citation":{"ieee":"X. Chen and A. Zinger, “WDVV-type relations for disk Gromov–Witten invariants in dimension 6,” <i>Mathematische Annalen</i>, vol. 379, no. 3–4. Springer Nature, pp. 1231–1313, 2021.","mla":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Disk Gromov–Witten Invariants in Dimension 6.” <i>Mathematische Annalen</i>, vol. 379, no. 3–4, Springer Nature, 2021, pp. 1231–313, doi:<a href=\"https://doi.org/10.1007/s00208-020-02130-1\">10.1007/s00208-020-02130-1</a>.","apa":"Chen, X., &#38; Zinger, A. (2021). WDVV-type relations for disk Gromov–Witten invariants in dimension 6. <i>Mathematische Annalen</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00208-020-02130-1\">https://doi.org/10.1007/s00208-020-02130-1</a>","ista":"Chen X, Zinger A. 2021. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. Mathematische Annalen. 379(3–4), 1231–1313.","chicago":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Disk Gromov–Witten Invariants in Dimension 6.” <i>Mathematische Annalen</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00208-020-02130-1\">https://doi.org/10.1007/s00208-020-02130-1</a>.","short":"X. Chen, A. Zinger, Mathematische Annalen 379 (2021) 1231–1313.","ama":"Chen X, Zinger A. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. <i>Mathematische Annalen</i>. 2021;379(3-4):1231-1313. doi:<a href=\"https://doi.org/10.1007/s00208-020-02130-1\">10.1007/s00208-020-02130-1</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","publisher":"Springer Nature","date_created":"2025-11-10T08:41:40Z","doi":"10.1007/s00208-020-02130-1","extern":"1","publication":"Mathematische Annalen","abstract":[{"lang":"eng","text":"The first author’s previous work established Solomon’s WDVV-type relations for Welschinger’s invariant curve counts in real symplectic fourfolds by lifting geometric relations over possibly unorientable morphisms. We apply her framework to obtain WDVV-style relations for the disk invariants of real symplectic sixfolds with some symmetry, in particular confirming Alcolado’s prediction for P^3 and extending it to other spaces. These relations reduce the computation of Welschinger’s invariants of many real symplectic sixfolds to invariants in small degrees and provide lower bounds for counts of real rational curves with positive-dimensional insertions in some cases. In the case of P^3, our lower bounds fit perfectly with Kollár’s vanishing results."}],"publication_status":"published","oa_version":"Preprint","publication_identifier":{"issn":["0025-5831"],"eissn":["1432-1807"]},"title":"WDVV-type relations for disk Gromov–Witten invariants in dimension 6","volume":379,"status":"public","arxiv":1,"page":"1231-1313","year":"2021","month":"01","_id":"20619","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1904.04254"}],"date_published":"2021-01-25T00:00:00Z","date_updated":"2025-11-10T15:11:29Z","language":[{"iso":"eng"}],"quality_controlled":"1"},{"article_processing_charge":"Yes","type":"journal_article","oa":1,"citation":{"ieee":"H. M. Schmitt <i>et al.</i>, “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” <i>Investigative Ophthalmology and Visual Science</i>, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.","ista":"Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 62(10), 14.","apa":"Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. <i>Investigative Ophthalmology and Visual Science</i>. Association for Research in Vision and Ophthalmology. <a href=\"https://doi.org/10.1167/IOVS.62.10.14\">https://doi.org/10.1167/IOVS.62.10.14</a>","mla":"Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” <i>Investigative Ophthalmology and Visual Science</i>, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:<a href=\"https://doi.org/10.1167/IOVS.62.10.14\">10.1167/IOVS.62.10.14</a>.","chicago":"Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” <i>Investigative Ophthalmology and Visual Science</i>. Association for Research in Vision and Ophthalmology, 2021. <a href=\"https://doi.org/10.1167/IOVS.62.10.14\">https://doi.org/10.1167/IOVS.62.10.14</a>.","short":"H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021).","ama":"Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. <i>Investigative Ophthalmology and Visual Science</i>. 2021;62(10). doi:<a href=\"https://doi.org/10.1167/IOVS.62.10.14\">10.1167/IOVS.62.10.14</a>"},"day":"16","file_date_updated":"2022-05-13T07:40:15Z","intvolume":"        62","article_number":"14","scopus_import":"1","isi":1,"external_id":{"isi":["000695230000014"],"pmid":["34398198"]},"author":[{"first_name":"Heather M.","last_name":"Schmitt","full_name":"Schmitt, Heather M."},{"first_name":"Rachel L.","last_name":"Fehrman","full_name":"Fehrman, Rachel L."},{"full_name":"Maes, Margaret E","last_name":"Maes","id":"3838F452-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9642-1085","first_name":"Margaret E"},{"first_name":"Huan","last_name":"Yang","full_name":"Yang, Huan"},{"last_name":"Guo","full_name":"Guo, Lian Wang","first_name":"Lian Wang"},{"first_name":"Cassandra L.","full_name":"Schlamp, Cassandra L.","last_name":"Schlamp"},{"first_name":"Heather R.","last_name":"Pelzel","full_name":"Pelzel, Heather R."},{"last_name":"Nickells","full_name":"Nickells, Robert W.","first_name":"Robert W."}],"issue":"10","department":[{"_id":"SaSi"}],"acknowledgement":"The authors thank Joel Dietz for maintaining the mice used in this study, Satoshi Kinoshita and the Translational Research Initiative in Pathology Laboratory at the University of Wisconsin-Madison for cutting retinal sections analyzed in this study, and Mark Banghart for statistical review of the data analysis. Supported by National Eye Institute Grants R01 EY012223 (RWN), R01 EY030123 (RWN), R01 EY029809 (LWG), R01 EY029809 (LWG) and a Vision Research CORE grant P30 EY016665, NRSA grant T32 GM081061, by an unrestricted research grant from Research to Prevent Blindness, Inc., and by a University of Wisconsin-Madison Vilas Life Cycle award and the Frederick A. Davis Research Chair (RWN). ","publication_identifier":{"issn":["0146-0404"],"eissn":["1552-5783"]},"pmid":1,"oa_version":"Published Version","doi":"10.1167/IOVS.62.10.14","file":[{"checksum":"c430967746f653aa1ae84ee617f62b73","file_name":"2021_IOVS_Schmitt.pdf","success":1,"date_updated":"2022-05-13T07:40:15Z","creator":"dernst","file_id":"11369","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_size":19707796,"date_created":"2022-05-13T07:40:15Z"}],"publication":"Investigative Ophthalmology and Visual Science","abstract":[{"lang":"eng","text":"Inhibition or targeted deletion of histone deacetylase 3 (HDAC3) is neuroprotective in a variety neurodegenerative conditions, including retinal ganglion cells (RGCs) after acute optic nerve damage. Consistent with this, induced HDAC3 expression in cultured cells shows selective toxicity to neurons. Despite an established role for HDAC3 in neuronal pathology, little is known regarding the mechanism of this pathology."}],"publication_status":"published","article_type":"original","publisher":"Association for Research in Vision and Ophthalmology","date_created":"2021-09-12T22:01:23Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","status":"public","title":"Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression","volume":62,"date_updated":"2023-08-14T06:35:17Z","language":[{"iso":"eng"}],"quality_controlled":"1","_id":"10000","date_published":"2021-08-16T00:00:00Z","month":"08","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"has_accepted_license":"1","year":"2021","ddc":["570"]},{"keyword":["Computer science","Computational modeling","Markov processes","Probabilistic logic","Formal verification","Game Theory"],"day":"07","oa":1,"article_processing_charge":"No","type":"conference","citation":{"chicago":"Chatterjee, Krishnendu, Wolfgang Dvorak, Monika Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">https://doi.org/10.1109/LICS52264.2021.9470739</a>.","ama":"Chatterjee K, Dvorak W, Henzinger M, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">10.1109/LICS52264.2021.9470739</a>","short":"K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","ieee":"K. Chatterjee, W. Dvorak, M. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13.","apa":"Chatterjee, K., Dvorak, W., Henzinger, M., &#38; Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">https://doi.org/10.1109/LICS52264.2021.9470739</a>","ista":"Chatterjee K, Dvorak W, Henzinger M, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13.","mla":"Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">10.1109/LICS52264.2021.9470739</a>."},"department":[{"_id":"KrCh"}],"acknowledgement":"The authors are grateful to the anonymous referees for their valuable comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For M. H. the research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007–2013) / ERC Grant Agreement no. 340506.","project":[{"name":"Game Theory","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"ec_funded":1,"isi":1,"external_id":{"isi":["000947350400089"],"arxiv":["2104.07466"]},"scopus_import":"1","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"last_name":"Dvorak","full_name":"Dvorak, Wolfgang","first_name":"Wolfgang"},{"last_name":"Henzinger","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"full_name":"Svozil, Alexander","last_name":"Svozil","first_name":"Alexander"}],"doi":"10.1109/LICS52264.2021.9470739","publication_status":"published","abstract":[{"lang":"eng","text":"We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with  n  vertices and  m  edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires  O(n2)  symbolic operations and  O(1)  symbolic space. The only other symbolic algorithm for the MEC decomposition requires  O(nm−−√)  symbolic operations and  O(m−−√)  symbolic space. A main open question is whether the worst-case  O(n2)  bound for symbolic operations can be beaten. We present a symbolic algorithm that requires  O˜(n1.5)  symbolic operations and  O˜(n−−√)  symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all  0<ϵ≤1/2  the symbolic algorithm requires  O˜(n2−ϵ)  symbolic operations and  O˜(nϵ)  symbolic space ( O˜  hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of  ω -regular objectives for MDPs. We consider the canonical parity objectives for  ω -regular objectives, and for parity objectives with  d -priorities we present an algorithm that computes the almost-sure winning region with  O˜(n2−ϵ)  symbolic operations and  O˜(nϵ)  symbolic space, for all  0<ϵ≤1/2 ."}],"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","publication_identifier":{"eisbn":["978-1-6654-4895-6"],"isbn":["978-1-6654-4896-3"],"issn":["1043-6871"]},"oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Institute of Electrical and Electronics Engineers","date_created":"2021-09-12T22:01:24Z","status":"public","page":"1-13","arxiv":1,"title":"Symbolic time and space tradeoffs for probabilistic verification","date_published":"2021-07-07T00:00:00Z","_id":"10002","main_file_link":[{"url":"https://arxiv.org/abs/2104.07466","open_access":"1"}],"language":[{"iso":"eng"}],"date_updated":"2025-07-10T11:15:45Z","quality_controlled":"1","conference":{"location":"Rome, Italy","name":"LICS: Logic in Computer Science","start_date":"2021-06-29","end_date":"2021-07-02"},"year":"2021","month":"07"},{"oa":1,"article_processing_charge":"No","type":"conference","citation":{"ama":"Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>.","apa":"Chatterjee, K., &#38; Doyen, L. (2021). Stochastic processes with expected stopping time. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>","ista":"Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>.","ieee":"K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13."},"keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"day":"07","external_id":{"isi":["000947350400036"],"arxiv":["2104.07278"]},"isi":1,"scopus_import":"1","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"last_name":"Doyen","full_name":"Doyen, Laurent","first_name":"Laurent"}],"department":[{"_id":"KrCh"}],"acknowledgement":"We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt).","project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"}],"ec_funded":1,"oa_version":"Preprint","publication_identifier":{"issn":["1043-6871"],"isbn":["978-1-6654-4896-3"],"eisbn":["978-1-6654-4895-6"]},"doi":"10.1109/LICS52264.2021.9470595","publication_status":"published","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","abstract":[{"text":"Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs.","lang":"eng"}],"publisher":"Institute of Electrical and Electronics Engineers","date_created":"2021-09-12T22:01:25Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"1-13","arxiv":1,"status":"public","title":"Stochastic processes with expected stopping time","language":[{"iso":"eng"}],"date_updated":"2025-09-08T14:54:13Z","quality_controlled":"1","date_published":"2021-07-07T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07278"}],"_id":"10004","related_material":{"record":[{"status":"public","id":"18630","relation":"later_version"}]},"month":"07","conference":{"location":"Rome, Italy","start_date":"2021-06-29","name":"LICS: Logic in Computer Science","end_date":"2021-07-02"},"year":"2021"},{"type":"dissertation","article_processing_charge":"No","oa":1,"citation":{"chicago":"Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10007\">https://doi.org/10.15479/at:ista:10007</a>.","ama":"Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10007\">10.15479/at:ista:10007</a>","short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.","ieee":"S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.","apa":"Hensel, S. (2021). <i>Curvature driven interface evolution: Uniqueness properties of weak solution concepts</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10007\">https://doi.org/10.15479/at:ista:10007</a>","ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.","mla":"Hensel, Sebastian. <i>Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10007\">10.15479/at:ista:10007</a>."},"day":"14","OA_place":"publisher","file_date_updated":"2021-09-15T14:37:30Z","author":[{"id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian","orcid":"0000-0001-7252-8072","full_name":"Hensel, Sebastian","last_name":"Hensel"}],"project":[{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program"},{"call_identifier":"H2020","grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"department":[{"_id":"GradSch"},{"_id":"JuFi"}],"ec_funded":1,"oa_version":"Published Version","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","doi":"10.15479/at:ista:10007","abstract":[{"text":"The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis.","lang":"eng"}],"file":[{"file_size":15022154,"date_created":"2021-09-13T11:03:24Z","content_type":"application/x-zip-compressed","relation":"source_file","access_level":"closed","checksum":"c8475faaf0b680b4971f638f1db16347","file_name":"thesis_final_Hensel.zip","creator":"shensel","file_id":"10008","date_updated":"2021-09-15T14:37:30Z"},{"content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_size":6583638,"date_created":"2021-09-13T14:18:56Z","checksum":"1a609937aa5275452822f45f2da17f07","file_name":"thesis_final_Hensel.pdf","date_updated":"2021-09-14T09:52:47Z","creator":"shensel","file_id":"10014"}],"publication_status":"published","publisher":"Institute of Science and Technology Austria","date_created":"2021-09-13T11:12:34Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","supervisor":[{"full_name":"Fischer, Julian L","last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0479-558X","first_name":"Julian L"}],"corr_author":"1","page":"300","status":"public","title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts","date_updated":"2026-04-08T07:01:01Z","language":[{"iso":"eng"}],"alternative_title":["ISTA Thesis"],"_id":"10007","date_published":"2021-09-14T00:00:00Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"10012","status":"public"},{"status":"public","id":"10013","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"7489","status":"public"}]},"month":"09","has_accepted_license":"1","year":"2021","ddc":["515"]},{"title":"Discrete-to-continuum limits of transport problems and gradient flows in the space of measures","corr_author":"1","supervisor":[{"id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","orcid":"0000-0002-0845-1338","full_name":"Maas, Jan","last_name":"Maas"}],"status":"public","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"month":"09","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"has_accepted_license":"1","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"9792"},{"relation":"part_of_dissertation","id":"10022","status":"public"},{"status":"public","id":"7573","relation":"part_of_dissertation"}]},"year":"2021","ddc":["515"],"language":[{"iso":"eng"}],"date_updated":"2026-04-08T07:00:04Z","_id":"10030","date_published":"2021-09-22T00:00:00Z","alternative_title":["ISTA Thesis"],"author":[{"full_name":"Portinale, Lorenzo","last_name":"Portinale","first_name":"Lorenzo","id":"30AD2CBC-F248-11E8-B48F-1D18A9856A87"}],"project":[{"_id":"260788DE-B435-11E9-9278-68D0E5697425","name":"Dissipation and dispersion in nonlinear partial differential equations","grant_number":"W1245","call_identifier":"FWF"},{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems"}],"department":[{"_id":"GradSch"},{"_id":"JaMa"}],"acknowledgement":"The author gratefully acknowledges support by the Austrian Science Fund (FWF), grants No W1245.","citation":{"ieee":"L. Portinale, “Discrete-to-continuum limits of transport problems and gradient flows in the space of measures,” Institute of Science and Technology Austria, 2021.","apa":"Portinale, L. (2021). <i>Discrete-to-continuum limits of transport problems and gradient flows in the space of measures</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10030\">https://doi.org/10.15479/at:ista:10030</a>","ista":"Portinale L. 2021. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria.","mla":"Portinale, Lorenzo. <i>Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10030\">10.15479/at:ista:10030</a>.","chicago":"Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10030\">https://doi.org/10.15479/at:ista:10030</a>.","ama":"Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10030\">10.15479/at:ista:10030</a>","short":"L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021."},"type":"dissertation","article_processing_charge":"No","oa":1,"day":"22","file_date_updated":"2022-03-10T12:14:42Z","OA_place":"publisher","date_created":"2021-09-21T09:14:15Z","publisher":"Institute of Science and Technology Austria","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_identifier":{"issn":["2663-337X"]},"oa_version":"Published Version","file":[{"file_id":"10032","creator":"cchlebak","date_updated":"2022-03-10T12:14:42Z","file_name":"tex_and_pictures.zip","checksum":"8cd60dcb8762e8f21867e21e8001e183","date_created":"2021-09-21T09:17:34Z","file_size":3876668,"access_level":"closed","relation":"source_file","content_type":"application/x-zip-compressed"},{"file_size":2532673,"date_created":"2021-09-27T11:14:31Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"9789e9d967c853c1503ec7f307170279","file_name":"thesis_portinale_Final (1).pdf","creator":"cchlebak","file_id":"10047","date_updated":"2021-09-27T11:14:31Z"}],"abstract":[{"lang":"eng","text":"This PhD thesis is primarily focused on the study of discrete transport problems, introduced for the first time in the seminal works of Maas [Maa11] and Mielke [Mie11] on finite state Markov chains and reaction-diffusion equations, respectively. More in detail, my research focuses on the study of transport costs on graphs, in particular the convergence and the stability of such problems in the discrete-to-continuum limit. This thesis also includes some results concerning\r\nnon-commutative optimal transport. The first chapter of this thesis consists of a general introduction to the optimal transport problems, both in the discrete, the continuous, and the non-commutative setting. Chapters 2 and 3 present the content of two works, obtained in collaboration with Peter Gladbach, Eva Kopfer, and Jan Maas, where we have been able to show the convergence of discrete transport costs on periodic graphs to suitable continuous ones, which can be described by means of a homogenisation result. We first focus on the particular case of quadratic costs on the real line and then extending the result to more general costs in arbitrary dimension. Our results are the first complete characterisation of limits of transport costs on periodic graphs in arbitrary dimension which do not rely on any additional symmetry. In Chapter 4 we turn our attention to one of the intriguing connection between evolution equations and optimal transport, represented by the theory of gradient flows. We show that discrete gradient flow structures associated to a finite volume approximation of a certain class of diffusive equations (Fokker–Planck) is stable in the limit of vanishing meshes, reproving the convergence of the scheme via the method of evolutionary Γ-convergence and exploiting a more variational point of view on the problem. This is based on a collaboration with Dominik Forkert and Jan Maas. Chapter 5 represents a change of perspective, moving away from the discrete world and reaching the non-commutative one. As in the discrete case, we discuss how classical tools coming from the commutative optimal transport can be translated into the setting of density matrices. In particular, in this final chapter we present a non-commutative version of the Schrödinger problem (or entropic regularised optimal transport problem) and discuss existence and characterisation of minimisers, a duality result, and present a non-commutative version of the well-known Sinkhorn algorithm to compute the above mentioned optimisers. This is based on a joint work with Dario Feliciangeli and Augusto Gerolin. Finally, Appendix A and B contain some additional material and discussions, with particular attention to Harnack inequalities and the regularity of flows on discrete spaces."}],"publication_status":"published","degree_awarded":"PhD","doi":"10.15479/at:ista:10030"},{"publication_identifier":{"eissn":["1090-2082"],"issn":["0001-8708"]},"oa_version":"Published Version","file":[{"checksum":"f3c0086d41af11db31c00014efb38072","file_name":"1-s2.0-S000187082100431X-main.pdf","creator":"qho","file_id":"10034","date_updated":"2021-09-21T15:58:52Z","file_size":840635,"date_created":"2021-09-21T15:58:52Z","relation":"main_file","content_type":"application/pdf","access_level":"open_access"}],"publication":"Advances in Mathematics","abstract":[{"text":"The ⊗*-monoidal structure on the category of sheaves on the Ran space is not pro-nilpotent in the sense of [3]. However, under some connectivity assumptions, we prove that Koszul duality induces an equivalence of categories and that this equivalence behaves nicely with respect to Verdier duality on the Ran space and integrating along the Ran space, i.e. taking factorization homology. Based on ideas sketched in [4], we show that these results also offer a simpler alternative to one of the two main steps in the proof of the Atiyah-Bott formula given in [7] and [5].","lang":"eng"}],"publication_status":"published","doi":"10.1016/j.aim.2021.107992","date_created":"2021-09-21T15:58:59Z","publisher":"Elsevier","article_type":"original","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"chicago":"Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” <i>Advances in Mathematics</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.aim.2021.107992\">https://doi.org/10.1016/j.aim.2021.107992</a>.","short":"Q.P. Ho, Advances in Mathematics 392 (2021).","ama":"Ho QP. The Atiyah-Bott formula and connectivity in chiral Koszul duality. <i>Advances in Mathematics</i>. 2021;392. doi:<a href=\"https://doi.org/10.1016/j.aim.2021.107992\">10.1016/j.aim.2021.107992</a>","ieee":"Q. P. Ho, “The Atiyah-Bott formula and connectivity in chiral Koszul duality,” <i>Advances in Mathematics</i>, vol. 392. Elsevier, 2021.","apa":"Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. <i>Advances in Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.aim.2021.107992\">https://doi.org/10.1016/j.aim.2021.107992</a>","ista":"Ho QP. 2021. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 392, 107992.","mla":"Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” <i>Advances in Mathematics</i>, vol. 392, 107992, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.aim.2021.107992\">10.1016/j.aim.2021.107992</a>."},"article_processing_charge":"Yes (via OA deal)","type":"journal_article","oa":1,"intvolume":"       392","day":"21","keyword":["Chiral algebras","Chiral homology","Factorization algebras","Koszul duality","Ran space"],"file_date_updated":"2021-09-21T15:58:52Z","author":[{"id":"3DD82E3C-F248-11E8-B48F-1D18A9856A87","first_name":"Quoc P","orcid":"0000-0001-6889-1418","last_name":"Ho","full_name":"Ho, Quoc P"}],"article_number":"107992","scopus_import":"1","external_id":{"arxiv":["1610.00212"],"isi":["000707040300031"]},"isi":1,"project":[{"call_identifier":"FWF","_id":"26B96266-B435-11E9-9278-68D0E5697425","grant_number":"M02751","name":"Algebro-Geometric Applications of Factorization Homology"}],"acknowledgement":"The author would like to express his gratitude to D. Gaitsgory, without whose tireless guidance and encouragement in pursuing this problem, this work would not have been possible. The author is grateful to his advisor B.C. Ngô for many years of patient guidance and support. This paper is revised while the author is a postdoc in Hausel group at IST Austria. We thank him and the group for providing a wonderful research environment. The author also gratefully acknowledges the support of the Lise Meitner fellowship “Algebro-Geometric Applications of Factorization Homology,” Austrian Science Fund (FWF): M 2751.","department":[{"_id":"TaHa"}],"quality_controlled":"1","date_updated":"2025-04-14T09:09:35Z","language":[{"iso":"eng"}],"_id":"10033","date_published":"2021-09-21T00:00:00Z","month":"09","has_accepted_license":"1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"ddc":["514"],"year":"2021","corr_author":"1","arxiv":1,"status":"public","volume":392,"title":"The Atiyah-Bott formula and connectivity in chiral Koszul duality"},{"intvolume":"     12826","day":"11","citation":{"chicago":"Kamath Hosdurg, Chethan, Karen Klein, Krzysztof Z Pietrzak, and Daniel Wichs. “Limits on the Adaptive Security of Yao’s Garbling.” In <i>41st Annual International Cryptology Conference, Part II </i>, 12826:486–515. Cham: Springer Nature, 2021. <a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">https://doi.org/10.1007/978-3-030-84245-1_17</a>.","ama":"Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. Limits on the Adaptive Security of Yao’s Garbling. In: <i>41st Annual International Cryptology Conference, Part II </i>. Vol 12826. Cham: Springer Nature; 2021:486-515. doi:<a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">10.1007/978-3-030-84245-1_17</a>","short":"C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.","ieee":"C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and D. Wichs, “Limits on the Adaptive Security of Yao’s Garbling,” in <i>41st Annual International Cryptology Conference, Part II </i>, Virtual, 2021, vol. 12826, pp. 486–515.","ista":"Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. 2021. Limits on the Adaptive Security of Yao’s Garbling. 41st Annual International Cryptology Conference, Part II . CRYPTO: Annual International Cryptology Conference, LCNS, vol. 12826, 486–515.","apa":"Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., &#38; Wichs, D. (2021). Limits on the Adaptive Security of Yao’s Garbling. In <i>41st Annual International Cryptology Conference, Part II </i> (Vol. 12826, pp. 486–515). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">https://doi.org/10.1007/978-3-030-84245-1_17</a>","mla":"Kamath Hosdurg, Chethan, et al. “Limits on the Adaptive Security of Yao’s Garbling.” <i>41st Annual International Cryptology Conference, Part II </i>, vol. 12826, Springer Nature, 2021, pp. 486–515, doi:<a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">10.1007/978-3-030-84245-1_17</a>."},"article_processing_charge":"No","type":"conference","oa":1,"ec_funded":1,"project":[{"grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020"}],"acknowledgement":"We would like to thank the anonymous reviewers of Crypto’21 whose detailed comments helped us considerably improve the presentation of the paper.","department":[{"_id":"KrPi"}],"author":[{"last_name":"Kamath Hosdurg","full_name":"Kamath Hosdurg, Chethan","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","orcid":"0009-0006-6812-7317","first_name":"Chethan"},{"id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87","first_name":"Karen","full_name":"Klein, Karen","last_name":"Klein"},{"full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z"},{"last_name":"Wichs","full_name":"Wichs, Daniel","first_name":"Daniel"}],"scopus_import":"1","isi":1,"external_id":{"isi":["000696697800017"]},"publication":"41st Annual International Cryptology Conference, Part II ","abstract":[{"text":"Yao’s garbling scheme is one of the most fundamental cryptographic constructions. Lindell and Pinkas (Journal of Cryptograhy 2009) gave a formal proof of security in the selective setting where the adversary chooses the challenge inputs before seeing the garbled circuit assuming secure symmetric-key encryption (and hence one-way functions). This was followed by results, both positive and negative, concerning its security in the, stronger, adaptive setting. Applebaum et al. (Crypto 2013) showed that it cannot satisfy adaptive security as is, due to a simple incompressibility argument. Jafargholi and Wichs (TCC 2017) considered a natural adaptation of Yao’s scheme (where the output mapping is sent in the online phase, together with the garbled input) that circumvents this negative result, and proved that it is adaptively secure, at least for shallow circuits. In particular, they showed that for the class of circuits of depth   δ , the loss in security is at most exponential in   δ . The above results all concern the simulation-based notion of security. In this work, we show that the upper bound of Jafargholi and Wichs is basically optimal in a strong sense. As our main result, we show that there exists a family of Boolean circuits, one for each depth  δ∈N , such that any black-box reduction proving the adaptive indistinguishability of the natural adaptation of Yao’s scheme from any symmetric-key encryption has to lose a factor that is exponential in   δ√ . Since indistinguishability is a weaker notion than simulation, our bound also applies to adaptive simulation. To establish our results, we build on the recent approach of Kamath et al. (Eprint 2021), which uses pebbling lower bounds in conjunction with oracle separations to prove fine-grained lower bounds on loss in cryptographic security.","lang":"eng"}],"publication_status":"published","doi":"10.1007/978-3-030-84245-1_17","publication_identifier":{"isbn":["978-3-030-84244-4"],"eisbn":["978-3-030-84245-1"],"eissn":["1611-3349"],"issn":["0302-9743"]},"oa_version":"Preprint","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","place":"Cham","date_created":"2021-09-23T14:06:15Z","publisher":"Springer Nature","status":"public","page":"486-515","volume":12826,"title":"Limits on the Adaptive Security of Yao’s Garbling","_id":"10041","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2021/945"}],"date_published":"2021-08-11T00:00:00Z","alternative_title":["LCNS"],"quality_controlled":"1","language":[{"iso":"eng"}],"date_updated":"2026-04-08T07:01:43Z","year":"2021","conference":{"start_date":"2021-08-16","name":"CRYPTO: Annual International Cryptology Conference","end_date":"2021-08-20","location":"Virtual"},"month":"08","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"10035"}]}},{"project":[{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"}],"acknowledgement":"Ismaël Jecker: Marie Skłodowska-Curie Grant Agreement No. 754411. Nicolas Mazzocchi: BOSCO project PGC2018-102210-B-I00 (MCIU/AEI/FEDER, UE), BLOQUESCM project S2018/TCS-4339, and MINECO grant RYC-2016-20281.\r\nPetra Wolf : DFG project FE 560/9-1.\r\n","department":[{"_id":"KrCh"}],"ec_funded":1,"scopus_import":"1","article_number":"18","external_id":{"arxiv":["2107.04683"]},"author":[{"last_name":"Jecker","full_name":"Jecker, Ismael R","first_name":"Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425"},{"first_name":"Nicolas","last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas"},{"first_name":"Petra","full_name":"Wolf, Petra","last_name":"Wolf"}],"day":"13","file_date_updated":"2021-10-01T11:10:53Z","intvolume":"       203","article_processing_charge":"No","type":"conference","oa":1,"citation":{"mla":"Jecker, Ismael R., et al. “Decomposing Permutation Automata.” <i>32nd International Conference on Concurrency Theory</i>, vol. 203, 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">10.4230/LIPIcs.CONCUR.2021.18</a>.","ista":"Jecker IR, Mazzocchi N, Wolf P. 2021. Decomposing permutation automata. 32nd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 203, 18.","apa":"Jecker, I. R., Mazzocchi, N., &#38; Wolf, P. (2021). Decomposing permutation automata. In <i>32nd International Conference on Concurrency Theory</i> (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">https://doi.org/10.4230/LIPIcs.CONCUR.2021.18</a>","ieee":"I. R. Jecker, N. Mazzocchi, and P. Wolf, “Decomposing permutation automata,” in <i>32nd International Conference on Concurrency Theory</i>, Paris, France, 2021, vol. 203.","short":"I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","ama":"Jecker IR, Mazzocchi N, Wolf P. Decomposing permutation automata. In: <i>32nd International Conference on Concurrency Theory</i>. Vol 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">10.4230/LIPIcs.CONCUR.2021.18</a>","chicago":"Jecker, Ismael R, Nicolas Mazzocchi, and Petra Wolf. “Decomposing Permutation Automata.” In <i>32nd International Conference on Concurrency Theory</i>, Vol. 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">https://doi.org/10.4230/LIPIcs.CONCUR.2021.18</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_created":"2021-09-27T14:33:14Z","doi":"10.4230/LIPIcs.CONCUR.2021.18","file":[{"file_size":1003552,"date_created":"2021-10-01T11:10:53Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"4722c81be82265cf45e78adf9db91250","file_name":"2021_CONCUR_Jecker.pdf","success":1,"creator":"cchlebak","file_id":"10064","date_updated":"2021-10-01T11:10:53Z"}],"publication":"32nd International Conference on Concurrency Theory","abstract":[{"text":"A deterministic finite automaton (DFA) 𝒜 is composite if its language L(𝒜) can be decomposed into an intersection ⋂_{i = 1}^k L(𝒜_i) of languages of smaller DFAs. Otherwise, 𝒜 is prime. This notion of primality was introduced by Kupferman and Mosheiff in 2013, and while they proved that we can decide whether a DFA is composite, the precise complexity of this problem is still open, with a doubly-exponential gap between the upper and lower bounds. In this work, we focus on permutation DFAs, i.e., those for which the transition monoid is a group. We provide an NP algorithm to decide whether a permutation DFA is composite, and show that the difficulty of this problem comes from the number of non-accepting states of the instance: we give a fixed-parameter tractable algorithm with the number of rejecting states as the parameter. Moreover, we investigate the class of commutative permutation DFAs. Their structural properties allow us to decide compositionality in NL, and even in LOGSPACE if the alphabet size is fixed. Despite this low complexity, we show that complex behaviors still arise in this class: we provide a family of composite DFAs each requiring polynomially many factors with respect to its size. We also consider the variant of the problem that asks whether a DFA is k-factor composite, that is, decomposable into k smaller DFAs, for some given integer k ∈ ℕ. We show that, for commutative permutation DFAs, restricting the number of factors makes the decision computationally harder, and yields a problem with tight bounds: it is NP-complete. Finally, we show that in general, this problem is in PSPACE, and it is in LOGSPACE for DFAs with a singleton alphabet.","lang":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["978-3-9597-7203-7"],"issn":["1868-8969"]},"oa_version":"Published Version","title":"Decomposing permutation automata","volume":203,"status":"public","arxiv":1,"year":"2021","ddc":["000"],"conference":{"location":"Paris, France","end_date":"2021-08-27","start_date":"2021-08-23","name":"CONCUR: Conference on Concurrency Theory"},"month":"08","has_accepted_license":"1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"alternative_title":["LIPIcs"],"_id":"10052","date_published":"2021-08-13T00:00:00Z","language":[{"iso":"eng"}],"date_updated":"2025-05-14T10:55:28Z","quality_controlled":"1"},{"ec_funded":1,"department":[{"_id":"KrCh"}],"acknowledgement":"Krishnendu Chatterjee: Supported by the ERC CoG 863818 (ForM-SMArt). Monika Henzinger: Supported by the Austrian Science Fund (FWF) and netIDEE SCIENCE project P 33775-N. Sagar Sudhir Kale: Partially supported by the Vienna Science and Technology Fund (WWTF) through project ICT15-003. Alexander Svozil: Fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15-003.","project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"last_name":"Henzinger","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"first_name":"Sagar Sudhir","last_name":"Kale","full_name":"Kale, Sagar Sudhir"},{"first_name":"Alexander","full_name":"Svozil, Alexander","last_name":"Svozil"}],"article_number":"124","scopus_import":"1","intvolume":"       198","file_date_updated":"2021-10-01T08:49:26Z","day":"02","citation":{"ieee":"K. Chatterjee, M. Henzinger, S. S. Kale, and A. Svozil, “Faster algorithms for bounded liveness in graphs and game graphs,” in <i>48th International Colloquium on Automata, Languages, and Programming</i>, Glasgow, Scotland, 2021, vol. 198.","mla":"Chatterjee, Krishnendu, et al. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” <i>48th International Colloquium on Automata, Languages, and Programming</i>, vol. 198, 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">10.4230/LIPIcs.ICALP.2021.124</a>.","ista":"Chatterjee K, Henzinger M, Kale SS, Svozil A. 2021. Faster algorithms for bounded liveness in graphs and game graphs. 48th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 198, 124.","apa":"Chatterjee, K., Henzinger, M., Kale, S. S., &#38; Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In <i>48th International Colloquium on Automata, Languages, and Programming</i> (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">https://doi.org/10.4230/LIPIcs.ICALP.2021.124</a>","chicago":"Chatterjee, Krishnendu, Monika Henzinger, Sagar Sudhir Kale, and Alexander Svozil. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” In <i>48th International Colloquium on Automata, Languages, and Programming</i>, Vol. 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">https://doi.org/10.4230/LIPIcs.ICALP.2021.124</a>.","short":"K. Chatterjee, M. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","ama":"Chatterjee K, Henzinger M, Kale SS, Svozil A. Faster algorithms for bounded liveness in graphs and game graphs. In: <i>48th International Colloquium on Automata, Languages, and Programming</i>. Vol 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">10.4230/LIPIcs.ICALP.2021.124</a>"},"oa":1,"type":"conference","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2021-09-27T14:33:15Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","abstract":[{"text":"Graphs and games on graphs are fundamental models for the analysis of reactive systems, in particular, for model-checking and the synthesis of reactive systems. The class of ω-regular languages provides a robust specification formalism for the desired properties of reactive systems. In the classical infinitary formulation of the liveness part of an ω-regular specification, a \"good\" event must happen eventually without any bound between the good events. A stronger notion of liveness is bounded liveness, which requires that good events happen within d transitions. Given a graph or a game graph with n vertices, m edges, and a bounded liveness objective, the previous best-known algorithmic bounds are as follows: (i) O(dm) for graphs, which in the worst-case is O(n³); and (ii) O(n² d²) for games on graphs. Our main contributions improve these long-standing algorithmic bounds. For graphs we present: (i) a randomized algorithm with one-sided error with running time O(n^{2.5} log n) for the bounded liveness objectives; and (ii) a deterministic linear-time algorithm for the complement of bounded liveness objectives. For games on graphs, we present an O(n² d) time algorithm for the bounded liveness objectives.","lang":"eng"}],"file":[{"access_level":"open_access","relation":"main_file","content_type":"application/pdf","date_created":"2021-10-01T08:49:26Z","file_size":854576,"date_updated":"2021-10-01T08:49:26Z","file_id":"10062","creator":"cchlebak","file_name":"2021_LIPIcs_Chatterjee.pdf","success":1,"checksum":"5a3fed8dbba8c088cbeac1e24cc10bc5"}],"publication":"48th International Colloquium on Automata, Languages, and Programming","doi":"10.4230/LIPIcs.ICALP.2021.124","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-195-5"]},"oa_version":"Published Version","volume":198,"title":"Faster algorithms for bounded liveness in graphs and game graphs","status":"public","corr_author":"1","conference":{"name":"ICALP: Automata, Languages and Programming","start_date":"2021-07-12","end_date":"2021-07-16","location":"Glasgow, Scotland"},"year":"2021","ddc":["000"],"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"has_accepted_license":"1","month":"07","date_published":"2021-07-02T00:00:00Z","_id":"10054","alternative_title":["LIPIcs"],"quality_controlled":"1","language":[{"iso":"eng"}],"date_updated":"2025-05-14T10:55:19Z"},{"file_date_updated":"2021-10-01T09:55:00Z","day":"10","intvolume":"       187","oa":1,"type":"conference","article_processing_charge":"No","citation":{"mla":"Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.” <i>38th International Symposium on Theoretical Aspects of Computer Science</i>, vol. 187, 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">10.4230/LIPIcs.STACS.2021.44</a>.","apa":"Jecker, I. R. (2021). A Ramsey theorem for finite monoids. In <i>38th International Symposium on Theoretical Aspects of Computer Science</i> (Vol. 187). Saarbrücken, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">https://doi.org/10.4230/LIPIcs.STACS.2021.44</a>","ista":"Jecker IR. 2021. A Ramsey theorem for finite monoids. 38th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 187, 44.","ieee":"I. R. Jecker, “A Ramsey theorem for finite monoids,” in <i>38th International Symposium on Theoretical Aspects of Computer Science</i>, Saarbrücken, Germany, 2021, vol. 187.","ama":"Jecker IR. A Ramsey theorem for finite monoids. In: <i>38th International Symposium on Theoretical Aspects of Computer Science</i>. Vol 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">10.4230/LIPIcs.STACS.2021.44</a>","short":"I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","chicago":"Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.” In <i>38th International Symposium on Theoretical Aspects of Computer Science</i>, Vol. 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">https://doi.org/10.4230/LIPIcs.STACS.2021.44</a>."},"acknowledgement":"This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411. I wish to thank Michaël Cadilhac, Emmanuel Filiot and Charles Paperman for their valuable insights concerning Green’s relations.","department":[{"_id":"KrCh"}],"project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411"}],"ec_funded":1,"external_id":{"isi":["000635691700044"]},"isi":1,"scopus_import":"1","article_number":"44","author":[{"full_name":"Jecker, Ismael R","last_name":"Jecker","first_name":"Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425"}],"doi":"10.4230/LIPIcs.STACS.2021.44","publication_status":"published","publication":"38th International Symposium on Theoretical Aspects of Computer Science","abstract":[{"lang":"eng","text":"Repeated idempotent elements are commonly used to characterise iterable behaviours in abstract models of computation. Therefore, given a monoid M, it is natural to ask how long a sequence of elements of M needs to be to ensure the presence of consecutive idempotent factors. This question is formalised through the notion of the Ramsey function R_M associated to M, obtained by mapping every k ∈ ℕ to the minimal integer R_M(k) such that every word u ∈ M^* of length R_M(k) contains k consecutive non-empty factors that correspond to the same idempotent element of M. In this work, we study the behaviour of the Ramsey function R_M by investigating the regular 𝒟-length of M, defined as the largest size L(M) of a submonoid of M isomorphic to the set of natural numbers {1,2, …, L(M)} equipped with the max operation. We show that the regular 𝒟-length of M determines the degree of R_M, by proving that k^L(M) ≤ R_M(k) ≤ (k|M|⁴)^L(M). To allow applications of this result, we provide the value of the regular 𝒟-length of diverse monoids. In particular, we prove that the full monoid of n × n Boolean matrices, which is used to express transition monoids of non-deterministic automata, has a regular 𝒟-length of (n²+n+2)/2."}],"file":[{"date_created":"2021-10-01T09:55:00Z","file_size":720250,"access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_id":"10063","creator":"cchlebak","date_updated":"2021-10-01T09:55:00Z","file_name":"2021_LIPIcs_Jecker.pdf","success":1,"checksum":"17432a05733f408de300e17e390a90e4"}],"publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-9597-7180-1"]},"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_created":"2021-09-27T14:33:15Z","status":"public","title":"A Ramsey theorem for finite monoids","volume":187,"alternative_title":["LIPIcs"],"date_published":"2021-03-10T00:00:00Z","_id":"10055","date_updated":"2025-05-14T10:55:11Z","language":[{"iso":"eng"}],"quality_controlled":"1","conference":{"start_date":"2021-03-16","name":"STACS: Symposium on Theoretical Aspects of Computer Science","end_date":"2021-03-19","location":"Saarbrücken, Germany"},"ddc":["000"],"year":"2021","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"has_accepted_license":"1","month":"03"},{"date_created":"2021-10-03T22:01:21Z","article_type":"original","publisher":"Springer Nature","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","pmid":1,"publication_identifier":{"eissn":["2045-2322"]},"oa_version":"Published Version","file":[{"date_updated":"2021-10-05T14:56:48Z","file_id":"10091","creator":"cchlebak","file_name":"2021_ScientificReports_Robinson.pdf","success":1,"checksum":"f002ec22f609f58e1263b79e7f79601e","access_level":"open_access","content_type":"application/pdf","relation":"main_file","date_created":"2021-10-05T14:56:48Z","file_size":6970368}],"abstract":[{"lang":"eng","text":"The extent to which women differ in the course of blood cell counts throughout pregnancy, and the importance of these changes to pregnancy outcomes has not been well defined. Here, we develop a series of statistical analyses of repeated measures data to reveal the degree to which women differ in the course of pregnancy, predict the changes that occur, and determine the importance of these changes for post-partum hemorrhage (PPH) which is one of the leading causes of maternal mortality. We present a prospective cohort of 4082 births recorded at the University Hospital, Lausanne, Switzerland between 2009 and 2014 where full labour records could be obtained, along with complete blood count data taken at hospital admission. We find significant differences, at a [Formula: see text] level, among women in how blood count values change through pregnancy for mean corpuscular hemoglobin, mean corpuscular volume, mean platelet volume, platelet count and red cell distribution width. We find evidence that almost all complete blood count values show trimester-specific associations with PPH. For example, high platelet count (OR 1.20, 95% CI 1.01-1.53), high mean platelet volume (OR 1.58, 95% CI 1.04-2.08), and high erythrocyte levels (OR 1.36, 95% CI 1.01-1.57) in trimester 1 increased PPH, but high values in trimester 3 decreased PPH risk (OR 0.85, 0.79, 0.67 respectively). We show that differences among women in the course of blood cell counts throughout pregnancy have an important role in shaping pregnancy outcome and tracking blood count value changes through pregnancy improves identification of women at increased risk of postpartum hemorrhage. This study provides greater understanding of the complex changes in blood count values that occur through pregnancy and provides indicators to guide the stratification of patients into risk groups."}],"publication":"Scientific Reports","publication_status":"published","doi":"10.1038/s41598-021-98411-z","author":[{"full_name":"Robinson, Matthew Richard","last_name":"Robinson","first_name":"Matthew Richard","orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425"},{"first_name":"Marion","last_name":"Patxot","full_name":"Patxot, Marion"},{"first_name":"Miloš","full_name":"Stojanov, Miloš","last_name":"Stojanov"},{"full_name":"Blum, Sabine","last_name":"Blum","first_name":"Sabine"},{"first_name":"David","full_name":"Baud, David","last_name":"Baud"}],"article_number":"19238","scopus_import":"1","external_id":{"isi":["000701575500083"],"pmid":["34584125"]},"isi":1,"department":[{"_id":"MaRo"}],"acknowledgement":"This project was funded by an SNSF Eccellenza Grant to MRR (PCEGP3-181181), and by core funding from the Institute of Science and Technology Austria. We would like to thank the participants of the study and all the midwives and doctors for the computerized obstetrical data.","citation":{"ama":"Robinson MR, Patxot M, Stojanov M, Blum S, Baud D. Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. <i>Scientific Reports</i>. 2021;11. doi:<a href=\"https://doi.org/10.1038/s41598-021-98411-z\">10.1038/s41598-021-98411-z</a>","short":"M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021).","chicago":"Robinson, Matthew Richard, Marion Patxot, Miloš Stojanov, Sabine Blum, and David Baud. “Postpartum Hemorrhage Risk Is Driven by Changes in Blood Composition through Pregnancy.” <i>Scientific Reports</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41598-021-98411-z\">https://doi.org/10.1038/s41598-021-98411-z</a>.","mla":"Robinson, Matthew Richard, et al. “Postpartum Hemorrhage Risk Is Driven by Changes in Blood Composition through Pregnancy.” <i>Scientific Reports</i>, vol. 11, 19238, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41598-021-98411-z\">10.1038/s41598-021-98411-z</a>.","ista":"Robinson MR, Patxot M, Stojanov M, Blum S, Baud D. 2021. Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. Scientific Reports. 11, 19238.","apa":"Robinson, M. R., Patxot, M., Stojanov, M., Blum, S., &#38; Baud, D. (2021). Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-021-98411-z\">https://doi.org/10.1038/s41598-021-98411-z</a>","ieee":"M. R. Robinson, M. Patxot, M. Stojanov, S. Blum, and D. Baud, “Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy,” <i>Scientific Reports</i>, vol. 11. Springer Nature, 2021."},"article_processing_charge":"Yes","type":"journal_article","oa":1,"intvolume":"        11","day":"28","file_date_updated":"2021-10-05T14:56:48Z","month":"09","has_accepted_license":"1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"year":"2021","ddc":["618"],"quality_controlled":"1","date_updated":"2024-10-09T21:00:57Z","language":[{"iso":"eng"}],"_id":"10069","date_published":"2021-09-28T00:00:00Z","volume":11,"title":"Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy","corr_author":"1","status":"public"},{"arxiv":1,"status":"public","volume":207,"title":"A new notion of commutativity for the algorithmic Lovász Local Lemma","quality_controlled":"1","language":[{"iso":"eng"}],"date_updated":"2026-02-10T09:59:59Z","date_published":"2021-09-15T00:00:00Z","_id":"10072","alternative_title":["LIPIcs"],"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"has_accepted_license":"1","month":"09","related_material":{"record":[{"relation":"later_version","id":"21143","status":"public"}]},"conference":{"location":"Virtual","name":"APPROX/RANDOM: Approximation Algorithms for Combinatorial Optimization Problems/ Randomization and Computation","start_date":"2021-08-16","end_date":"2021-08-18"},"year":"2021","ddc":["000"],"citation":{"ista":"Harris DG, Iliopoulos F, Kolmogorov V. 2021. A new notion of commutativity for the algorithmic Lovász Local Lemma. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX/RANDOM: Approximation Algorithms for Combinatorial Optimization Problems/ Randomization and Computation, LIPIcs, vol. 207, 31.","apa":"Harris, D. G., Iliopoulos, F., &#38; Kolmogorov, V. (2021). A new notion of commutativity for the algorithmic Lovász Local Lemma. In <i>Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques</i> (Vol. 207). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31\">https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31</a>","mla":"Harris, David G., et al. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” <i>Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques</i>, vol. 207, 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31\">10.4230/LIPIcs.APPROX/RANDOM.2021.31</a>.","ieee":"D. G. Harris, F. Iliopoulos, and V. Kolmogorov, “A new notion of commutativity for the algorithmic Lovász Local Lemma,” in <i>Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques</i>, Virtual, 2021, vol. 207.","short":"D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","ama":"Harris DG, Iliopoulos F, Kolmogorov V. A new notion of commutativity for the algorithmic Lovász Local Lemma. In: <i>Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques</i>. Vol 207. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31\">10.4230/LIPIcs.APPROX/RANDOM.2021.31</a>","chicago":"Harris, David G., Fotis Iliopoulos, and Vladimir Kolmogorov. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” In <i>Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques</i>, Vol. 207. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31\">https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31</a>."},"oa":1,"article_processing_charge":"Yes","type":"conference","intvolume":"       207","file_date_updated":"2021-10-06T13:51:54Z","day":"15","author":[{"first_name":"David G.","last_name":"Harris","full_name":"Harris, David G."},{"first_name":"Fotis","full_name":"Iliopoulos, Fotis","last_name":"Iliopoulos"},{"full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["2008.05569"]},"article_number":"31","scopus_import":"1","ec_funded":1,"acknowledgement":"Fotis Iliopoulos: This material is based upon work directly supported by the IAS Fund for Math and indirectly supported by the National Science Foundation Grant No. CCF-1900460. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. This work is also supported by the National Science Foundation Grant No. CCF-1815328.\r\nVladimir Kolmogorov: Supported by the European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 616160.","department":[{"_id":"VlKo"}],"project":[{"call_identifier":"FP7","grant_number":"616160","name":"Discrete Optimization in Computer Vision: Theory and Practice","_id":"25FBA906-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-9597-7207-5"]},"oa_version":"Published Version","publication_status":"published","publication":"Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques","abstract":[{"text":"The Lovász Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works revealed that the LLL has intimate connections with a class of stochastic local search algorithms for finding such desirable objects. In particular, it can be seen as a sufficient condition for this type of algorithms to converge fast. Besides conditions for existence of and fast convergence to desirable objects, one may naturally ask further questions regarding properties of these algorithms. For instance, \"are they parallelizable?\", \"how many solutions can they output?\", \"what is the expected \"weight\" of a solution?\", etc. These questions and more have been answered for a class of LLL-inspired algorithms called commutative. In this paper we introduce a new, very natural and more general notion of commutativity (essentially matrix commutativity) which allows us to show a number of new refined properties of LLL-inspired local search algorithms with significantly simpler proofs.","lang":"eng"}],"file":[{"file_size":804472,"date_created":"2021-10-06T13:51:54Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"9d2544d53aa5b01565c6891d97a4d765","file_name":"2021_LIPIcs_Harris.pdf","success":1,"creator":"cchlebak","file_id":"10098","date_updated":"2021-10-06T13:51:54Z"}],"doi":"10.4230/LIPIcs.APPROX/RANDOM.2021.31","date_created":"2021-10-03T22:01:22Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"}]