--- _id: '14601' abstract: - lang: eng text: "In this work, we address the problem of learning provably stable neural\r\nnetwork policies for stochastic control systems. While recent work has\r\ndemonstrated the feasibility of certifying given policies using martingale\r\ntheory, the problem of how to learn such policies is little explored. Here, we\r\nstudy the effectiveness of jointly learning a policy together with a martingale\r\ncertificate that proves its stability using a single learning algorithm. We\r\nobserve that the joint optimization problem becomes easily stuck in local\r\nminima when starting from a randomly initialized policy. Our results suggest\r\nthat some form of pre-training of the policy is required for the joint\r\noptimization to repair and verify the policy successfully." article_processing_charge: No arxiv: 1 author: - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 - first_name: Mathias full_name: Lechner, Mathias id: 3DC22916-F248-11E8-B48F-1D18A9856A87 last_name: Lechner - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 citation: ama: Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv. doi:10.48550/arXiv.2205.11991 apa: Zikelic, D., Lechner, M., Chatterjee, K., & Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. https://doi.org/10.48550/arXiv.2205.11991 chicago: Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991. ieee: D. Zikelic, M. Lechner, K. Chatterjee, and T. A. Henzinger, “Learning stabilizing policies in stochastic control systems,” arXiv. . ista: Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv, 10.48550/arXiv.2205.11991. mla: Zikelic, Dorde, et al. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, doi:10.48550/arXiv.2205.11991. short: D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.). date_created: 2023-11-24T13:22:30Z date_published: 2022-05-24T00:00:00Z date_updated: 2025-07-14T09:10:00Z day: '24' department: - _id: KrCh - _id: ToHe doi: 10.48550/arXiv.2205.11991 ec_funded: 1 external_id: arxiv: - '2205.11991' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2205.11991 month: '05' oa: 1 oa_version: Preprint project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: arXiv publication_status: submitted related_material: record: - id: '14539' relation: dissertation_contains status: public status: public title: Learning stabilizing policies in stochastic control systems type: preprint user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2022' ... --- _id: '7577' abstract: - lang: eng text: Weak convergence of inertial iterative method for solving variational inequalities is the focus of this paper. The cost function is assumed to be non-Lipschitz and monotone. We propose a projection-type method with inertial terms and give weak convergence analysis under appropriate conditions. Some test results are performed and compared with relevant methods in the literature to show the efficiency and advantages given by our proposed methods. acknowledgement: The project of the first author has received funding from the European Research Council (ERC) under the European Union's Seventh Framework Program (FP7 - 2007-2013) (Grant agreement No. 616160). article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Yekini full_name: Shehu, Yekini id: 3FC7CB58-F248-11E8-B48F-1D18A9856A87 last_name: Shehu orcid: 0000-0001-9224-7139 - first_name: Olaniyi S. full_name: Iyiola, Olaniyi S. last_name: Iyiola citation: ama: Shehu Y, Iyiola OS. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 2022;101(1):192-216. doi:10.1080/00036811.2020.1736287 apa: Shehu, Y., & Iyiola, O. S. (2022). Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. Taylor & Francis. https://doi.org/10.1080/00036811.2020.1736287 chicago: Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” Applicable Analysis. Taylor & Francis, 2022. https://doi.org/10.1080/00036811.2020.1736287. ieee: Y. Shehu and O. S. Iyiola, “Weak convergence for variational inequalities with inertial-type method,” Applicable Analysis, vol. 101, no. 1. Taylor & Francis, pp. 192–216, 2022. ista: Shehu Y, Iyiola OS. 2022. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 101(1), 192–216. mla: Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” Applicable Analysis, vol. 101, no. 1, Taylor & Francis, 2022, pp. 192–216, doi:10.1080/00036811.2020.1736287. short: Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216. date_created: 2020-03-09T07:06:52Z date_published: 2022-01-01T00:00:00Z date_updated: 2024-03-05T14:01:52Z day: '01' ddc: - '510' - '515' - '518' department: - _id: VlKo doi: 10.1080/00036811.2020.1736287 ec_funded: 1 external_id: arxiv: - '2101.08057' isi: - '000518364100001' file: - access_level: open_access checksum: 869efe8cb09505dfa6012f67d20db63d content_type: application/pdf creator: dernst date_created: 2020-10-12T10:42:54Z date_updated: 2021-03-16T23:30:06Z embargo: 2021-03-15 file_id: '8648' file_name: 2020_ApplicAnalysis_Shehu.pdf file_size: 4282586 relation: main_file file_date_updated: 2021-03-16T23:30:06Z has_accepted_license: '1' intvolume: ' 101' isi: 1 issue: '1' language: - iso: eng month: '01' oa: 1 oa_version: Submitted Version page: 192-216 project: - _id: 25FBA906-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '616160' name: 'Discrete Optimization in Computer Vision: Theory and Practice' publication: Applicable Analysis publication_identifier: eissn: - 1563-504X issn: - 0003-6811 publication_status: published publisher: Taylor & Francis quality_controlled: '1' scopus_import: '1' status: public title: Weak convergence for variational inequalities with inertial-type method type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 101 year: '2022' ... --- _id: '7791' abstract: - lang: eng text: Extending a result of Milena Radnovic and Serge Tabachnikov, we establish conditionsfor two different non-symmetric norms to define the same billiard reflection law. acknowledgement: AA was supported by European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 78818 Alpha). RK was supported by the Federal professorship program Grant 1.456.2016/1.4 and the Russian Foundation for Basic Research Grants 18-01-00036 and 19-01-00169. Open access funding provided by Institute of Science and Technology (IST Austria). The authors thank Alexey Balitskiy, Milena Radnović, and Serge Tabachnikov for useful discussions. article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Roman full_name: Karasev, Roman last_name: Karasev citation: ama: Akopyan A, Karasev R. When different norms lead to same billiard trajectories? European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0 apa: Akopyan, A., & Karasev, R. (2022). When different norms lead to same billiard trajectories? European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00405-0 chicago: Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics. Springer Nature, 2022. https://doi.org/10.1007/s40879-020-00405-0. ieee: A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,” European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1309–1312, 2022. ista: Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312. mla: Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:10.1007/s40879-020-00405-0. short: A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312. date_created: 2020-05-03T22:00:48Z date_published: 2022-12-01T00:00:00Z date_updated: 2024-02-22T15:58:42Z day: '01' ddc: - '510' department: - _id: HeEd doi: 10.1007/s40879-020-00405-0 ec_funded: 1 external_id: arxiv: - '1912.12685' file: - access_level: open_access checksum: f53e71fd03744075adcd0b8fc1b8423d content_type: application/pdf creator: dernst date_created: 2020-05-04T10:33:42Z date_updated: 2020-07-14T12:48:03Z file_id: '7796' file_name: 2020_EuropMathematics_Akopyan.pdf file_size: 263926 relation: main_file file_date_updated: 2020-07-14T12:48:03Z has_accepted_license: '1' intvolume: ' 8' issue: '4' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '12' oa: 1 oa_version: Published Version page: 1309 - 1312 project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: B67AFEDC-15C9-11EA-A837-991A96BB2854 name: IST Austria Open Access Fund publication: European Journal of Mathematics publication_identifier: eissn: - 2199-6768 issn: - 2199-675X publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: When different norms lead to same billiard trajectories? 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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2022' ... --- _id: '8125' abstract: - lang: eng text: Context, such as behavioral state, is known to modulate memory formation and retrieval, but is usually ignored in associative memory models. Here, we propose several types of contextual modulation for associative memory networks that greatly increase their performance. In these networks, context inactivates specific neurons and connections, which modulates the effective connectivity of the network. Memories are stored only by the active components, thereby reducing interference from memories acquired in other contexts. Such networks exhibit several beneficial characteristics, including enhanced memory capacity, high robustness to noise, increased robustness to memory overloading, and better memory retention during continual learning. Furthermore, memories can be biased to have different relative strengths, or even gated on or off, according to contextual cues, providing a candidate model for cognitive control of memory and efficient memory search. An external context-encoding network can dynamically switch the memory network to a desired state, which we liken to experimentally observed contextual signals in prefrontal cortex and hippocampus. Overall, our work illustrates the benefits of organizing memory around context, and provides an important link between behavioral studies of memory and mechanistic details of neural circuits.SIGNIFICANCEMemory is context dependent — both encoding and recall vary in effectiveness and speed depending on factors like location and brain state during a task. We apply this idea to a simple computational model of associative memory through contextual gating of neurons and synaptic connections. Intriguingly, this results in several advantages, including vastly enhanced memory capacity, better robustness, and flexible memory gating. Our model helps to explain (i) how gating and inhibition contribute to memory processes, (ii) how memory access dynamically changes over time, and (iii) how context representations, such as those observed in hippocampus and prefrontal cortex, may interact with and control memory processes. article_processing_charge: No author: - first_name: William F. full_name: Podlaski, William F. last_name: Podlaski orcid: 0000-0001-6619-7502 - first_name: Everton J. full_name: Agnes, Everton J. last_name: Agnes orcid: 0000-0001-7184-7311 - first_name: Tim P full_name: Vogels, Tim P id: CB6FF8D2-008F-11EA-8E08-2637E6697425 last_name: Vogels orcid: 0000-0003-3295-6181 citation: ama: Podlaski WF, Agnes EJ, Vogels TP. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv. 2022. doi:10.1101/2020.01.08.898528 apa: Podlaski, W. F., Agnes, E. J., & Vogels, T. P. (2022). High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.01.08.898528 chicago: Podlaski, William F., Everton J. Agnes, and Tim P Vogels. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2020.01.08.898528. ieee: W. F. Podlaski, E. J. Agnes, and T. P. Vogels, “High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating,” bioRxiv. Cold Spring Harbor Laboratory, 2022. ista: Podlaski WF, Agnes EJ, Vogels TP. 2022. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv, 10.1101/2020.01.08.898528. mla: Podlaski, William F., et al. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” BioRxiv, Cold Spring Harbor Laboratory, 2022, doi:10.1101/2020.01.08.898528. short: W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022). date_created: 2020-07-16T12:24:28Z date_published: 2022-12-21T00:00:00Z date_updated: 2024-03-06T12:03:59Z day: '21' department: - _id: TiVo doi: 10.1101/2020.01.08.898528 language: - iso: eng locked: '1' main_file_link: - open_access: '1' url: 'https://doi.org/10.1101/2020.01.08.898528 ' month: '12' oa: 1 oa_version: Preprint publication: bioRxiv publication_status: published publisher: Cold Spring Harbor Laboratory status: public title: High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating type: preprint user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2022' ... --- _id: '9199' abstract: - lang: eng text: "We associate a certain tensor product lattice to any primitive integer lattice and ask about its typical shape. These lattices are related to the tangent bundle of Grassmannians and their study is motivated by Peyre's programme on \"freeness\" for rational points of bounded height on Fano\r\nvarieties." acknowledgement: The authors are very grateful to Will Sawin for useful remarks about this topic. While working on this paper the first two authors were supported by EPSRC grant EP/P026710/1, and the first and last authors by FWF grant P 32428-N35. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Tal full_name: Horesh, Tal id: C8B7BF48-8D81-11E9-BCA9-F536E6697425 last_name: Horesh - first_name: Florian Alexander full_name: Wilsch, Florian Alexander id: 560601DA-8D36-11E9-A136-7AC1E5697425 last_name: Wilsch orcid: 0000-0001-7302-8256 citation: ama: Browning TD, Horesh T, Wilsch FA. Equidistribution and freeness on Grassmannians. Algebra & Number Theory. 2022;16(10):2385-2407. doi:10.2140/ant.2022.16.2385 apa: Browning, T. D., Horesh, T., & Wilsch, F. A. (2022). Equidistribution and freeness on Grassmannians. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2022.16.2385 chicago: Browning, Timothy D, Tal Horesh, and Florian Alexander Wilsch. “Equidistribution and Freeness on Grassmannians.” Algebra & Number Theory. Mathematical Sciences Publishers, 2022. https://doi.org/10.2140/ant.2022.16.2385. ieee: T. D. Browning, T. Horesh, and F. A. Wilsch, “Equidistribution and freeness on Grassmannians,” Algebra & Number Theory, vol. 16, no. 10. Mathematical Sciences Publishers, pp. 2385–2407, 2022. ista: Browning TD, Horesh T, Wilsch FA. 2022. Equidistribution and freeness on Grassmannians. Algebra & Number Theory. 16(10), 2385–2407. mla: Browning, Timothy D., et al. “Equidistribution and Freeness on Grassmannians.” Algebra & Number Theory, vol. 16, no. 10, Mathematical Sciences Publishers, 2022, pp. 2385–407, doi:10.2140/ant.2022.16.2385. short: T.D. Browning, T. Horesh, F.A. Wilsch, Algebra & Number Theory 16 (2022) 2385–2407. date_created: 2021-02-25T09:56:57Z date_published: 2022-12-01T00:00:00Z date_updated: 2023-08-02T06:46:38Z day: '01' department: - _id: TiBr doi: 10.2140/ant.2022.16.2385 external_id: arxiv: - '2102.11552' isi: - '000961514100004' intvolume: ' 16' isi: 1 issue: '10' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2102.11552 month: '12' oa: 1 oa_version: Preprint page: 2385-2407 project: - _id: 26A8D266-B435-11E9-9278-68D0E5697425 grant_number: EP-P026710-2 name: Between rational and integral points - _id: 26AEDAB2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P32428 name: New frontiers of the Manin conjecture publication: Algebra & Number Theory publication_identifier: eissn: - 1944-7833 issn: - 1937-0652 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' scopus_import: '1' status: public title: Equidistribution and freeness on Grassmannians type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 16 year: '2022' ... --- _id: '9311' abstract: - lang: eng text: 'Partially observable Markov decision processes (POMDPs) are standard models for dynamic systems with probabilistic and nondeterministic behaviour in uncertain environments. We prove that in POMDPs with long-run average objective, the decision maker has approximately optimal strategies with finite memory. This implies notably that approximating the long-run value is recursively enumerable, as well as a weak continuity property of the value with respect to the transition function. ' acknowledgement: "Partially supported by Austrian Science Fund (FWF) NFN Grant No RiSE/SHiNE S11407, by CONICYT Chile through grant PII 20150140, and by ECOS-CONICYT through grant C15E03.\r\n" article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X - first_name: Bruno full_name: Ziliotto, Bruno last_name: Ziliotto citation: ama: Chatterjee K, Saona Urmeneta RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 2022;47(1):100-119. doi:10.1287/moor.2020.1116 apa: Chatterjee, K., Saona Urmeneta, R. J., & Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2020.1116 chicago: Chatterjee, Krishnendu, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2022. https://doi.org/10.1287/moor.2020.1116. ieee: K. Chatterjee, R. J. Saona Urmeneta, and B. Ziliotto, “Finite-memory strategies in POMDPs with long-run average objectives,” Mathematics of Operations Research, vol. 47, no. 1. Institute for Operations Research and the Management Sciences, pp. 100–119, 2022. ista: Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119. mla: Chatterjee, Krishnendu, et al. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” Mathematics of Operations Research, vol. 47, no. 1, Institute for Operations Research and the Management Sciences, 2022, pp. 100–19, doi:10.1287/moor.2020.1116. short: K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119. date_created: 2021-04-08T09:33:31Z date_published: 2022-02-01T00:00:00Z date_updated: 2023-09-05T13:16:11Z day: '01' department: - _id: GradSch - _id: KrCh doi: 10.1287/moor.2020.1116 external_id: arxiv: - '1904.13360' isi: - '000731918100001' intvolume: ' 47' isi: 1 issue: '1' keyword: - Management Science and Operations Research - General Mathematics - Computer Science Applications language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1904.13360 month: '02' oa: 1 oa_version: Preprint page: 100-119 project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory publication: Mathematics of Operations Research publication_identifier: eissn: - 1526-5471 issn: - 0364-765X publication_status: published publisher: Institute for Operations Research and the Management Sciences quality_controlled: '1' scopus_import: '1' status: public title: Finite-memory strategies in POMDPs with long-run average objectives type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 47 year: '2022' ... --- _id: '9364' abstract: - lang: eng text: 'Let t : Fp → C be a complex valued function on Fp. A classical problem in analytic number theory is bounding the maximum M(t) := max 0≤H

0 there exists a large subset of a ∈ F×p such that for kl a,1,p : x → e((ax+x) / p) we have M(kla,1,p) ≥ (1−ε/√2π + o(1)) log log p, as p→∞. Finally, we prove a result on the growth of the moments of {M (kla,1,p)}a∈F×p. 2020 Mathematics Subject Classification: 11L03, 11T23 (Primary); 14F20, 60F10 (Secondary).' acknowledgement: I am most thankful to my advisor, Emmanuel Kowalski, for suggesting this problem and for his guidance during these years. I also would like to thank Youness Lamzouri for informing me about his work on sum of incomplete Birch sums and Tal Horesh for her suggestions on a previous version of the paper. Finally, I am very grateful to the anonymous referee for their careful reading of the manuscript and their valuable comments. article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Dante full_name: Bonolis, Dante id: 6A459894-5FDD-11E9-AF35-BB24E6697425 last_name: Bonolis citation: ama: Bonolis D. On the size of the maximum of incomplete Kloosterman sums. Mathematical Proceedings of the Cambridge Philosophical Society. 2022;172(3):563-590. doi:10.1017/S030500412100030X apa: Bonolis, D. (2022). On the size of the maximum of incomplete Kloosterman sums. Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press. https://doi.org/10.1017/S030500412100030X chicago: Bonolis, Dante. “On the Size of the Maximum of Incomplete Kloosterman Sums.” Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press, 2022. https://doi.org/10.1017/S030500412100030X. ieee: D. Bonolis, “On the size of the maximum of incomplete Kloosterman sums,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 172, no. 3. Cambridge University Press, pp. 563–590, 2022. ista: Bonolis D. 2022. On the size of the maximum of incomplete Kloosterman sums. Mathematical Proceedings of the Cambridge Philosophical Society. 172(3), 563–590. mla: Bonolis, Dante. “On the Size of the Maximum of Incomplete Kloosterman Sums.” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 172, no. 3, Cambridge University Press, 2022, pp. 563–90, doi:10.1017/S030500412100030X. short: D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590. date_created: 2021-05-02T22:01:29Z date_published: 2022-05-01T00:00:00Z date_updated: 2023-08-02T06:47:48Z day: '01' ddc: - '510' department: - _id: TiBr doi: 10.1017/S030500412100030X external_id: arxiv: - '1811.10563' isi: - '000784421500001' file: - access_level: open_access checksum: 614d2e9b83a78100408e4ee7752a80a8 content_type: application/pdf creator: cchlebak date_created: 2021-12-01T14:01:54Z date_updated: 2021-12-01T14:01:54Z file_id: '10395' file_name: 2021_MathProcCamPhilSoc_Bonolis.pdf file_size: 334064 relation: main_file success: 1 file_date_updated: 2021-12-01T14:01:54Z has_accepted_license: '1' intvolume: ' 172' isi: 1 issue: '3' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 563 - 590 publication: Mathematical Proceedings of the Cambridge Philosophical Society publication_identifier: eissn: - 1469-8064 issn: - 0305-0041 publication_status: published publisher: Cambridge University Press quality_controlled: '1' scopus_import: '1' status: public title: On the size of the maximum of incomplete Kloosterman sums 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: 172 year: '2022' ... --- _id: '9649' abstract: - lang: eng text: "Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f : Rd → Rd−n. A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation T of the ambient space Rd. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently\r\nfine triangulation T . This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary." acknowledgement: "First and foremost, we acknowledge Siargey Kachanovich for discussions. We thank Herbert Edelsbrunner and all members of his group, all former and current members of the Datashape team (formerly known as Geometrica), and André Lieutier for encouragement. We further thank the reviewers of Foundations of Computational Mathematics and the reviewers and program committee of the Symposium on Computational Geometry for their feedback, which improved the exposition.\r\nThis work was funded by the European Research Council under the European Union’s ERC Grant Agreement number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher Dimensions). This work was also supported by the French government, through the 3IA Côte d’Azur Investments in the Future project managed by the National Research Agency (ANR) with the reference number ANR-19-P3IA-0002. Mathijs Wintraecken also received 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 (via OA deal) article_type: original author: - first_name: Jean-Daniel full_name: Boissonnat, Jean-Daniel last_name: Boissonnat - first_name: Mathijs full_name: Wintraecken, Mathijs id: 307CFBC8-F248-11E8-B48F-1D18A9856A87 last_name: Wintraecken orcid: 0000-0002-7472-2220 citation: ama: Boissonnat J-D, Wintraecken M. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 2022;22:967-1012. doi:10.1007/s10208-021-09520-0 apa: Boissonnat, J.-D., & Wintraecken, M. (2022). The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . Springer Nature. https://doi.org/10.1007/s10208-021-09520-0 chicago: Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics . Springer Nature, 2022. https://doi.org/10.1007/s10208-021-09520-0. ieee: J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL approximations of isomanifolds,” Foundations of Computational Mathematics , vol. 22. Springer Nature, pp. 967–1012, 2022. ista: Boissonnat J-D, Wintraecken M. 2022. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 22, 967–1012. mla: Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics , vol. 22, Springer Nature, 2022, pp. 967–1012, doi:10.1007/s10208-021-09520-0. short: J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics 22 (2022) 967–1012. date_created: 2021-07-14T06:44:53Z date_published: 2022-01-01T00:00:00Z date_updated: 2023-08-02T06:49:17Z day: '01' ddc: - '516' department: - _id: HeEd doi: 10.1007/s10208-021-09520-0 ec_funded: 1 external_id: isi: - '000673039600001' file: - access_level: open_access checksum: f1d372ec3c08ec22e84f8e93e1126b8c content_type: application/pdf creator: mwintrae date_created: 2021-07-14T06:44:36Z date_updated: 2021-07-14T06:44:36Z file_id: '9650' file_name: Boissonnat-Wintraecken2021_Article_TheTopologicalCorrectnessOfPLA.pdf file_size: 1455699 relation: main_file file_date_updated: 2021-07-14T06:44:36Z has_accepted_license: '1' intvolume: ' 22' isi: 1 language: - iso: eng month: '0' oa: 1 oa_version: Published Version page: 967-1012 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: 'Foundations of Computational Mathematics ' publication_identifier: eissn: - 1615-3383 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '7952' relation: earlier_version status: public scopus_import: '1' status: public title: The topological correctness of PL approximations of isomanifolds 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: 22 year: '2022' ... --- _id: '9794' abstract: - lang: eng text: 'Lymph nodes (LNs) comprise two main structural elements: fibroblastic reticular cells that form dedicated niches for immune cell interaction and capsular fibroblasts that build a shell around the organ. Immunological challenge causes LNs to increase more than tenfold in size within a few days. Here, we characterized the biomechanics of LN swelling on the cellular and organ scale. We identified lymphocyte trapping by influx and proliferation as drivers of an outward pressure force, causing fibroblastic reticular cells of the T-zone (TRCs) and their associated conduits to stretch. After an initial phase of relaxation, TRCs sensed the resulting strain through cell matrix adhesions, which coordinated local growth and remodeling of the stromal network. While the expanded TRC network readopted its typical configuration, a massive fibrotic reaction of the organ capsule set in and countered further organ expansion. Thus, different fibroblast populations mechanically control LN swelling in a multitier fashion.' acknowledged_ssus: - _id: Bio - _id: EM-Fac - _id: PreCl - _id: LifeSc acknowledgement: This research was supported by the Scientific Service Units of IST Austria through resources provided by the Imaging and Optics, Electron Microscopy, Preclinical and Life Science Facilities. We thank C. Moussion for providing anti-PNAd antibody and D. Critchley for Talin1-floxed mice, and E. Papusheva for providing a custom 3D channel alignment script. This work was supported by a European Research Council grant ERC-CoG-72437 to M.S. M.H. was supported by Czech Sciencundation GACR 20-24603Y and Charles University PRIMUS/20/MED/013. article_processing_charge: No article_type: original author: - first_name: Frank P full_name: Assen, Frank P id: 3A8E7F24-F248-11E8-B48F-1D18A9856A87 last_name: Assen orcid: 0000-0003-3470-6119 - first_name: Jun full_name: Abe, Jun last_name: Abe - first_name: Miroslav full_name: Hons, Miroslav id: 4167FE56-F248-11E8-B48F-1D18A9856A87 last_name: Hons orcid: 0000-0002-6625-3348 - first_name: Robert full_name: Hauschild, Robert id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87 last_name: Hauschild orcid: 0000-0001-9843-3522 - first_name: Shayan full_name: Shamipour, Shayan id: 40B34FE2-F248-11E8-B48F-1D18A9856A87 last_name: Shamipour - first_name: Walter full_name: Kaufmann, Walter id: 3F99E422-F248-11E8-B48F-1D18A9856A87 last_name: Kaufmann orcid: 0000-0001-9735-5315 - first_name: Tommaso full_name: Costanzo, Tommaso id: D93824F4-D9BA-11E9-BB12-F207E6697425 last_name: Costanzo orcid: 0000-0001-9732-3815 - first_name: Gabriel full_name: Krens, Gabriel id: 2B819732-F248-11E8-B48F-1D18A9856A87 last_name: Krens orcid: 0000-0003-4761-5996 - first_name: Markus full_name: Brown, Markus id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87 last_name: Brown - first_name: Burkhard full_name: Ludewig, Burkhard last_name: Ludewig - first_name: Simon full_name: Hippenmeyer, Simon id: 37B36620-F248-11E8-B48F-1D18A9856A87 last_name: Hippenmeyer orcid: 0000-0003-2279-1061 - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 - first_name: Wolfgang full_name: Weninger, Wolfgang last_name: Weninger - first_name: Edouard B full_name: Hannezo, Edouard B id: 3A9DB764-F248-11E8-B48F-1D18A9856A87 last_name: Hannezo orcid: 0000-0001-6005-1561 - first_name: Sanjiv A. full_name: Luther, Sanjiv A. last_name: Luther - first_name: Jens V. full_name: Stein, Jens V. last_name: Stein - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-4561-241X citation: ama: Assen FP, Abe J, Hons M, et al. Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. 2022;23:1246-1255. doi:10.1038/s41590-022-01257-4 apa: Assen, F. P., Abe, J., Hons, M., Hauschild, R., Shamipour, S., Kaufmann, W., … Sixt, M. K. (2022). Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. Springer Nature. https://doi.org/10.1038/s41590-022-01257-4 chicago: Assen, Frank P, Jun Abe, Miroslav Hons, Robert Hauschild, Shayan Shamipour, Walter Kaufmann, Tommaso Costanzo, et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” Nature Immunology. Springer Nature, 2022. https://doi.org/10.1038/s41590-022-01257-4. ieee: F. P. Assen et al., “Multitier mechanics control stromal adaptations in swelling lymph nodes,” Nature Immunology, vol. 23. Springer Nature, pp. 1246–1255, 2022. ista: Assen FP, Abe J, Hons M, Hauschild R, Shamipour S, Kaufmann W, Costanzo T, Krens G, Brown M, Ludewig B, Hippenmeyer S, Heisenberg C-PJ, Weninger W, Hannezo EB, Luther SA, Stein JV, Sixt MK. 2022. Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. 23, 1246–1255. mla: Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” Nature Immunology, vol. 23, Springer Nature, 2022, pp. 1246–55, doi:10.1038/s41590-022-01257-4. short: F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T. Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg, W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology 23 (2022) 1246–1255. date_created: 2021-08-06T09:09:11Z date_published: 2022-07-11T00:00:00Z date_updated: 2023-08-02T06:53:07Z day: '11' ddc: - '570' department: - _id: SiHi - _id: CaHe - _id: EdHa - _id: EM-Fac - _id: Bio - _id: MiSi doi: 10.1038/s41590-022-01257-4 ec_funded: 1 external_id: isi: - '000822975900002' file: - access_level: open_access checksum: 628e7b49809f22c75b428842efe70c68 content_type: application/pdf creator: dernst date_created: 2022-07-25T07:11:32Z date_updated: 2022-07-25T07:11:32Z file_id: '11642' file_name: 2022_NatureImmunology_Assen.pdf file_size: 11475325 relation: main_file success: 1 file_date_updated: 2022-07-25T07:11:32Z has_accepted_license: '1' intvolume: ' 23' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 1246-1255 project: - _id: 25FE9508-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '724373' name: Cellular navigation along spatial gradients publication: Nature Immunology publication_identifier: eissn: - 1529-2916 issn: - 1529-2908 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Multitier mechanics control stromal adaptations in swelling lymph nodes 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: 23 year: '2022' ... --- _id: '9955' abstract: - lang: eng text: Neurons can change their classical neurotransmitters during ontogeny, sometimes going through stages of dual release. Here, we explored the development of the neurotransmitter identity of neurons of the avian nucleus isthmi parvocellularis (Ipc), whose axon terminals are retinotopically arranged in the optic tectum (TeO) and exert a focal gating effect upon the ascending transmission of retinal inputs. Although cholinergic and glutamatergic markers are both found in Ipc neurons and terminals of adult pigeons and chicks, the mRNA expression of the vesicular acetylcholine transporter, VAChT, is weak or absent. To explore how the Ipc neurotransmitter identity is established during ontogeny, we analyzed the expression of mRNAs coding for cholinergic (ChAT, VAChT, and CHT) and glutamatergic (VGluT2 and VGluT3) markers in chick embryos at different developmental stages. We found that between E12 and E18, Ipc neurons expressed all cholinergic mRNAs and also VGluT2 mRNA; however, from E16 through posthatch stages, VAChT mRNA expression was specifically diminished. Our ex vivo deposits of tracer crystals and intracellular filling experiments revealed that Ipc axons exhibit a mature paintbrush morphology late in development, experiencing marked morphological transformations during the period of presumptive dual vesicular transmitter release. Additionally, although ChAT protein immunoassays increasingly label the growing Ipc axon, this labeling was consistently restricted to sparse portions of the terminal branches. Combined, these results suggest that the synthesis of glutamate and acetylcholine, and their vesicular release, is complexly linked to the developmental processes of branching, growing and remodeling of these unique axons. acknowledgement: 'This work was supported by FONDECYT grants 1151432 and 1210169 to Gonzalo J. Marín. FONDECYT grant 1210069 to Jorge Mpodozis. Spanish Ministry of Science, Innovation and Universities (MCIU), State Research Agency (AEI) and European Regional Development Fund (FEDER), PGC2018-098229-B-100 to José L Ferrán. Spanish Ministry of Economy and Competitiveness Excellency Grant BFU2014-57516P (with European Community FEDER support), and a Seneca Foundation (Autonomous Community of Murcia) Excellency Research contract, ref: 19904/ GERM/15; project name: Genoarchitectonic Brain Development and Applications to Neurodegenerative Diseases and Cancer (5672 Fundación Séneca) to Luis Puelles. The authors gratefully acknowledge the valuable editorial help provided by Sara Fernández-Collemann. The authors also thank Elisa Sentis and Solano Henríquez for expert technical help.' article_processing_charge: No article_type: original author: - first_name: Rosana full_name: Reyes‐Pinto, Rosana last_name: Reyes‐Pinto - first_name: José L. full_name: Ferrán, José L. last_name: Ferrán - first_name: Tomas A full_name: Vega Zuniga, Tomas A id: 2E7C4E78-F248-11E8-B48F-1D18A9856A87 last_name: Vega Zuniga - first_name: Cristian full_name: González‐Cabrera, Cristian last_name: González‐Cabrera - first_name: Harald full_name: Luksch, Harald last_name: Luksch - first_name: Jorge full_name: Mpodozis, Jorge last_name: Mpodozis - first_name: Luis full_name: Puelles, Luis last_name: Puelles - first_name: Gonzalo J. full_name: Marín, Gonzalo J. last_name: Marín citation: ama: Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, et al. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 2022;530(2):553-573. doi:10.1002/cne.25229 apa: Reyes‐Pinto, R., Ferrán, J. L., Vega Zuniga, T. A., González‐Cabrera, C., Luksch, H., Mpodozis, J., … Marín, G. J. (2022). Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. Wiley. https://doi.org/10.1002/cne.25229 chicago: Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera, Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology. Wiley, 2022. https://doi.org/10.1002/cne.25229. ieee: R. Reyes‐Pinto et al., “Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum,” Journal of Comparative Neurology, vol. 530, no. 2. Wiley, pp. 553–573, 2022. ista: Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, González‐Cabrera C, Luksch H, Mpodozis J, Puelles L, Marín GJ. 2022. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 530(2), 553–573. mla: Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:10.1002/cne.25229. short: R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573. date_created: 2021-08-23T08:40:59Z date_published: 2022-02-01T00:00:00Z date_updated: 2023-08-11T10:58:17Z day: '01' department: - _id: MaJö doi: 10.1002/cne.25229 external_id: isi: - '000686420000001' pmid: - '34363623' intvolume: ' 530' isi: 1 issue: '2' language: - iso: eng month: '02' oa_version: None page: 553-573 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: eissn: - 1096-9861 issn: - 0021-9967 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 530 year: '2022' ... --- _id: '9977' abstract: - lang: eng text: "For a Seifert fibered homology sphere X we show that the q-series invariant Zˆ0(X; q) introduced by Gukov-Pei-Putrov-Vafa, is a resummation of the Ohtsuki series Z0(X). We show that for every even k ∈ N there exists a full asymptotic expansion of Zˆ0(X; q) for q tending to e 2πi/k, and in particular that the limit Zˆ0(X; e 2πi/k) exists and is equal to the\r\nWRT quantum invariant τk(X). We show that the poles of the Borel transform of Z0(X) coincide with the classical complex Chern-Simons values, which we further show classifies the corresponding components of the moduli space of flat SL(2, C)-connections." acknowledgement: "We warmly thank S. Gukov for valuable discussions on the GPPV invariant ̂Z\U0001D44E(\U0001D4403; \U0001D45E). The first\r\nauthor was supported in part by the center of excellence grant ‘Center for Quantum Geometry\r\nof Moduli Spaces’ from the Danish National Research Foundation (DNRF95) and by the ERCSynergy\r\ngrant ‘ReNewQuantum’. The second author received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement no. 754411." article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: William full_name: Mistegaard, William id: 41B03CD0-62AE-11E9-84EF-0718E6697425 last_name: Mistegaard - first_name: Jørgen Ellegaard full_name: Andersen, Jørgen Ellegaard last_name: Andersen citation: ama: Mistegaard W, Andersen JE. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 2022;105(2):709-764. doi:10.1112/jlms.12506 apa: Mistegaard, W., & Andersen, J. E. (2022). Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12506 chicago: Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/jlms.12506. ieee: W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” Journal of the London Mathematical Society, vol. 105, no. 2. Wiley, pp. 709–764, 2022. ista: Mistegaard W, Andersen JE. 2022. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 105(2), 709–764. mla: Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506. short: W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764. date_created: 2021-08-31T12:51:40Z date_published: 2022-03-01T00:00:00Z date_updated: 2023-08-02T06:53:51Z day: '01' ddc: - '510' department: - _id: TaHa doi: 10.1112/jlms.12506 ec_funded: 1 external_id: arxiv: - '1811.05376' isi: - '000755205700001' file: - access_level: open_access checksum: 9c72327d39f34f1a6eaa98fa4b8493f2 content_type: application/pdf creator: dernst date_created: 2022-03-24T11:42:25Z date_updated: 2022-03-24T11:42:25Z file_id: '10917' file_name: 2022_JourLondonMathSoc_Andersen.pdf file_size: 649130 relation: main_file success: 1 file_date_updated: 2022-03-24T11:42:25Z has_accepted_license: '1' intvolume: ' 105' isi: 1 issue: '2' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: 709-764 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Journal of the London Mathematical Society publication_identifier: eissn: - 1469-7750 publication_status: published publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Resurgence analysis of quantum invariants of Seifert fibered homology spheres 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: 105 year: '2022' ... --- _id: '10000' abstract: - lang: eng text: Inhibition or targeted deletion of histone deacetylase 3 (HDAC3) is neuroprotective in a variety neurodegenerative conditions, including retinal ganglion cells (RGCs) after acute optic nerve damage. Consistent with this, induced HDAC3 expression in cultured cells shows selective toxicity to neurons. Despite an established role for HDAC3 in neuronal pathology, little is known regarding the mechanism of this pathology. acknowledgement: 'The authors thank Joel Dietz for maintaining the mice used in this study, Satoshi Kinoshita and the Translational Research Initiative in Pathology Laboratory at the University of Wisconsin-Madison for cutting retinal sections analyzed in this study, and Mark Banghart for statistical review of the data analysis. Supported by National Eye Institute Grants R01 EY012223 (RWN), R01 EY030123 (RWN), R01 EY029809 (LWG), R01 EY029809 (LWG) and a Vision Research CORE grant P30 EY016665, NRSA grant T32 GM081061, by an unrestricted research grant from Research to Prevent Blindness, Inc., and by a University of Wisconsin-Madison Vilas Life Cycle award and the Frederick A. Davis Research Chair (RWN). ' article_number: '14' article_processing_charge: Yes article_type: original author: - first_name: Heather M. full_name: Schmitt, Heather M. last_name: Schmitt - first_name: Rachel L. full_name: Fehrman, Rachel L. last_name: Fehrman - first_name: Margaret E full_name: Maes, Margaret E id: 3838F452-F248-11E8-B48F-1D18A9856A87 last_name: Maes orcid: 0000-0001-9642-1085 - first_name: Huan full_name: Yang, Huan last_name: Yang - first_name: Lian Wang full_name: Guo, Lian Wang last_name: Guo - first_name: Cassandra L. full_name: Schlamp, Cassandra L. last_name: Schlamp - first_name: Heather R. full_name: Pelzel, Heather R. last_name: Pelzel - first_name: Robert W. full_name: Nickells, Robert W. last_name: Nickells citation: ama: Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 2021;62(10). doi:10.1167/IOVS.62.10.14 apa: Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/IOVS.62.10.14 chicago: Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology, 2021. https://doi.org/10.1167/IOVS.62.10.14. ieee: H. M. Schmitt et al., “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” Investigative Ophthalmology and Visual Science, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021. ista: Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 62(10), 14. mla: Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:10.1167/IOVS.62.10.14. short: H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021). date_created: 2021-09-12T22:01:23Z date_published: 2021-08-16T00:00:00Z date_updated: 2023-08-14T06:35:17Z day: '16' ddc: - '570' department: - _id: SaSi doi: 10.1167/IOVS.62.10.14 external_id: isi: - '000695230000014' pmid: - '34398198' file: - access_level: open_access checksum: c430967746f653aa1ae84ee617f62b73 content_type: application/pdf creator: dernst date_created: 2022-05-13T07:40:15Z date_updated: 2022-05-13T07:40:15Z file_id: '11369' file_name: 2021_IOVS_Schmitt.pdf file_size: 19707796 relation: main_file success: 1 file_date_updated: 2022-05-13T07:40:15Z has_accepted_license: '1' intvolume: ' 62' isi: 1 issue: '10' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '08' oa: 1 oa_version: Published Version pmid: 1 publication: Investigative Ophthalmology and Visual Science publication_identifier: eissn: - 1552-5783 issn: - 0146-0404 publication_status: published publisher: Association for Research in Vision and Ophthalmology quality_controlled: '1' scopus_import: '1' status: public title: Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 62 year: '2021' ... --- _id: '10002' abstract: - lang: eng text: 'We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with n vertices and m edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires O(n2) symbolic operations and O(1) symbolic space. The only other symbolic algorithm for the MEC decomposition requires O(nm−−√) symbolic operations and O(m−−√) symbolic space. A main open question is whether the worst-case O(n2) bound for symbolic operations can be beaten. We present a symbolic algorithm that requires O˜(n1.5) symbolic operations and O˜(n−−√) symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all 0<ϵ≤1/2 the symbolic algorithm requires O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space ( O˜ hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of ω -regular objectives for MDPs. We consider the canonical parity objectives for ω -regular objectives, and for parity objectives with d -priorities we present an algorithm that computes the almost-sure winning region with O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space, for all 0<ϵ≤1/2 .' acknowledgement: The authors are grateful to the anonymous referees for their valuable comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For M. H. the research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007–2013) / ERC Grant Agreement no. 340506. article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Wolfgang full_name: Dvorak, Wolfgang last_name: Dvorak - 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: Alexander full_name: Svozil, Alexander last_name: Svozil citation: ama: 'Chatterjee K, Dvorak W, Henzinger MH, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739' apa: 'Chatterjee, K., Dvorak, W., Henzinger, M. H., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739' chicago: Chatterjee, Krishnendu, Wolfgang Dvorak, Monika H Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470739. ieee: K. Chatterjee, W. Dvorak, M. H. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13. ista: 'Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.' mla: Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739. short: K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13. conference: end_date: 2021-07-02 location: Rome, Italy name: 'LICS: Symposium on Logic in Computer Science' start_date: 2021-06-29 date_created: 2021-09-12T22:01:24Z date_published: 2021-07-07T00:00:00Z date_updated: 2025-07-14T09:10:07Z day: '07' department: - _id: KrCh doi: 10.1109/LICS52264.2021.9470739 ec_funded: 1 external_id: arxiv: - '2104.07466' isi: - '000947350400089' isi: 1 keyword: - Computer science - Computational modeling - Markov processes - Probabilistic logic - Formal verification - Game Theory language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2104.07466 month: '07' oa: 1 oa_version: Preprint page: 1-13 project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science publication_identifier: eisbn: - 978-1-6654-4895-6 isbn: - 978-1-6654-4896-3 issn: - 1043-6871 publication_status: published publisher: Institute of Electrical and Electronics Engineers quality_controlled: '1' scopus_import: '1' status: public title: Symbolic time and space tradeoffs for probabilistic verification type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2021' ... --- _id: '10004' abstract: - lang: eng text: 'Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs.' acknowledgement: We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt). article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Laurent full_name: Doyen, Laurent last_name: Doyen citation: ama: 'Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595' apa: 'Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595' chicago: Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470595. ieee: K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13. ista: 'Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.' mla: Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595. short: K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13. conference: end_date: 2021-07-02 location: Rome, Italy name: 'LICS: Symposium on Logic in Computer Science' start_date: 2021-06-29 date_created: 2021-09-12T22:01:25Z date_published: 2021-07-07T00:00:00Z date_updated: 2025-07-14T09:10:08Z day: '07' department: - _id: KrCh doi: 10.1109/LICS52264.2021.9470595 ec_funded: 1 external_id: arxiv: - '2104.07278' isi: - '000947350400036' isi: 1 keyword: - Computer science - Heuristic algorithms - Memory management - Automata - Markov processes - Probability distribution - Complexity theory language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2104.07278 month: '07' oa: 1 oa_version: Preprint page: 1-13 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science publication_identifier: eisbn: - 978-1-6654-4895-6 isbn: - 978-1-6654-4896-3 issn: - 1043-6871 publication_status: published publisher: Institute of Electrical and Electronics Engineers quality_controlled: '1' scopus_import: '1' status: public title: Stochastic processes with expected stopping time type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2021' ... --- _id: '10005' abstract: - lang: eng text: We study systems of nonlinear partial differential equations of parabolic type, in which the elliptic operator is replaced by the first-order divergence operator acting on a flux function, which is related to the spatial gradient of the unknown through an additional implicit equation. This setting, broad enough in terms of applications, significantly expands the paradigm of nonlinear parabolic problems. Formulating four conditions concerning the form of the implicit equation, we first show that these conditions describe a maximal monotone p-coercive graph. We then establish the global-in-time and large-data existence of a (weak) solution and its uniqueness. To this end, we adopt and significantly generalize Minty’s method of monotone mappings. A unified theory, containing several novel tools, is developed in a way to be tractable from the point of view of numerical approximations. acknowledgement: "M. Bulíček and J. Málek acknowledge the support of the project No. 18-12719S financed by the Czech\r\nScience foundation (GAČR). E. Maringová acknowledges support from Charles University Research program \r\nUNCE/SCI/023, the grant SVV-2020-260583 by the Ministry of Education, Youth and Sports, Czech Republic\r\nand from the Austrian Science Fund (FWF), grants P30000, W1245, and F65. M. Bulíček and J. Málek are\r\nmembers of the Nečas Center for Mathematical Modelling.\r\n" article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Miroslav full_name: Bulíček, Miroslav last_name: Bulíček - first_name: Erika full_name: Maringová, Erika id: dbabca31-66eb-11eb-963a-fb9c22c880b4 last_name: Maringová - first_name: Josef full_name: Málek, Josef last_name: Málek citation: ama: Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 2021;31(09). doi:10.1142/S0218202521500457 apa: Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific. https://doi.org/10.1142/S0218202521500457 chicago: Bulíček, Miroslav, Erika Maringová, and Josef Málek. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences. World Scientific, 2021. https://doi.org/10.1142/S0218202521500457. ieee: M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09. World Scientific, 2021. ista: Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09). mla: Bulíček, Miroslav, et al. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09, World Scientific, 2021, doi:10.1142/S0218202521500457. short: M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021). date_created: 2021-09-12T22:01:25Z date_published: 2021-08-25T00:00:00Z date_updated: 2023-09-04T11:43:45Z day: '25' department: - _id: JuFi doi: 10.1142/S0218202521500457 external_id: arxiv: - '2009.06917' isi: - '000722222900004' intvolume: ' 31' isi: 1 issue: '09' keyword: - Nonlinear parabolic systems - implicit constitutive theory - weak solutions - existence - uniqueness language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2009.06917 month: '08' oa: 1 oa_version: Preprint project: - _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2 grant_number: F6504 name: Taming Complexity in Partial Differential Systems publication: Mathematical Models and Methods in Applied Sciences publication_identifier: eissn: - 1793-6314 issn: - 0218-2025 publication_status: published publisher: World Scientific quality_controlled: '1' scopus_import: '1' status: public title: On nonlinear problems of parabolic type with implicit constitutive equations involving flux type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 31 year: '2021' ... --- _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.' date_created: 2021-09-13T11:12:34Z date_published: 2021-09-14T00:00:00Z date_updated: 2023-09-07T13:30:45Z 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 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: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2021' ... --- _id: '10011' abstract: - lang: eng text: We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow - is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle. 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. The content of this paper was developed and parts of it were written during a visit of the first author to the Hausdorff Center of Mathematics (HCM), University of Bonn. The hospitality and the support of HCM are gratefully acknowledged. article_number: '2109.04233' 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. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv. doi:10.48550/arXiv.2109.04233' apa: 'Hensel, S., & Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv. https://doi.org/10.48550/arXiv.2109.04233' chicago: 'Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2109.04233.' ieee: 'S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness,” arXiv. .' ista: 'Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv, 2109.04233.' mla: 'Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” ArXiv, 2109.04233, doi:10.48550/arXiv.2109.04233.' short: S. Hensel, T. Laux, ArXiv (n.d.). date_created: 2021-09-13T12:17:10Z date_published: 2021-09-09T00:00:00Z date_updated: 2023-05-03T10:34:38Z day: '09' department: - _id: JuFi doi: 10.48550/arXiv.2109.04233 ec_funded: 1 external_id: arxiv: - '2109.04233' keyword: - Mean curvature flow - gradient flows - varifolds - weak solutions - weak-strong uniqueness - calibrated geometry - gradient-flow calibrations language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2109.04233 month: '09' 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: submitted status: public title: 'A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness' type: preprint user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 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.). date_created: 2021-09-13T12:17:11Z date_published: 2021-08-03T00:00:00Z date_updated: 2023-09-07T13:30:45Z day: '03' department: - _id: JuFi doi: 10.48550/arXiv.2108.01733 ec_funded: 1 external_id: 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: submitted 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: '10015' abstract: - lang: eng text: "Auxin plays a dual role in growth regulation and, depending on the tissue and concentration of the hormone, it can either promote or inhibit division and expansion processes in plants. Recent studies have revealed that, beyond transcriptional reprogramming, alternative auxincontrolled mechanisms regulate root growth. Here, we explored the impact of different concentrations of the synthetic auxin NAA that establish growth-promoting and -repressing conditions on the root tip proteome and phosphoproteome, generating a unique resource. From the phosphoproteome data, we pinpointed (novel) growth regulators, such as the RALF34-THE1 module. Our results, together with previously published studies, suggest that auxin, H+-ATPases, cell wall modifications and cell wall sensing receptor-like kinases are tightly embedded in a pathway regulating cell elongation. Furthermore, our study assigned a novel role to MKK2 as a regulator of primary root growth and a (potential) regulator of auxin biosynthesis and signalling, and suggests the importance of the MKK2\r\nThr31 phosphorylation site for growth regulation in the Arabidopsis root tip." acknowledgement: We thank the Nottingham Stock Centre for seeds, Frank Van Breusegem for the phb3 mutant, and Herman Höfte for the the1 mutant. Open Access Funding by the Austrian Science Fund (FWF). alternative_title: - Protein Phosphorylation and Cell Signaling in Plants article_number: '1665 ' article_processing_charge: Yes article_type: original author: - first_name: N full_name: Nikonorova, N last_name: Nikonorova - first_name: E full_name: Murphy, E last_name: Murphy - first_name: CF full_name: Fonseca de Lima, CF last_name: Fonseca de Lima - first_name: S full_name: Zhu, S last_name: Zhu - first_name: B full_name: van de Cotte, B last_name: van de Cotte - first_name: LD full_name: Vu, LD last_name: Vu - first_name: D full_name: Balcerowicz, D last_name: Balcerowicz - first_name: Lanxin full_name: Li, Lanxin id: 367EF8FA-F248-11E8-B48F-1D18A9856A87 last_name: Li orcid: 0000-0002-5607-272X - first_name: X full_name: Kong, X last_name: Kong - first_name: G full_name: De Rop, G last_name: De Rop - first_name: T full_name: Beeckman, T last_name: Beeckman - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: K full_name: Vissenberg, K last_name: Vissenberg - first_name: PC full_name: Morris, PC last_name: Morris - first_name: Z full_name: Ding, Z last_name: Ding - first_name: I full_name: De Smet, I last_name: De Smet citation: ama: Nikonorova N, Murphy E, Fonseca de Lima C, et al. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 2021;10. doi:10.3390/cells10071665 apa: Nikonorova, N., Murphy, E., Fonseca de Lima, C., Zhu, S., van de Cotte, B., Vu, L., … De Smet, I. (2021). The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. MDPI. https://doi.org/10.3390/cells10071665 chicago: Nikonorova, N, E Murphy, CF Fonseca de Lima, S Zhu, B van de Cotte, LD Vu, D Balcerowicz, et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” Cells. MDPI, 2021. https://doi.org/10.3390/cells10071665. ieee: N. Nikonorova et al., “The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators,” Cells, vol. 10. MDPI, 2021. ista: Nikonorova N, Murphy E, Fonseca de Lima C, Zhu S, van de Cotte B, Vu L, Balcerowicz D, Li L, Kong X, De Rop G, Beeckman T, Friml J, Vissenberg K, Morris P, Ding Z, De Smet I. 2021. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 10, 1665. mla: Nikonorova, N., et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” Cells, vol. 10, 1665, MDPI, 2021, doi:10.3390/cells10071665. short: N. Nikonorova, E. Murphy, C. Fonseca de Lima, S. Zhu, B. van de Cotte, L. Vu, D. Balcerowicz, L. Li, X. Kong, G. De Rop, T. Beeckman, J. Friml, K. Vissenberg, P. Morris, Z. Ding, I. De Smet, Cells 10 (2021). date_created: 2021-09-14T11:36:20Z date_published: 2021-07-02T00:00:00Z date_updated: 2024-10-29T10:22:44Z day: '02' ddc: - '575' department: - _id: JiFr doi: 10.3390/cells10071665 ec_funded: 1 external_id: isi: - '000676604700001' pmid: - '34359847' file: - access_level: open_access checksum: 2a9f534b9c2200e72e2cde95afaf4eed content_type: application/pdf creator: cchlebak date_created: 2021-09-16T09:07:06Z date_updated: 2021-09-16T09:07:06Z file_id: '10021' file_name: 2021_Cells_Nikonorova.pdf file_size: 2667848 relation: main_file success: 1 file_date_updated: 2021-09-16T09:07:06Z has_accepted_license: '1' intvolume: ' 10' isi: 1 keyword: - primary root - (phospho)proteomics - auxin - (receptor) kinase language: - iso: eng month: '07' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1 call_identifier: FWF name: FWF Open Access Fund publication: Cells publication_identifier: issn: - 2073-4409 publication_status: published publisher: MDPI quality_controlled: '1' related_material: record: - id: '10083' relation: dissertation_contains status: public status: public title: The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators 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: '10023' abstract: - lang: eng text: We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar Fisher information under conditions of detailed balance. Here we obtain trajectorial versions of these results, valid along almost every path of the random motion and most transparent in the backwards direction of time. Martingale arguments and time reversal play crucial roles, as in the recent work of Karatzas, Schachermayer and Tschiderer for conservative diffusions. Extensions are developed to general “convex divergences” and to countable state-spaces. The steepest descent and gradient flow properties for the variance, the relative entropy, and appropriate generalizations, are studied along with their respective geometries under conditions of detailed balance, leading to a very direct proof for the HWI inequality of Otto and Villani in the present context. acknowledgement: I.K. acknowledges support from the U.S. National Science Foundation under Grant NSF-DMS-20-04997. J.M. acknowledges support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 716117) and from the Austrian Science Fund (FWF) through project F65. W.S. acknowledges support from the Austrian Science Fund (FWF) under grant P28861 and by the Vienna Science and Technology Fund (WWTF) through projects MA14-008 and MA16-021. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Ioannis full_name: Karatzas, Ioannis last_name: Karatzas - first_name: Jan full_name: Maas, Jan id: 4C5696CE-F248-11E8-B48F-1D18A9856A87 last_name: Maas orcid: 0000-0002-0845-1338 - first_name: Walter full_name: Schachermayer, Walter last_name: Schachermayer citation: ama: Karatzas I, Maas J, Schachermayer W. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 2021;21(4):481-536. doi:10.4310/CIS.2021.v21.n4.a1 apa: Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press. https://doi.org/10.4310/CIS.2021.v21.n4.a1 chicago: Karatzas, Ioannis, Jan Maas, and Walter Schachermayer. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems. International Press, 2021. https://doi.org/10.4310/CIS.2021.v21.n4.a1. ieee: I. Karatzas, J. Maas, and W. Schachermayer, “Trajectorial dissipation and gradient flow for the relative entropy in Markov chains,” Communications in Information and Systems, vol. 21, no. 4. International Press, pp. 481–536, 2021. ista: Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536. mla: Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems, vol. 21, no. 4, International Press, 2021, pp. 481–536, doi:10.4310/CIS.2021.v21.n4.a1. short: I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536. date_created: 2021-09-19T08:53:19Z date_published: 2021-06-04T00:00:00Z date_updated: 2021-09-20T12:51:18Z day: '04' department: - _id: JaMa doi: 10.4310/CIS.2021.v21.n4.a1 ec_funded: 1 external_id: arxiv: - '2005.14177' intvolume: ' 21' issue: '4' keyword: - Markov Chain - relative entropy - time reversal - steepest descent - gradient flow language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2005.14177 month: '06' oa: 1 oa_version: Preprint page: 481-536 project: - _id: 256E75B8-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '716117' name: Optimal Transport and Stochastic Dynamics - _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2 grant_number: F6504 name: Taming Complexity in Partial Differential Systems publication: Communications in Information and Systems publication_identifier: issn: - 1526-7555 publication_status: published publisher: International Press quality_controlled: '1' status: public title: Trajectorial dissipation and gradient flow for the relative entropy in Markov chains type: journal_article user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 21 year: '2021' ...