--- _id: '15275' abstract: - lang: eng 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Jacob full_name: Fox, Jacob last_name: Fox - first_name: János full_name: Pach, János id: E62E3130-B088-11EA-B919-BF823C25FEA4 last_name: Pach - first_name: Andrew full_name: Suk, Andrew last_name: Suk citation: ama: Fox J, Pach J, Suk A. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 2021;41(6):803-813. doi:10.1007/s00493-021-4530-9 apa: Fox, J., Pach, J., & Suk, A. (2021). Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. Springer Nature. https://doi.org/10.1007/s00493-021-4530-9 chicago: Fox, Jacob, János Pach, and Andrew Suk. “Bounded VC-Dimension Implies the Schur-Erdős Conjecture.” Combinatorica. Springer Nature, 2021. https://doi.org/10.1007/s00493-021-4530-9. ieee: J. Fox, J. Pach, and A. Suk, “Bounded VC-dimension implies the Schur-Erdős conjecture,” Combinatorica, vol. 41, no. 6. Springer Nature, pp. 803–813, 2021. 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.” Combinatorica, vol. 41, no. 6, Springer Nature, 2021, pp. 803–13, doi:10.1007/s00493-021-4530-9. short: J. Fox, J. Pach, A. Suk, Combinatorica 41 (2021) 803–813. date_created: 2024-04-03T07:59:57Z date_published: 2021-11-20T00:00:00Z date_updated: 2024-04-09T10:40:08Z day: '20' department: - _id: HeEd doi: 10.1007/s00493-021-4530-9 external_id: arxiv: - '1912.02342' fulldoi: https://doi.org/10.1007/s00493-021-4530-9 intvolume: ' 41' issue: '6' keyword: - Computational Mathematics - Discrete Mathematics and Combinatorics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1912.02342 month: '11' oa: 1 oa_version: Preprint page: 803-813 publication: Combinatorica publication_identifier: eissn: - 1439-6912 issn: - 0209-9683 publication_status: published publisher: Springer Nature quality_controlled: '1' status: public title: Bounded VC-dimension implies the Schur-Erdős conjecture type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 41 year: '2021' ... --- _id: '15276' abstract: - lang: eng text: Biotrophic plant pathogens secrete effector proteins to manipulate the host physiology. Effectors suppress defenses and induce an environment favorable to disease development. Sequence-based prediction of effector function is impeded by their rapid evolution rate. In the maize pathogen Ustilago maydis, effector-coding genes frequently organize in clusters. Here we describe the functional characterization of the pleiades, a cluster of ten effector genes, by analyzing the micro- and macroscopic phenotype of the cluster deletion and expressing these proteins in planta. Deletion of the pleiades leads to strongly impaired virulence and accumulation of reactive oxygen species (ROS) in infected tissue. Eight of the Pleiades suppress the production of ROS upon perception of pathogen associated molecular patterns (PAMPs). Although functionally redundant, the Pleiades target different host components. The paralogs Taygeta1 and Merope1 suppress ROS production in either the cytoplasm or nucleus, respectively. Merope1 targets and promotes the auto-ubiquitination activity of RFI2, a conserved family of E3 ligases that regulates the production of PAMP-triggered ROS burst in plants. article_number: e1009641 article_processing_charge: Yes article_type: original author: - first_name: Fernando full_name: Navarrete, Fernando last_name: Navarrete - first_name: Nenad full_name: Grujic, Nenad last_name: Grujic - first_name: Alexandra full_name: Stirnberg, Alexandra last_name: Stirnberg - first_name: Indira full_name: Saado, Indira last_name: Saado - first_name: David full_name: Aleksza, David last_name: Aleksza - first_name: Michelle C full_name: Gallei, Michelle C id: 35A03822-F248-11E8-B48F-1D18A9856A87 last_name: Gallei orcid: 0000-0003-1286-7368 - first_name: Hazem full_name: Adi, Hazem last_name: Adi - first_name: André full_name: Alcântara, André last_name: Alcântara - first_name: Mamoona full_name: Khan, Mamoona last_name: Khan - first_name: Janos full_name: Bindics, Janos last_name: Bindics - first_name: Marco full_name: Trujillo, Marco last_name: Trujillo - first_name: Armin full_name: Djamei, Armin last_name: Djamei citation: ama: Navarrete F, Grujic N, Stirnberg A, et al. The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. 2021;17(6). doi:10.1371/journal.ppat.1009641 apa: Navarrete, F., Grujic, N., Stirnberg, A., Saado, I., Aleksza, D., Gallei, M. C., … Djamei, A. (2021). The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1009641 chicago: Navarrete, Fernando, Nenad Grujic, Alexandra Stirnberg, Indira Saado, David Aleksza, Michelle C Gallei, Hazem Adi, et al. “The Pleiades Are a Cluster of Fungal Effectors That Inhibit Host Defenses.” PLOS Pathogens. Public Library of Science, 2021. https://doi.org/10.1371/journal.ppat.1009641. ieee: F. Navarrete et al., “The Pleiades are a cluster of fungal effectors that inhibit host defenses,” PLOS Pathogens, vol. 17, no. 6. Public Library of Science, 2021. ista: Navarrete F, Grujic N, Stirnberg A, Saado I, Aleksza D, Gallei MC, Adi H, Alcântara A, Khan M, Bindics J, Trujillo M, Djamei A. 2021. The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. 17(6), e1009641. mla: Navarrete, Fernando, et al. “The Pleiades Are a Cluster of Fungal Effectors That Inhibit Host Defenses.” PLOS Pathogens, vol. 17, no. 6, e1009641, Public Library of Science, 2021, doi:10.1371/journal.ppat.1009641. short: F. Navarrete, N. Grujic, A. Stirnberg, I. Saado, D. Aleksza, M.C. Gallei, H. Adi, A. Alcântara, M. Khan, J. Bindics, M. Trujillo, A. Djamei, PLOS Pathogens 17 (2021). date_created: 2024-04-03T08:00:34Z date_published: 2021-06-24T00:00:00Z date_updated: 2024-04-09T10:26:12Z day: '24' ddc: - '580' department: - _id: JiFr doi: 10.1371/journal.ppat.1009641 external_id: pmid: - '34166468' file: - access_level: open_access checksum: ab8428291a0c14607c4ea5656c029cff content_type: application/pdf creator: dernst date_created: 2024-04-09T10:24:43Z date_updated: 2024-04-09T10:24:43Z file_id: '15305' file_name: 2021_PlosPathogens_Navarrete.pdf file_size: 2616563 relation: main_file success: 1 file_date_updated: 2024-04-09T10:24:43Z fulldoi: https://doi.org/10.1371/journal.ppat.1009641 has_accepted_license: '1' intvolume: ' 17' issue: '6' keyword: - Virology - Genetics - Molecular Biology - Immunology - Microbiology - Parasitology language: - iso: eng month: '06' oa: 1 oa_version: Published Version pmid: 1 publication: PLOS Pathogens publication_identifier: issn: - 1553-7374 publication_status: published publisher: Public Library of Science quality_controlled: '1' status: public title: The Pleiades are a cluster of fungal effectors that inhibit host defenses tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 17 year: '2021' ... --- _id: '15277' abstract: - lang: eng text: Alternative splicing generates multiple transcript and protein isoforms from a single gene and controls transcript intracellular localization and stability by coupling to mRNA export and nonsense-mediated mRNA decay (NMD). RNA interference (RNAi) is a potent mechanism to modulate gene expression. However, its interactions with alternative splicing are poorly understood. We used artificial microRNAs (amiRNAs, also termed shRNAmiR) to knockdown all splice variants of selected target genes in Arabidopsis thaliana. We found that splice variants, which vary by their protein-coding capacity, subcellular localization and sensitivity to NMD, are affected differentially by an amiRNA, although all of them contain the target site. Particular transcript isoforms escape amiRNA-mediated degradation due to their nuclear localization. The nuclear and NMD-sensitive isoforms mask RNAi action in alternatively spliced genes. Interestingly, Arabidopsis SPL genes, which undergo alternative splicing and are targets of miR156, are regulated in the same manner. Moreover, similar results were obtained in mammalian cells using siRNAs, indicating cross-kingdom conservation of these interactions among RNAi and splicing isoforms. Furthermore, we report that amiRNA can trigger artificial alternative splicing, thus expanding the RNAi functional repertoire. Our findings unveil novel interactions between different post-transcriptional processes in defining transcript fates and regulating gene expression. article_processing_charge: No article_type: original author: - first_name: Armin full_name: Fuchs, Armin last_name: Fuchs - first_name: Stefan full_name: Riegler, Stefan last_name: Riegler - first_name: Zahra full_name: Ayatollahi, Zahra last_name: Ayatollahi - first_name: Nicola full_name: Cavallari, Nicola id: 457160E6-F248-11E8-B48F-1D18A9856A87 last_name: Cavallari - first_name: Luciana E full_name: Giono, Luciana E last_name: Giono - first_name: Barbara A full_name: Nimeth, Barbara A last_name: Nimeth - first_name: Krishna V full_name: Mutanwad, Krishna V last_name: Mutanwad - first_name: Alois full_name: Schweighofer, Alois last_name: Schweighofer - first_name: Doris full_name: Lucyshyn, Doris last_name: Lucyshyn - first_name: Andrea full_name: Barta, Andrea last_name: Barta - first_name: Ezequiel full_name: Petrillo, Ezequiel last_name: Petrillo - first_name: Maria full_name: Kalyna, Maria last_name: Kalyna citation: ama: 'Fuchs A, Riegler S, Ayatollahi Z, et al. Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. 2021;49(2):1133-1151. doi:10.1093/nar/gkaa1260' apa: 'Fuchs, A., Riegler, S., Ayatollahi, Z., Cavallari, N., Giono, L. E., Nimeth, B. A., … Kalyna, M. (2021). Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkaa1260' chicago: 'Fuchs, Armin, Stefan Riegler, Zahra Ayatollahi, Nicola Cavallari, Luciana E Giono, Barbara A Nimeth, Krishna V Mutanwad, et al. “Targeting Alternative Splicing by RNAi: From the Differential Impact on Splice Variants to Triggering Artificial Pre-MRNA Splicing.” Nucleic Acids Research. Oxford University Press, 2021. https://doi.org/10.1093/nar/gkaa1260.' ieee: 'A. Fuchs et al., “Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing,” Nucleic Acids Research, vol. 49, no. 2. Oxford University Press, pp. 1133–1151, 2021.' ista: 'Fuchs A, Riegler S, Ayatollahi Z, Cavallari N, Giono LE, Nimeth BA, Mutanwad KV, Schweighofer A, Lucyshyn D, Barta A, Petrillo E, Kalyna M. 2021. Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. 49(2), 1133–1151.' mla: 'Fuchs, Armin, et al. “Targeting Alternative Splicing by RNAi: From the Differential Impact on Splice Variants to Triggering Artificial Pre-MRNA Splicing.” Nucleic Acids Research, vol. 49, no. 2, Oxford University Press, 2021, pp. 1133–51, doi:10.1093/nar/gkaa1260.' short: A. Fuchs, S. Riegler, Z. Ayatollahi, N. Cavallari, L.E. Giono, B.A. Nimeth, K.V. Mutanwad, A. Schweighofer, D. Lucyshyn, A. Barta, E. Petrillo, M. Kalyna, Nucleic Acids Research 49 (2021) 1133–1151. date_created: 2024-04-03T08:02:09Z date_published: 2021-01-25T00:00:00Z date_updated: 2024-04-09T10:16:40Z day: '25' ddc: - '570' department: - _id: EvBe doi: 10.1093/nar/gkaa1260 external_id: pmid: - '33406240' file: - access_level: open_access checksum: d3c90660759a5d34ad43ba1def130462 content_type: application/pdf creator: dernst date_created: 2024-04-09T10:14:39Z date_updated: 2024-04-09T10:14:39Z file_id: '15304' file_name: 2021_NucleicAcidsRes_Fuchs.pdf file_size: 6539791 relation: main_file success: 1 file_date_updated: 2024-04-09T10:14:39Z fulldoi: https://doi.org/10.1093/nar/gkaa1260 has_accepted_license: '1' intvolume: ' 49' issue: '2' keyword: - Genetics language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 1133-1151 pmid: 1 publication: Nucleic Acids Research publication_identifier: eissn: - 1362-4962 issn: - 0305-1048 publication_status: published publisher: Oxford University Press quality_controlled: '1' status: public title: 'Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 49 year: '2021' ... --- _id: '15278' abstract: - lang: eng text: ‘Dysbiosis’ of the adult gut microbiota, in response to challenges such as infection, altered diet, stress, and antibiotics treatment has been recently linked to pathological alteration of brain function and behavior. Moreover, gut microbiota composition constantly controls microglia maturation, as revealed by morphological observations and gene expression analysis. However, it is unclear whether microglia functional properties and crosstalk with neurons, known to shape and modulate synaptic development and function, are influenced by the gut microbiota. Here, we investigated how antibiotic-mediated alteration of the gut microbiota influences microglial and neuronal functions in adult mice hippocampus. Hippocampal microglia from adult mice treated with oral antibiotics exhibited increased microglia density, altered basal patrolling activity, and impaired process rearrangement in response to damage. Patch clamp recordings at CA3-CA1 synapses revealed that antibiotics treatment alters neuronal functions, reducing spontaneous postsynaptic glutamatergic currents and decreasing synaptic connectivity, without reducing dendritic spines density. Antibiotics treatment was unable to modulate synaptic function in CX3CR1-deficient mice, pointing to an involvement of microglia–neuron crosstalk through the CX3CL1/CX3CR1 axis in the effect of dysbiosis on neuronal functions. Together, our findings show that antibiotic alteration of gut microbiota impairs synaptic efficacy, suggesting that CX3CL1/CX3CR1 signaling supporting microglia is a major player in in the gut–brain axis, and in particular in the gut microbiota-to-neuron communication pathway. article_number: '2648' article_processing_charge: Yes article_type: original author: - first_name: Federica full_name: Cordella, Federica last_name: Cordella - first_name: Caterina full_name: Sanchini, Caterina last_name: Sanchini - first_name: Maria full_name: Rosito, Maria last_name: Rosito - first_name: Laura full_name: Ferrucci, Laura last_name: Ferrucci - first_name: Natalia full_name: Pediconi, Natalia last_name: Pediconi - first_name: Barbara full_name: Cortese, Barbara last_name: Cortese - first_name: Francesca full_name: Guerrieri, Francesca last_name: Guerrieri - first_name: Giuseppe Rubens full_name: Pascucci, Giuseppe Rubens last_name: Pascucci - first_name: Fabrizio full_name: Antonangeli, Fabrizio last_name: Antonangeli - first_name: Giovanna full_name: Peruzzi, Giovanna last_name: Peruzzi - first_name: Maria full_name: Giubettini, Maria last_name: Giubettini - first_name: Bernadette full_name: Basilico, Bernadette id: 36035796-5ACA-11E9-A75E-7AF2E5697425 last_name: Basilico orcid: 0000-0003-1843-3173 - first_name: Francesca full_name: Pagani, Francesca last_name: Pagani - first_name: Alfonso full_name: Grimaldi, Alfonso last_name: Grimaldi - first_name: Giuseppina full_name: D’Alessandro, Giuseppina last_name: D’Alessandro - first_name: Cristina full_name: Limatola, Cristina last_name: Limatola - first_name: Davide full_name: Ragozzino, Davide last_name: Ragozzino - first_name: Silvia full_name: Di Angelantonio, Silvia last_name: Di Angelantonio citation: ama: Cordella F, Sanchini C, Rosito M, et al. Antibiotics treatment modulates microglia–synapses interaction. Cells. 2021;10(10). doi:10.3390/cells10102648 apa: Cordella, F., Sanchini, C., Rosito, M., Ferrucci, L., Pediconi, N., Cortese, B., … Di Angelantonio, S. (2021). Antibiotics treatment modulates microglia–synapses interaction. Cells. MDPI. https://doi.org/10.3390/cells10102648 chicago: Cordella, Federica, Caterina Sanchini, Maria Rosito, Laura Ferrucci, Natalia Pediconi, Barbara Cortese, Francesca Guerrieri, et al. “Antibiotics Treatment Modulates Microglia–Synapses Interaction.” Cells. MDPI, 2021. https://doi.org/10.3390/cells10102648. ieee: F. Cordella et al., “Antibiotics treatment modulates microglia–synapses interaction,” Cells, vol. 10, no. 10. MDPI, 2021. ista: Cordella F, Sanchini C, Rosito M, Ferrucci L, Pediconi N, Cortese B, Guerrieri F, Pascucci GR, Antonangeli F, Peruzzi G, Giubettini M, Basilico B, Pagani F, Grimaldi A, D’Alessandro G, Limatola C, Ragozzino D, Di Angelantonio S. 2021. Antibiotics treatment modulates microglia–synapses interaction. Cells. 10(10), 2648. mla: Cordella, Federica, et al. “Antibiotics Treatment Modulates Microglia–Synapses Interaction.” Cells, vol. 10, no. 10, 2648, MDPI, 2021, doi:10.3390/cells10102648. short: F. Cordella, C. Sanchini, M. Rosito, L. Ferrucci, N. Pediconi, B. Cortese, F. Guerrieri, G.R. Pascucci, F. Antonangeli, G. Peruzzi, M. Giubettini, B. Basilico, F. Pagani, A. Grimaldi, G. D’Alessandro, C. Limatola, D. Ragozzino, S. Di Angelantonio, Cells 10 (2021). date_created: 2024-04-03T08:02:52Z date_published: 2021-10-04T00:00:00Z date_updated: 2024-04-09T08:53:23Z day: '04' ddc: - '610' department: - _id: GaNo doi: 10.3390/cells10102648 external_id: pmid: - '34685628' file: - access_level: open_access checksum: 1a3b251ce82e2b9474b852d2abe5bb03 content_type: application/pdf creator: dernst date_created: 2024-04-09T08:51:22Z date_updated: 2024-04-09T08:51:22Z file_id: '15303' file_name: 2021_Cells_Cordella.pdf file_size: 2196672 relation: main_file success: 1 file_date_updated: 2024-04-09T08:51:22Z fulldoi: https://doi.org/10.3390/cells10102648 has_accepted_license: '1' intvolume: ' 10' issue: '10' keyword: - General Medicine language: - iso: eng month: '10' oa: 1 oa_version: Published Version pmid: 1 publication: Cells publication_identifier: issn: - 2073-4409 publication_status: published publisher: MDPI quality_controlled: '1' status: public title: Antibiotics treatment modulates microglia–synapses interaction tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10 year: '2021' ... --- _id: '15283' article_processing_charge: No article_type: original author: - first_name: William full_name: Nicolas, William last_name: Nicolas - first_name: Florian full_name: Fäßler, Florian id: 404F5528-F248-11E8-B48F-1D18A9856A87 last_name: Fäßler orcid: 0000-0001-7149-769X - first_name: Elliot full_name: Meyerowitz, Elliot last_name: Meyerowitz - first_name: Grant full_name: Jensen, Grant last_name: Jensen citation: ama: Nicolas W, Fäßler F, Meyerowitz E, Jensen G. Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. 2021;27(S1):3024-3026. doi:10.1017/s1431927621010503 apa: Nicolas, W., Fäßler, F., Meyerowitz, E., & Jensen, G. (2021). Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. Oxford University Press. https://doi.org/10.1017/s1431927621010503 chicago: Nicolas, William, Florian Fäßler, Elliot Meyerowitz, and Grant Jensen. “Peaking into the Plant Cell Wall Using Cryo-FIB Milling and Electron Cryo-Tomography.” Microscopy and Microanalysis. Oxford University Press, 2021. https://doi.org/10.1017/s1431927621010503. ieee: W. Nicolas, F. Fäßler, E. Meyerowitz, and G. Jensen, “Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography,” Microscopy and Microanalysis, vol. 27, no. S1. Oxford University Press, pp. 3024–3026, 2021. ista: Nicolas W, Fäßler F, Meyerowitz E, Jensen G. 2021. Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. 27(S1), 3024–3026. mla: Nicolas, William, et al. “Peaking into the Plant Cell Wall Using Cryo-FIB Milling and Electron Cryo-Tomography.” Microscopy and Microanalysis, vol. 27, no. S1, Oxford University Press, 2021, pp. 3024–26, doi:10.1017/s1431927621010503. short: W. Nicolas, F. Fäßler, E. Meyerowitz, G. Jensen, Microscopy and Microanalysis 27 (2021) 3024–3026. date_created: 2024-04-03T08:57:23Z date_published: 2021-08-01T00:00:00Z date_updated: 2024-04-09T07:55:56Z day: '01' department: - _id: FlSc doi: 10.1017/s1431927621010503 fulldoi: https://doi.org/10.1017/s1431927621010503 intvolume: ' 27' issue: S1 keyword: - Instrumentation language: - iso: eng month: '08' oa_version: None page: 3024-3026 publication: Microscopy and Microanalysis publication_identifier: eissn: - 1435-8115 issn: - 1431-9276 publication_status: published publisher: Oxford University Press quality_controlled: '1' status: public title: Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 27 year: '2021' ... --- _id: '15284' abstract: - lang: eng text: "RevTerm is a static analysis tool for proving non-termination of integer C programs (possibly with non-determinism). RevTerm is an implementation of our method for non-termination proving presented in the paper “Proving Non-termination by Program Reversal”.\r\n\r\n" article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ehsan Kafshdar full_name: Goharshady, Ehsan Kafshdar last_name: Goharshady - first_name: Petr full_name: Novotný, Petr id: 3CC3B868-F248-11E8-B48F-1D18A9856A87 last_name: Novotný - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: Chatterjee K, Goharshady EK, Novotný P, Zikelic D. RevTerm. 2021. doi:10.1145/3410304 apa: Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). RevTerm. Association for Computing Machinery. https://doi.org/10.1145/3410304 chicago: Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “RevTerm.” Association for Computing Machinery, 2021. https://doi.org/10.1145/3410304. ieee: K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “RevTerm.” Association for Computing Machinery, 2021. ista: Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. RevTerm, Association for Computing Machinery, 10.1145/3410304. mla: Chatterjee, Krishnendu, et al. RevTerm. Association for Computing Machinery, 2021, doi:10.1145/3410304. short: K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021). corr_author: '1' date_created: 2024-04-03T09:00:42Z date_published: 2021-06-01T00:00:00Z date_updated: 2025-04-15T06:25:30Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1145/3410304 fulldoi: https://doi.org/10.1145/3410304 has_accepted_license: '1' main_file_link: - open_access: '1' url: https://doi.org/10.1145/3410304 month: '06' oa: 1 oa_version: Published Version publisher: Association for Computing Machinery related_material: record: - id: '9644' relation: used_in_publication status: public status: public title: RevTerm type: research_data_reference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2021' ... --- OA_place: publisher _id: '10007' abstract: - lang: eng 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. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sebastian full_name: Hensel, Sebastian id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87 last_name: Hensel orcid: 0000-0001-7252-8072 citation: ama: 'Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007' apa: 'Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007' chicago: 'Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.' ieee: 'S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.' ista: 'Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.' mla: 'Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10007.' short: 'S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.' corr_author: '1' date_created: 2021-09-13T11:12:34Z date_published: 2021-09-14T00:00:00Z date_updated: 2026-04-08T07:01:01Z day: '14' ddc: - '515' degree_awarded: PhD department: - _id: GradSch - _id: JuFi doi: 10.15479/at:ista:10007 ec_funded: 1 file: - access_level: closed checksum: c8475faaf0b680b4971f638f1db16347 content_type: application/x-zip-compressed creator: shensel date_created: 2021-09-13T11:03:24Z date_updated: 2021-09-15T14:37:30Z file_id: '10008' file_name: thesis_final_Hensel.zip file_size: 15022154 relation: source_file - access_level: open_access checksum: 1a609937aa5275452822f45f2da17f07 content_type: application/pdf creator: shensel date_created: 2021-09-13T14:18:56Z date_updated: 2021-09-14T09:52:47Z file_id: '10014' file_name: thesis_final_Hensel.pdf file_size: 6583638 relation: main_file file_date_updated: 2021-09-15T14:37:30Z fulldoi: https://doi.org/10.15479/at:ista:10007 has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '300' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 0aa76401-070f-11eb-9043-b5bb049fa26d call_identifier: H2020 grant_number: '948819' name: Bridging Scales in Random Materials publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10012' relation: part_of_dissertation status: public - id: '10013' relation: part_of_dissertation status: public - id: '7489' relation: part_of_dissertation status: public status: public supervisor: - first_name: Julian L full_name: Fischer, Julian L id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87 last_name: Fischer orcid: 0000-0002-0479-558X title: 'Curvature driven interface evolution: Uniqueness properties of weak solution concepts' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2021' ... --- _id: '10013' abstract: - lang: eng text: We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions. acknowledgement: This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813. article_number: '2108.01733' article_processing_charge: No arxiv: 1 author: - first_name: Sebastian full_name: Hensel, Sebastian id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87 last_name: Hensel orcid: 0000-0001-7252-8072 - first_name: Tim full_name: Laux, Tim last_name: Laux citation: ama: Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. doi:10.48550/arXiv.2108.01733 apa: Hensel, S., & Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. https://doi.org/10.48550/arXiv.2108.01733 chicago: Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2108.01733. ieee: S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” arXiv. . ista: Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv, 2108.01733. mla: Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, 2108.01733, doi:10.48550/arXiv.2108.01733. short: S. Hensel, T. Laux, ArXiv (n.d.). corr_author: '1' date_created: 2021-09-13T12:17:11Z date_published: 2021-08-03T00:00:00Z date_updated: 2026-04-08T07:01:01Z day: '03' department: - _id: JuFi doi: 10.48550/arXiv.2108.01733 ec_funded: 1 external_id: arxiv: - '2108.01733' fulldoi: https://doi.org/10.48550/arXiv.2108.01733 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2108.01733 month: '08' oa: 1 oa_version: Preprint project: - _id: 0aa76401-070f-11eb-9043-b5bb049fa26d call_identifier: H2020 grant_number: '948819' name: Bridging Scales in Random Materials publication: arXiv publication_status: draft related_material: record: - id: '13043' relation: later_version status: public - id: '10007' relation: dissertation_contains status: public status: public title: Weak-strong uniqueness for the mean curvature flow of double bubbles type: preprint user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2021' ... --- _id: '10024' abstract: - lang: eng text: In this paper, we introduce a random environment for the exclusion process in obtained by assigning a maximal occupancy to each site. This maximal occupancy is allowed to randomly vary among sites, and partial exclusion occurs. Under the assumption of ergodicity under translation and uniform ellipticity of the environment, we derive a quenched hydrodynamic limit in path space by strengthening the mild solution approach initiated in Nagy (2002) and Faggionato (2007). To this purpose, we prove, employing the technology developed for the random conductance model, a homogenization result in the form of an arbitrary starting point quenched invariance principle for a single particle in the same environment, which is a result of independent interest. The self-duality property of the partial exclusion process allows us to transfer this homogenization result to the particle system and, then, apply the tightness criterion in Redig et al. (2020). acknowledgement: The authors would like to thank Marek Biskup and Alberto Chiarini for useful suggestions and Cristian Giardina, Frank den Hollander and Shubhamoy Nandan for inspiring discussions. S.F. acknowledges Simona Villa for her help in creating the picture. Furthermore, the authors thank two anonymous referees for the careful reading of the manuscript. S.F. acknowledges financial support from NWO, The Netherlands via the grant TOP1.17.019. F.S. acknowledges financial support from NWO via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement No. 754411. article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Simone full_name: Floreani, Simone last_name: Floreani - first_name: Frank full_name: Redig, Frank last_name: Redig - first_name: Federico full_name: Sau, Federico id: E1836206-9F16-11E9-8814-AEFDE5697425 last_name: Sau citation: ama: Floreani S, Redig F, Sau F. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 2021;142:124-158. doi:10.1016/j.spa.2021.08.006 apa: Floreani, S., Redig, F., & Sau, F. (2021). Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2021.08.006 chicago: Floreani, Simone, Frank Redig, and Federico Sau. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” Stochastic Processes and Their Applications. Elsevier, 2021. https://doi.org/10.1016/j.spa.2021.08.006. ieee: S. Floreani, F. Redig, and F. Sau, “Hydrodynamics for the partial exclusion process in random environment,” Stochastic Processes and their Applications, vol. 142. Elsevier, pp. 124–158, 2021. ista: Floreani S, Redig F, Sau F. 2021. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 142, 124–158. mla: Floreani, Simone, et al. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” Stochastic Processes and Their Applications, vol. 142, Elsevier, 2021, pp. 124–58, doi:10.1016/j.spa.2021.08.006. short: S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158. date_created: 2021-09-19T22:01:25Z date_published: 2021-08-27T00:00:00Z date_updated: 2025-04-14T07:43:46Z day: '27' ddc: - '519' department: - _id: JaMa doi: 10.1016/j.spa.2021.08.006 ec_funded: 1 external_id: arxiv: - '1911.12564' isi: - '000697748500005' file: - access_level: open_access checksum: 56768c553d7218ee5714902ffec90ec4 content_type: application/pdf creator: dernst date_created: 2022-05-13T07:55:50Z date_updated: 2022-05-13T07:55:50Z file_id: '11370' file_name: 2021_StochasticProcessesAppl_Floreani.pdf file_size: 2115791 relation: main_file success: 1 file_date_updated: 2022-05-13T07:55:50Z fulldoi: https://doi.org/10.1016/j.spa.2021.08.006 has_accepted_license: '1' intvolume: ' 142' isi: 1 keyword: - hydrodynamic limit - random environment - random conductance model - arbitrary starting point quenched invariance principle - duality - mild solution language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: 124-158 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Stochastic Processes and their Applications publication_identifier: issn: - 0304-4149 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Hydrodynamics for the partial exclusion process in random environment tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 142 year: '2021' ... --- _id: '10025' abstract: - lang: eng text: Ferromagnetism is most common in transition metal compounds but may also arise in low-density two-dimensional electron systems, with signatures observed in silicon, III-V semiconductor systems, and graphene moiré heterostructures. Here we show that gate-tuned van Hove singularities in rhombohedral trilayer graphene drive the spontaneous ferromagnetic polarization of the electron system into one or more spin- and valley flavors. Using capacitance measurements on graphite-gated van der Waals heterostructures, we find a cascade of density- and electronic displacement field tuned phase transitions marked by negative electronic compressibility. The transitions define the boundaries between phases where quantum oscillations have either four-fold, two-fold, or one-fold degeneracy, associated with a spin and valley degenerate normal metal, spin-polarized `half-metal', and spin and valley polarized `quarter metal', respectively. For electron doping, the salient features are well captured by a phenomenological Stoner model with a valley-anisotropic Hund's coupling, likely arising from interactions at the lattice scale. For hole filling, we observe a richer phase diagram featuring a delicate interplay of broken symmetries and transitions in the Fermi surface topology. Finally, by rotational alignment of a hexagonal boron nitride substrate to induce a moiré superlattice, we find that the superlattice perturbs the preexisting isospin order only weakly, leaving the basic phase diagram intact while catalyzing the formation of topologically nontrivial gapped states whenever itinerant half- or quarter metal states occur at half- or quarter superlattice band filling. Our results show that rhombohedral trilayer graphene is an ideal platform for well-controlled tests of many-body theory and reveal magnetism in moiré materials to be fundamentally itinerant in nature. acknowledgement: "The authors acknowledge discussions with A. Macdonald, L. Fu, F. Wang and M. Zaletel. AFY acknowledges support of the National Science Foundation under DMR1654186, and the Gordon and Betty Moore Foundation under award GBMF9471. The authors acknowledge the use of the research facilities within the California NanoSystems Institute, supported by the University of California, Santa Barbara and the University of California, Office of the President.\r\nK.W. and T.T. acknowledge support from the Elemental Strategy Initiative conducted by the MEXT, Japan, Grant Number JPMXP0112101001 and JSPS KAKENHI, Grant Number JP20H00354. EB and TH were supported by the European Research Council (ERC) under grant HQMAT (Grant Agreement No. 817799). A.G. acknowledges support by the European Unions Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement\r\nNo. 754411.\r\n" article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Haoxin full_name: Zhou, Haoxin last_name: Zhou - first_name: Tian full_name: Xie, Tian last_name: Xie - first_name: Areg full_name: Ghazaryan, Areg id: 4AF46FD6-F248-11E8-B48F-1D18A9856A87 last_name: Ghazaryan orcid: 0000-0001-9666-3543 - first_name: Tobias full_name: Holder, Tobias last_name: Holder - first_name: James R. full_name: Ehrets, James R. last_name: Ehrets - first_name: Eric M. full_name: Spanton, Eric M. last_name: Spanton - first_name: Takashi full_name: Taniguchi, Takashi last_name: Taniguchi - first_name: Kenji full_name: Watanabe, Kenji last_name: Watanabe - first_name: Erez full_name: Berg, Erez last_name: Berg - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 - first_name: Andrea F. full_name: Young, Andrea F. last_name: Young citation: ama: Zhou H, Xie T, Ghazaryan A, et al. Half and quarter metals in rhombohedral trilayer graphene. Nature. 2021. doi:10.1038/s41586-021-03938-w apa: Zhou, H., Xie, T., Ghazaryan, A., Holder, T., Ehrets, J. R., Spanton, E. M., … Young, A. F. (2021). Half and quarter metals in rhombohedral trilayer graphene. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-03938-w chicago: Zhou, Haoxin, Tian Xie, Areg Ghazaryan, Tobias Holder, James R. Ehrets, Eric M. Spanton, Takashi Taniguchi, et al. “Half and Quarter Metals in Rhombohedral Trilayer Graphene.” Nature. Springer Nature, 2021. https://doi.org/10.1038/s41586-021-03938-w. ieee: H. Zhou et al., “Half and quarter metals in rhombohedral trilayer graphene,” Nature. Springer Nature, 2021. ista: Zhou H, Xie T, Ghazaryan A, Holder T, Ehrets JR, Spanton EM, Taniguchi T, Watanabe K, Berg E, Serbyn M, Young AF. 2021. Half and quarter metals in rhombohedral trilayer graphene. Nature. mla: Zhou, Haoxin, et al. “Half and Quarter Metals in Rhombohedral Trilayer Graphene.” Nature, Springer Nature, 2021, doi:10.1038/s41586-021-03938-w. short: H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021). date_created: 2021-09-19T22:01:25Z date_published: 2021-09-01T00:00:00Z date_updated: 2025-04-14T07:43:46Z day: '01' department: - _id: MaSe - _id: MiLe doi: 10.1038/s41586-021-03938-w ec_funded: 1 external_id: arxiv: - '2104.00653' isi: - '000706977400002' fulldoi: https://doi.org/10.1038/s41586-021-03938-w isi: 1 keyword: - condensed matter - mesoscale and nanoscale physics - condensed matter - strongly correlated electrons - multidisciplinary language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2104.00653 month: '09' oa: 1 oa_version: Preprint project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Nature publication_identifier: eissn: - 1476-4687 issn: - 0028-0836 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - relation: erratum url: https://doi.org/10.1038/s41586-021-04181-z scopus_import: '1' status: public title: Half and quarter metals in rhombohedral trilayer graphene type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2021' ... --- _id: '10029' abstract: - lang: eng text: Superconductor-semiconductor hybrids are platforms for realizing effective p-wave superconductivity. Spin-orbit coupling, combined with the proximity effect, causes the two-dimensional semiconductor to inherit p±ip intraband pairing, and application of magnetic field can then result in transitions to the normal state, partial Bogoliubov Fermi surfaces, or topological phases with Majorana modes. Experimentally probing the hybrid superconductor-semiconductor interface is challenging due to the shunting effect of the conventional superconductor. Consequently, the nature of induced pairing remains an open question. Here, we use the circuit quantum electrodynamics architecture to probe induced superconductivity in a two dimensional Al-InAs hybrid system. We observe a strong suppression of superfluid density and enhanced dissipation driven by magnetic field, which cannot be accounted for by the depairing theory of an s-wave superconductor. These observations are explained by a picture of independent intraband p±ip superconductors giving way to partial Bogoliubov Fermi surfaces, and allow for the first characterization of key properties of the hybrid superconducting system. acknowledged_ssus: - _id: M-Shop - _id: NanoFab acknowledgement: This research was supported by the Scientific Service Units of IST Austria through resources provided by the MIBA Machine Shop and the nanofabrication facility. JS and AG were supported by funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No.754411. article_number: '2107.03695' article_processing_charge: No arxiv: 1 author: - first_name: Duc T full_name: Phan, Duc T id: 29C8C0B4-F248-11E8-B48F-1D18A9856A87 last_name: Phan - first_name: Jorden L full_name: Senior, Jorden L id: 5479D234-2D30-11EA-89CC-40953DDC885E last_name: Senior orcid: 0000-0002-0672-9295 - first_name: Areg full_name: Ghazaryan, Areg id: 4AF46FD6-F248-11E8-B48F-1D18A9856A87 last_name: Ghazaryan orcid: 0000-0001-9666-3543 - first_name: M. full_name: Hatefipour, M. last_name: Hatefipour - first_name: W. M. full_name: Strickland, W. M. last_name: Strickland - first_name: J. full_name: Shabani, J. last_name: Shabani - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 - first_name: Andrew P full_name: Higginbotham, Andrew P id: 4AD6785A-F248-11E8-B48F-1D18A9856A87 last_name: Higginbotham orcid: 0000-0003-2607-2363 citation: ama: Phan DT, Senior JL, Ghazaryan A, et al. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv. doi:10.48550/arXiv.2107.03695 apa: Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (n.d.). Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv. https://doi.org/10.48550/arXiv.2107.03695 chicago: Phan, Duc T, Jorden L Senior, Areg Ghazaryan, M. Hatefipour, W. M. Strickland, J. Shabani, Maksym Serbyn, and Andrew P Higginbotham. “Breakdown of Induced P±ip Pairing in a Superconductor-Semiconductor Hybrid.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2107.03695. ieee: D. T. Phan et al., “Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid,” arXiv. . ista: Phan DT, Senior JL, Ghazaryan A, Hatefipour M, Strickland WM, Shabani J, Serbyn M, Higginbotham AP. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv, 2107.03695. mla: Phan, Duc T., et al. “Breakdown of Induced P±ip Pairing in a Superconductor-Semiconductor Hybrid.” ArXiv, 2107.03695, doi:10.48550/arXiv.2107.03695. short: D.T. Phan, J.L. Senior, A. Ghazaryan, M. Hatefipour, W.M. Strickland, J. Shabani, M. Serbyn, A.P. Higginbotham, ArXiv (n.d.). date_created: 2021-09-21T08:41:02Z date_published: 2021-07-08T00:00:00Z date_updated: 2025-04-15T06:54:43Z day: '08' department: - _id: MaSe - _id: AnHi - _id: MiLe doi: 10.48550/arXiv.2107.03695 ec_funded: 1 external_id: arxiv: - '2107.03695' fulldoi: https://doi.org/10.48550/arXiv.2107.03695 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2107.03695 month: '07' oa: 1 oa_version: Preprint project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: arXiv publication_status: draft related_material: record: - id: '9636' relation: research_data status: public - id: '10851' relation: later_version status: public status: public title: Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid type: preprint user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2021' ... --- OA_place: publisher _id: '10030' 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." acknowledged_ssus: - _id: M-Shop - _id: NanoFab acknowledgement: The author gratefully acknowledges support by the Austrian Science Fund (FWF), grants No W1245. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Lorenzo full_name: Portinale, Lorenzo id: 30AD2CBC-F248-11E8-B48F-1D18A9856A87 last_name: Portinale citation: ama: Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030 apa: Portinale, L. (2021). Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10030 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. https://doi.org/10.15479/at:ista:10030. 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. 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. Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10030. 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. corr_author: '1' date_created: 2021-09-21T09:14:15Z date_published: 2021-09-22T00:00:00Z date_updated: 2026-04-08T07:00:04Z day: '22' ddc: - '515' degree_awarded: PhD department: - _id: GradSch - _id: JaMa doi: 10.15479/at:ista:10030 file: - access_level: closed checksum: 8cd60dcb8762e8f21867e21e8001e183 content_type: application/x-zip-compressed creator: cchlebak date_created: 2021-09-21T09:17:34Z date_updated: 2022-03-10T12:14:42Z file_id: '10032' file_name: tex_and_pictures.zip file_size: 3876668 relation: source_file - access_level: open_access checksum: 9789e9d967c853c1503ec7f307170279 content_type: application/pdf creator: cchlebak date_created: 2021-09-27T11:14:31Z date_updated: 2021-09-27T11:14:31Z file_id: '10047' file_name: thesis_portinale_Final (1).pdf file_size: 2532673 relation: main_file file_date_updated: 2022-03-10T12:14:42Z fulldoi: https://doi.org/10.15479/at:ista:10030 has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: 260788DE-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W1245 name: Dissipation and dispersion in nonlinear partial differential equations - _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2 grant_number: F6504 name: Taming Complexity in Partial Differential Systems publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9792' relation: part_of_dissertation status: public - id: '10022' relation: part_of_dissertation status: public - id: '7573' relation: part_of_dissertation status: public status: public supervisor: - first_name: Jan full_name: Maas, Jan id: 4C5696CE-F248-11E8-B48F-1D18A9856A87 last_name: Maas orcid: 0000-0002-0845-1338 title: Discrete-to-continuum limits of transport problems and gradient flows in the space of measures tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2021' ... --- _id: '10033' abstract: - lang: eng 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]. 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.' article_number: '107992' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Quoc P full_name: Ho, Quoc P id: 3DD82E3C-F248-11E8-B48F-1D18A9856A87 last_name: Ho orcid: 0000-0001-6889-1418 citation: ama: Ho QP. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 2021;392. doi:10.1016/j.aim.2021.107992 apa: Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107992 chicago: Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” Advances in Mathematics. Elsevier, 2021. https://doi.org/10.1016/j.aim.2021.107992. ieee: Q. P. Ho, “The Atiyah-Bott formula and connectivity in chiral Koszul duality,” Advances in Mathematics, vol. 392. Elsevier, 2021. 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.” Advances in Mathematics, vol. 392, 107992, Elsevier, 2021, doi:10.1016/j.aim.2021.107992. short: Q.P. Ho, Advances in Mathematics 392 (2021). corr_author: '1' date_created: 2021-09-21T15:58:59Z date_published: 2021-09-21T00:00:00Z date_updated: 2025-04-14T09:09:35Z day: '21' ddc: - '514' department: - _id: TaHa doi: 10.1016/j.aim.2021.107992 external_id: arxiv: - '1610.00212' isi: - '000707040300031' file: - access_level: open_access checksum: f3c0086d41af11db31c00014efb38072 content_type: application/pdf creator: qho date_created: 2021-09-21T15:58:52Z date_updated: 2021-09-21T15:58:52Z file_id: '10034' file_name: 1-s2.0-S000187082100431X-main.pdf file_size: 840635 relation: main_file file_date_updated: 2021-09-21T15:58:52Z fulldoi: https://doi.org/10.1016/j.aim.2021.107992 has_accepted_license: '1' intvolume: ' 392' isi: 1 keyword: - Chiral algebras - Chiral homology - Factorization algebras - Koszul duality - Ran space language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: 26B96266-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: M02751 name: Algebro-Geometric Applications of Factorization Homology publication: Advances in Mathematics publication_identifier: eissn: - 1090-2082 issn: - 0001-8708 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: The Atiyah-Bott formula and connectivity in chiral Koszul duality tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 392 year: '2021' ... --- _id: '10051' abstract: - lang: eng text: 'Rab-interacting molecule (RIM)-binding protein 2 (BP2) is a multidomain protein of the presynaptic active zone (AZ). By binding to RIM, bassoon (Bsn), and voltage-gated Ca2+ channels (CaV), it is considered to be a central organizer of the topography of CaV and release sites of synaptic vesicles (SVs) at the AZ. Here, we used RIM-BP2 knock-out (KO) mice and their wild-type (WT) littermates of either sex to investigate the role of RIM-BP2 at the endbulb of Held synapse of auditory nerve fibers (ANFs) with bushy cells (BCs) of the cochlear nucleus, a fast relay of the auditory pathway with high release probability. Disruption of RIM-BP2 lowered release probability altering short-term plasticity and reduced evoked EPSCs. Analysis of SV pool dynamics during high-frequency train stimulation indicated a reduction of SVs with high release probability but an overall normal size of the readily releasable SV pool (RRP). The Ca2+-dependent fast component of SV replenishment after RRP depletion was slowed. Ultrastructural analysis by superresolution light and electron microscopy revealed an impaired topography of presynaptic CaV and a reduction of docked and membrane-proximal SVs at the AZ. We conclude that RIM-BP2 organizes the topography of CaV, and promotes SV tethering and docking. This way RIM-BP2 is critical for establishing a high initial release probability as required to reliably signal sound onset information that we found to be degraded in BCs of RIM-BP2-deficient mice in vivo. SIGNIFICANCE STATEMENT: Rab-interacting molecule (RIM)-binding proteins (BPs) are key organizers of the active zone (AZ). Using a multidisciplinary approach to the calyceal endbulb of Held synapse that transmits auditory information at rates of up to hundreds of Hertz with submillisecond precision we demonstrate a requirement for RIM-BP2 for normal auditory signaling. Endbulb synapses lacking RIM-BP2 show a reduced release probability despite normal whole-terminal Ca2+ influx and abundance of the key priming protein Munc13-1, a reduced rate of SV replenishment, as well as an altered topography of voltage-gated (CaV)2.1 Ca2+ channels, and fewer docked and membrane proximal synaptic vesicles (SVs). This hampers transmission of sound onset information likely affecting downstream neural computations such as of sound localization.' acknowledgement: This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the Collaborative Sensory Research Center 1286 [to C.W. (A4) and T.M. (B5)] and under Germany’s Excellence Strategy Grant EXC 2067/1-390729940. We thank S. Gerke, A.J. Goldak, and C. Senger-Freitag for expert technical assistance; G. Hoch for developing image analysis routines; and S. Chepurwar and N. Strenzke for technical support and discussion regarding in vivo experiments. We also thank Dr. Christian Rosenmund, Dr. Katharina Grauel, and Dr. Stephan Sigrist for providing RIM-BP2 KO mice and Dr. Masahiko Watanabe for providing the anti-neurexin-antibody, and Dr. Toshihisa Ohtsuka for the anti-ELKS-antibody. J. Neef for help with the STED imaging and image analysis; E. Neher and S. Rizzoli for discussion and comments on the manuscript; K. Eguchi for help with the statistical analysis; and C. H. Huang and J. Neef for constant support and scientific discussion. article_processing_charge: No article_type: original author: - first_name: Tanvi full_name: Butola, Tanvi last_name: Butola - first_name: Theocharis full_name: Alvanos, Theocharis last_name: Alvanos - first_name: Anika full_name: Hintze, Anika last_name: Hintze - first_name: Peter full_name: Koppensteiner, Peter id: 3B8B25A8-F248-11E8-B48F-1D18A9856A87 last_name: Koppensteiner orcid: 0000-0002-3509-1948 - first_name: David full_name: Kleindienst, David id: 42E121A4-F248-11E8-B48F-1D18A9856A87 last_name: Kleindienst - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Carolin full_name: Wichmann, Carolin last_name: Wichmann - first_name: Tobias full_name: Moser, Tobias last_name: Moser citation: ama: Butola T, Alvanos T, Hintze A, et al. RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. 2021;41(37):7742-7767. doi:10.1523/JNEUROSCI.0586-21.2021 apa: Butola, T., Alvanos, T., Hintze, A., Koppensteiner, P., Kleindienst, D., Shigemoto, R., … Moser, T. (2021). RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0586-21.2021 chicago: Butola, Tanvi, Theocharis Alvanos, Anika Hintze, Peter Koppensteiner, David Kleindienst, Ryuichi Shigemoto, Carolin Wichmann, and Tobias Moser. “RIM-Binding Protein 2 Organizes Ca21 Channel Topography and Regulates Release Probability and Vesicle Replenishment at a Fast Central Synapse.” Journal of Neuroscience. Society for Neuroscience, 2021. https://doi.org/10.1523/JNEUROSCI.0586-21.2021. ieee: T. Butola et al., “RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse,” Journal of Neuroscience, vol. 41, no. 37. Society for Neuroscience, pp. 7742–7767, 2021. ista: Butola T, Alvanos T, Hintze A, Koppensteiner P, Kleindienst D, Shigemoto R, Wichmann C, Moser T. 2021. RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. 41(37), 7742–7767. mla: Butola, Tanvi, et al. “RIM-Binding Protein 2 Organizes Ca21 Channel Topography and Regulates Release Probability and Vesicle Replenishment at a Fast Central Synapse.” Journal of Neuroscience, vol. 41, no. 37, Society for Neuroscience, 2021, pp. 7742–67, doi:10.1523/JNEUROSCI.0586-21.2021. short: T. Butola, T. Alvanos, A. Hintze, P. Koppensteiner, D. Kleindienst, R. Shigemoto, C. Wichmann, T. Moser, Journal of Neuroscience 41 (2021) 7742–7767. date_created: 2021-09-27T14:33:13Z date_published: 2021-09-15T00:00:00Z date_updated: 2023-08-14T06:56:30Z day: '15' ddc: - '570' department: - _id: RySh doi: 10.1523/JNEUROSCI.0586-21.2021 external_id: isi: - '000752287700005' pmid: - '34353898' file: - access_level: open_access checksum: 769ab627c7355a50ccfd445e43a5f351 content_type: application/pdf creator: dernst date_created: 2022-05-31T09:10:15Z date_updated: 2022-05-31T09:10:15Z file_id: '11423' file_name: 2021_JourNeuroscience_Butola.pdf file_size: 11571961 relation: main_file success: 1 file_date_updated: 2022-05-31T09:10:15Z fulldoi: https://doi.org/10.1523/JNEUROSCI.0586-21.2021 has_accepted_license: '1' intvolume: ' 41' isi: 1 issue: '37' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 7742-7767 pmid: 1 publication: Journal of Neuroscience publication_identifier: eissn: - 1529-2401 issn: - 0270-6474 publication_status: published publisher: Society for Neuroscience quality_controlled: '1' scopus_import: '1' status: public title: RIM-binding protein 2 organizes Ca21 channel topography and regulates release probability and vesicle replenishment at a fast central synapse tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 41 year: '2021' ... --- _id: '10052' abstract: - lang: eng text: "A deterministic finite automaton (DFA) \U0001D49C is composite if its language L(\U0001D49C) can be decomposed into an intersection ⋂_{i = 1}^k L(\U0001D49C_i) of languages of smaller DFAs. Otherwise, \U0001D49C 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." 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" alternative_title: - LIPIcs article_number: '18' article_processing_charge: No arxiv: 1 author: - first_name: Ismael R full_name: Jecker, Ismael R id: 85D7C63E-7D5D-11E9-9C0F-98C4E5697425 last_name: Jecker - first_name: Nicolas full_name: Mazzocchi, Nicolas last_name: Mazzocchi - first_name: Petra full_name: Wolf, Petra last_name: Wolf citation: ama: 'Jecker IR, Mazzocchi N, Wolf P. Decomposing permutation automata. In: 32nd International Conference on Concurrency Theory. Vol 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.CONCUR.2021.18' apa: 'Jecker, I. R., Mazzocchi, N., & Wolf, P. (2021). Decomposing permutation automata. In 32nd International Conference on Concurrency Theory (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2021.18' chicago: Jecker, Ismael R, Nicolas Mazzocchi, and Petra Wolf. “Decomposing Permutation Automata.” In 32nd International Conference on Concurrency Theory, Vol. 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.CONCUR.2021.18. ieee: I. R. Jecker, N. Mazzocchi, and P. Wolf, “Decomposing permutation automata,” in 32nd International Conference on Concurrency Theory, Paris, France, 2021, vol. 203. 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.' mla: Jecker, Ismael R., et al. “Decomposing Permutation Automata.” 32nd International Conference on Concurrency Theory, vol. 203, 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.CONCUR.2021.18. short: I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. conference: end_date: 2021-08-27 location: Paris, France name: 'CONCUR: Conference on Concurrency Theory' start_date: 2021-08-23 date_created: 2021-09-27T14:33:14Z date_published: 2021-08-13T00:00:00Z date_updated: 2025-05-14T10:55:28Z day: '13' ddc: - '000' department: - _id: KrCh doi: 10.4230/LIPIcs.CONCUR.2021.18 ec_funded: 1 external_id: arxiv: - '2107.04683' file: - access_level: open_access checksum: 4722c81be82265cf45e78adf9db91250 content_type: application/pdf creator: cchlebak date_created: 2021-10-01T11:10:53Z date_updated: 2021-10-01T11:10:53Z file_id: '10064' file_name: 2021_CONCUR_Jecker.pdf file_size: 1003552 relation: main_file success: 1 file_date_updated: 2021-10-01T11:10:53Z fulldoi: https://doi.org/10.4230/LIPIcs.CONCUR.2021.18 has_accepted_license: '1' intvolume: ' 203' language: - iso: eng month: '08' oa: 1 oa_version: Published Version project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: 32nd International Conference on Concurrency Theory publication_identifier: isbn: - 978-3-9597-7203-7 issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Decomposing permutation automata tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 203 year: '2021' ... --- _id: '10054' abstract: - lang: eng 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.' 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.' alternative_title: - LIPIcs article_number: '124' article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Sagar Sudhir full_name: Kale, Sagar Sudhir last_name: Kale - first_name: Alexander full_name: Svozil, Alexander last_name: Svozil citation: ama: 'Chatterjee K, Henzinger M, Kale SS, Svozil A. Faster algorithms for bounded liveness in graphs and game graphs. In: 48th International Colloquium on Automata, Languages, and Programming. Vol 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.ICALP.2021.124' apa: 'Chatterjee, K., Henzinger, M., Kale, S. S., & Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In 48th International Colloquium on Automata, Languages, and Programming (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2021.124' chicago: Chatterjee, Krishnendu, Monika Henzinger, Sagar Sudhir Kale, and Alexander Svozil. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” In 48th International Colloquium on Automata, Languages, and Programming, Vol. 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.ICALP.2021.124. ieee: K. Chatterjee, M. Henzinger, S. S. Kale, and A. Svozil, “Faster algorithms for bounded liveness in graphs and game graphs,” in 48th International Colloquium on Automata, Languages, and Programming, Glasgow, Scotland, 2021, vol. 198. 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.' mla: Chatterjee, Krishnendu, et al. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” 48th International Colloquium on Automata, Languages, and Programming, vol. 198, 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.ICALP.2021.124. 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. conference: end_date: 2021-07-16 location: Glasgow, Scotland name: 'ICALP: Automata, Languages and Programming' start_date: 2021-07-12 corr_author: '1' date_created: 2021-09-27T14:33:15Z date_published: 2021-07-02T00:00:00Z date_updated: 2025-05-14T10:55:19Z day: '02' ddc: - '000' department: - _id: KrCh doi: 10.4230/LIPIcs.ICALP.2021.124 ec_funded: 1 file: - access_level: open_access checksum: 5a3fed8dbba8c088cbeac1e24cc10bc5 content_type: application/pdf creator: cchlebak date_created: 2021-10-01T08:49:26Z date_updated: 2021-10-01T08:49:26Z file_id: '10062' file_name: 2021_LIPIcs_Chatterjee.pdf file_size: 854576 relation: main_file success: 1 file_date_updated: 2021-10-01T08:49:26Z fulldoi: https://doi.org/10.4230/LIPIcs.ICALP.2021.124 has_accepted_license: '1' intvolume: ' 198' language: - iso: eng month: '07' oa: 1 oa_version: Published Version project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: 48th International Colloquium on Automata, Languages, and Programming publication_identifier: isbn: - 978-3-95977-195-5 issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Faster algorithms for bounded liveness in graphs and game graphs tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 198 year: '2021' ... --- _id: '10055' 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 \U0001D49F-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 \U0001D49F-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 \U0001D49F-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 \U0001D49F-length of (n²+n+2)/2." 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. alternative_title: - LIPIcs article_number: '44' article_processing_charge: No author: - first_name: Ismael R full_name: Jecker, Ismael R id: 85D7C63E-7D5D-11E9-9C0F-98C4E5697425 last_name: Jecker citation: ama: 'Jecker IR. A Ramsey theorem for finite monoids. In: 38th International Symposium on Theoretical Aspects of Computer Science. Vol 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.STACS.2021.44' apa: 'Jecker, I. R. (2021). A Ramsey theorem for finite monoids. In 38th International Symposium on Theoretical Aspects of Computer Science (Vol. 187). Saarbrücken, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2021.44' chicago: Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.” In 38th International Symposium on Theoretical Aspects of Computer Science, Vol. 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.STACS.2021.44. ieee: I. R. Jecker, “A Ramsey theorem for finite monoids,” in 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany, 2021, vol. 187. 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.' mla: Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.” 38th International Symposium on Theoretical Aspects of Computer Science, vol. 187, 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.STACS.2021.44. short: I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. conference: end_date: 2021-03-19 location: Saarbrücken, Germany name: 'STACS: Symposium on Theoretical Aspects of Computer Science' start_date: 2021-03-16 date_created: 2021-09-27T14:33:15Z date_published: 2021-03-10T00:00:00Z date_updated: 2025-05-14T10:55:11Z day: '10' ddc: - '000' department: - _id: KrCh doi: 10.4230/LIPIcs.STACS.2021.44 ec_funded: 1 external_id: isi: - '000635691700044' file: - access_level: open_access checksum: 17432a05733f408de300e17e390a90e4 content_type: application/pdf creator: cchlebak date_created: 2021-10-01T09:55:00Z date_updated: 2021-10-01T09:55:00Z file_id: '10063' file_name: 2021_LIPIcs_Jecker.pdf file_size: 720250 relation: main_file success: 1 file_date_updated: 2021-10-01T09:55:00Z fulldoi: https://doi.org/10.4230/LIPIcs.STACS.2021.44 has_accepted_license: '1' intvolume: ' 187' isi: 1 language: - iso: eng month: '03' oa: 1 oa_version: Published Version project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: 38th International Symposium on Theoretical Aspects of Computer Science publication_identifier: isbn: - 978-3-9597-7180-1 issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: A Ramsey theorem for finite monoids tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 187 year: '2021' ... --- _id: '10067' abstract: - lang: eng text: The search for novel entangled phases of matter has lead to the recent discovery of a new class of “entanglement transitions,” exemplified by random tensor networks and monitored quantum circuits. Most known examples can be understood as some classical ordering transitions in an underlying statistical mechanics model, where entanglement maps onto the free-energy cost of inserting a domain wall. In this paper we study the possibility of entanglement transitions driven by physics beyond such statistical mechanics mappings. Motivated by recent applications of neural-network-inspired variational Ansätze, we investigate under what conditions on the variational parameters these Ansätze can capture an entanglement transition. We study the entanglement scaling of short-range restricted Boltzmann machine (RBM) quantum states with random phases. For uncorrelated random phases, we analytically demonstrate the absence of an entanglement transition and reveal subtle finite-size effects in finite-size numerical simulations. Introducing phases with correlations decaying as 1/r^α in real space, we observe three regions with a different scaling of entanglement entropy depending on the exponent α. We study the nature of the transition between these regions, finding numerical evidence for critical behavior. Our work establishes the presence of long-range correlated phases in RBM-based wave functions as a required ingredient for entanglement transitions. acknowledgement: We would like to thank S. De Nicola, P. Brighi, and V. Karle for fruitful discussions and valuable feedback on the manuscript. R.M. and M.S. acknowledge support by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Grant Agreement No. 850899). R.V. acknowledges support from the US Department of Energy, Office of Science, Basic Energy Sciences, under Early Career Award No. DE-SC0019168, and the Alfred P. Sloan Foundation through a Sloan Research Fellowship. article_number: '104205' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Raimel A full_name: Medina Ramos, Raimel A id: CE680B90-D85A-11E9-B684-C920E6697425 last_name: Medina Ramos orcid: 0000-0002-5383-2869 - first_name: Romain full_name: Vasseur, Romain last_name: Vasseur - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 citation: ama: Medina Ramos RA, Vasseur R, Serbyn M. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 2021;104(10). doi:10.1103/physrevb.104.104205 apa: Medina Ramos, R. A., Vasseur, R., & Serbyn, M. (2021). Entanglement transitions from restricted Boltzmann machines. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.104.104205 chicago: Medina Ramos, Raimel A, Romain Vasseur, and Maksym Serbyn. “Entanglement Transitions from Restricted Boltzmann Machines.” Physical Review B. American Physical Society, 2021. https://doi.org/10.1103/physrevb.104.104205. ieee: R. A. Medina Ramos, R. Vasseur, and M. Serbyn, “Entanglement transitions from restricted Boltzmann machines,” Physical Review B, vol. 104, no. 10. American Physical Society, 2021. ista: Medina Ramos RA, Vasseur R, Serbyn M. 2021. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 104(10), 104205. mla: Medina Ramos, Raimel A., et al. “Entanglement Transitions from Restricted Boltzmann Machines.” Physical Review B, vol. 104, no. 10, 104205, American Physical Society, 2021, doi:10.1103/physrevb.104.104205. short: R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021). corr_author: '1' date_created: 2021-10-02T09:03:42Z date_published: 2021-09-30T00:00:00Z date_updated: 2026-04-07T12:43:22Z day: '30' department: - _id: MaSe doi: 10.1103/physrevb.104.104205 ec_funded: 1 external_id: arxiv: - '2107.05735' isi: - '000704414400002' fulldoi: https://doi.org/10.1103/physrevb.104.104205 intvolume: ' 104' isi: 1 issue: '10' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2107.05735 month: '09' oa: 1 oa_version: Preprint project: - _id: 23841C26-32DE-11EA-91FC-C7463DDC885E call_identifier: H2020 grant_number: '850899' name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control' publication: Physical Review B publication_identifier: eissn: - 2469-9969 issn: - 2469-9950 publication_status: published publisher: American Physical Society quality_controlled: '1' related_material: record: - id: '17208' relation: dissertation_contains status: public scopus_import: '1' status: public title: Entanglement transitions from restricted Boltzmann machines type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 104 year: '2021' ... --- _id: '10069' 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.' 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. article_number: '19238' article_processing_charge: Yes article_type: original author: - first_name: Matthew Richard full_name: Robinson, Matthew Richard id: E5D42276-F5DA-11E9-8E24-6303E6697425 last_name: Robinson orcid: 0000-0001-8982-8813 - first_name: Marion full_name: Patxot, Marion last_name: Patxot - first_name: Miloš full_name: Stojanov, Miloš last_name: Stojanov - first_name: Sabine full_name: Blum, Sabine last_name: Blum - first_name: David full_name: Baud, David last_name: Baud citation: ama: Robinson MR, Patxot M, Stojanov M, Blum S, Baud D. Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. Scientific Reports. 2021;11. doi:10.1038/s41598-021-98411-z apa: Robinson, M. R., Patxot, M., Stojanov, M., Blum, S., & Baud, D. (2021). Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-021-98411-z 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.” Scientific Reports. Springer Nature, 2021. https://doi.org/10.1038/s41598-021-98411-z. 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,” Scientific Reports, vol. 11. Springer Nature, 2021. 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. mla: Robinson, Matthew Richard, et al. “Postpartum Hemorrhage Risk Is Driven by Changes in Blood Composition through Pregnancy.” Scientific Reports, vol. 11, 19238, Springer Nature, 2021, doi:10.1038/s41598-021-98411-z. short: M.R. Robinson, M. Patxot, M. Stojanov, S. Blum, D. Baud, Scientific Reports 11 (2021). corr_author: '1' date_created: 2021-10-03T22:01:21Z date_published: 2021-09-28T00:00:00Z date_updated: 2024-10-09T21:00:57Z day: '28' ddc: - '618' department: - _id: MaRo doi: 10.1038/s41598-021-98411-z external_id: isi: - '000701575500083' pmid: - '34584125' file: - access_level: open_access checksum: f002ec22f609f58e1263b79e7f79601e content_type: application/pdf creator: cchlebak date_created: 2021-10-05T14:56:48Z date_updated: 2021-10-05T14:56:48Z file_id: '10091' file_name: 2021_ScientificReports_Robinson.pdf file_size: 6970368 relation: main_file success: 1 file_date_updated: 2021-10-05T14:56:48Z fulldoi: https://doi.org/10.1038/s41598-021-98411-z has_accepted_license: '1' intvolume: ' 11' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Published Version pmid: 1 publication: Scientific Reports publication_identifier: eissn: - 2045-2322 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 11 year: '2021' ... --- _id: '10070' abstract: - lang: eng text: We extensively discuss the Rademacher and Sobolev-to-Lipschitz properties for generalized intrinsic distances on strongly local Dirichlet spaces possibly without square field operator. We present many non-smooth and infinite-dimensional examples. As an application, we prove the integral Varadhan short-time asymptotic with respect to a given distance function for a large class of strongly local Dirichlet forms. acknowledgement: 'The authors are grateful to Professor Kazuhiro Kuwae for kindly providing a copy of [49]. They are also grateful to Dr. Bang-Xian Han for helpful discussions on the Sobolev-to-Lipschitz property on metric measure spaces. They wish to express their deepest gratitude to an anonymous Reviewer, whose punctual remarks and comments greatly improved the accessibility and overall quality of the initial submission. This work was completed while L.D.S. was a member of the Institut für Angewandte Mathematik of the University of Bonn. He acknowledges funding of his position at that time by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the Sonderforschungsbereich (Sfb, Collaborative Research Center) 1060 - project number 211504053. He also acknowledges funding of his current position by the Austrian Science Fund (FWF) grant F65, and by the European Research Council (ERC, grant No. 716117, awarded to Prof. Dr. Jan Maas). K.S. gratefully acknowledges funding by: the JSPS Overseas Research Fellowships, Grant Nr. 290142; World Premier International Research Center Initiative (WPI), MEXT, Japan; and JSPS Grant-in-Aid for Scientific Research on Innovative Areas “Discrete Geometric Analysis for Materials Design”, Grant Number 17H06465.' article_number: '109234' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Lorenzo full_name: Dello Schiavo, Lorenzo id: ECEBF480-9E4F-11EA-B557-B0823DDC885E last_name: Dello Schiavo orcid: 0000-0002-9881-6870 - first_name: Kohei full_name: Suzuki, Kohei last_name: Suzuki citation: ama: Dello Schiavo L, Suzuki K. Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. 2021;281(11). doi:10.1016/j.jfa.2021.109234 apa: Dello Schiavo, L., & Suzuki, K. (2021). Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2021.109234 chicago: Dello Schiavo, Lorenzo, and Kohei Suzuki. “Rademacher-Type Theorems and Sobolev-to-Lipschitz Properties for Strongly Local Dirichlet Spaces.” Journal of Functional Analysis. Elsevier, 2021. https://doi.org/10.1016/j.jfa.2021.109234. ieee: L. Dello Schiavo and K. Suzuki, “Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces,” Journal of Functional Analysis, vol. 281, no. 11. Elsevier, 2021. ista: Dello Schiavo L, Suzuki K. 2021. Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. 281(11), 109234. mla: Dello Schiavo, Lorenzo, and Kohei Suzuki. “Rademacher-Type Theorems and Sobolev-to-Lipschitz Properties for Strongly Local Dirichlet Spaces.” Journal of Functional Analysis, vol. 281, no. 11, 109234, Elsevier, 2021, doi:10.1016/j.jfa.2021.109234. short: L. Dello Schiavo, K. Suzuki, Journal of Functional Analysis 281 (2021). corr_author: '1' date_created: 2021-10-03T22:01:21Z date_published: 2021-09-15T00:00:00Z date_updated: 2025-04-14T07:27:45Z day: '15' department: - _id: JaMa doi: 10.1016/j.jfa.2021.109234 ec_funded: 1 external_id: arxiv: - '2008.01492' isi: - '000703896600005' fulldoi: https://doi.org/10.1016/j.jfa.2021.109234 intvolume: ' 281' isi: 1 issue: '11' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2008.01492 month: '09' oa: 1 oa_version: Preprint project: - _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2 grant_number: F6504 name: Taming Complexity in Partial Differential Systems - _id: 256E75B8-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '716117' name: Optimal Transport and Stochastic Dynamics publication: Journal of Functional Analysis publication_identifier: eissn: - 1096-0783 issn: - 0022-1236 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 281 year: '2021' ...