https://www.dagstuhl.de/19341

### August 18 – 23 , 2019, Dagstuhl Seminar 19341

# Algorithms and Complexity for Continuous Problems

## Organizers

Dmitriy Bilyk (University of Minnesota – Minneapolis, US)

Aicke Hinrichs (Johannes Kepler Universität Linz, AT)

Frances Y. Kuo (UNSW Sydney, AU)

Klaus Ritter (TU Kaiserslautern, DE)

## For support, please contact

## Documents

Dagstuhl Report, Volume 9, Issue 8

Aims & Scope

List of Participants

Shared Documents

Dagstuhl's Impact: Documents available

Dagstuhl Seminar Schedule [pdf]

## Summary

This was already the 13th Dagstuhl Seminar on Algorithms and Complexity for Continuous Problems over a period of 28 years. It brought together researchers from different communities working on complexity of continuous problems. Such problems, which originate from numerous areas, including physics, chemistry, finance, and economics, can almost never be solved analytically, but rather only approximately to within some error threshold. The complexity analysis ideally includes the construction of (asymptotically) optimal algorithms. Although the seminar title has remained the same, many of the topics and participants change with each seminar and each seminar in this series is of a very interdisciplinary nature. The current seminar attracted 41 participants from nine different countries all over the world. About 30% of them were young researchers including PhD students. There were 34 presentations.

The following topics were covered:

**Tractability analysis of high-dimensional problems:** Tractability analysis is an area of applied mathematics and theoretical computer science that studies the minimal computational resources needed for the approximate solution of problems with a huge number of variables, and it can be seen as a unifying theme for the preceding seminars in this series. Many concrete problems from applications have been analyzed in this context, new algorithms were developed, approaches to break the curse of dimensionality were established, but there remain a number of important open problems. Tractability analysis will serve as a guideline and a tool for establishing complexity results and for constructing algorithms for infinite dimensional problems.

**Computational stochastics:** The focus was on weak and strong approximation as well as on the quadrature problem for stochastic ordinary or partial differential equations, i.e., on models with a random dynamics in a finite- or infinite-dimensional state space. A major topic was the complexity analysis for stochastic differential equations under non-standard assumptions.

**Computing and complexity in infinite dimensions:** Computational problems with infinitely many variables naturally arise in rather different application areas. Results and techniques from tractability analysis are available and thus permit one to study infinite dimensional problems as the limit of finite dimensional ones. Moreover, the availability of generic types of algorithms, like the multivariate decomposition method or the multi-level approach, will contribute to the complexity analysis and practical application in integration and approximation problems of infinitely many variables.

**Discrepancy theory:** Classical discrepancy theory is concerned with the question how uniformly finite point sets can be distributed. The geometric notion of discrepancy is intimately connected to the complexity of integration for functions from certain function classes. For problems in both fixed low dimension and high dimension, there are intriguing open questions whose solution would impact both fields of discrepancy theory and tractability studies.

**Computational/applied harmonic analysis:** Harmonic analysis plays an increasingly important role both in discrepancy theory and tractability analysis. One highlight is the proof of the currently best known lower bound for the star discrepancy in fixed dimension, which showed close connections between different areas, so similar techniques could be used to establish better bounds for the celebrated small ball problem for Gaussian processes. Equally important for the workshop is that many of the interesting spaces of functions occurring in numerical problems are well suited to the application of harmonic analysis.

As we understand better and better, these subjects are highly interrelated, and they are probably the most active and promising ones in the fields for the next decade. Bringing together a mix of junior and senior researchers from these diverse but interrelated subjects in a Dagstuhl seminar resulted in considerable progress both for the theory and the applications in these areas.

Seminars in applied mathematics and theoretical computer science typically consist of presentations, followed by short discussions in the plenum, and numerous informal discussions in smaller groups. In this seminar, we added another new feature. A moderator was assigned to three preselected talks (based on their particular relevance and on the experience of the speaker) in order to inspire a longer, in-depth discussion in the plenum. The three speakers were Jan Výbyral, Erich Novak, and Martin Hutzenthaler. The talks were scheduled as the first talks on Tuesday, Wednesday and Thursday. It was indeed very inspiring to witness the long and deep discussions following these special talks. We feel that this format was successful and should be used also in other workshops and conferences of the community.

The work of the attendants was supported by a variety of funding agencies. This includes the Deutsche Forschungsgemeinschaft, the Austrian Science Fund, the National Science Foundation (USA), and the Australian Research Council.

As always, the excellent working conditions and friendly atmosphere provided by the Dagstuhl team have led to a rich exchange of ideas as well as a number of new collaborations. Selected papers related to this seminar will be published in a special issue of the Journal of Complexity.

**Summary text license**

Creative Commons BY 3.0 Unported license

Dmitriy Bilyk, Aicke Hinrichs, Frances Y. Kuo, and Klaus Ritter

## Dagstuhl Seminar Series

- 15391: "Algorithms and Complexity for Continuous Problems" (2015)
- 12391: "Algorithms and Complexity for Continuous Problems" (2012)
- 09391: "Algorithms and Complexity for Continuous Problems" (2009)
- 06391: "Algorithms and Complexity for Continuous Problems " (2006)
- 04401: "Algorithms and Complexity for Continuous Problems" (2004)
- 02401: "Algorithms and Complexity for Continuous Problems" (2002)
- 00391: "Algorithms and Complexity for Continuous Problems" (2000)
- 98201: "Algorithms and Complexity for Continuous Problems" (1998)
- 9643: "Algorithms and Complexity for Continuous Problems" (1996)
- 9442: "Algorithms and Complexity for Continuous Problems" (1994)
- 9242: "Algorithms and Complexity for Continuous Problems" (1992)
- 9116: "Algorithms and Complexity of Continuous Problems" (1991)

## Classification

- Data Structures / Algorithms / Complexity

## Keywords

- Tractability analysis
- Computational stochastics
- Computing and complexity in infinite dimensions
- Discrepancy theory
- Applied harmonic analysis