Computable analysis of linear rearrangement optimization

Farjudian, Amin (2019) Computable analysis of linear rearrangement optimization. Lecture Notes in Computer Science, 11436 . pp. 172-187. ISSN 0302-9743

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (200kB) | Preview

Abstract

Optimization problems over rearrangement classes arise in various areas such as mathematics, fluid mechanics, biology, and finance. When the generator of the rearrangement class is two-valued, they reduce to shape optimization and free boundary problems which can exhibit intriguing symmetry breaking phenomena. A robust framework is required for computable analysis of these problems. In this paper, as a first step towards such a robust framework, we provide oracle Turing machines that compute the distribution function, decreasing rearrangement, and linear rearrangement optimizers, with respect to functions that are continuous and have no significant flat zones. This assumption on the reference function is necessary, as otherwise, the aforementioned operations may not be computable. We prove that the results can be computed to within any degree of accuracy, conforming to the framework of Type-II Theory of Effectivity.

Item Type: Article
Additional Information: This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at: http://dx.doi.org/10.1007/978-3-030-14812-6_11
Keywords: Computable Analysis; Rearrangements of functions; Optimization.
Schools/Departments: University of Nottingham Ningbo China > Faculty of Science and Engineering > School of Computer Science
Identification Number: https://doi.org/10.1007/978-3-030-14812-6_11
Related URLs:
URLURL Type
https://link.springer.com/chapter/10.1007%2F978-3-030-14812-6_11Publisher
Depositing User: Yu, Tiffany
Date Deposited: 29 Apr 2019 06:13
Last Modified: 06 Mar 2020 04:30
URI: https://eprints.nottingham.ac.uk/id/eprint/56553

Actions (Archive Staff Only)

Edit View Edit View