-
Algorithmic approaches to avoiding bad local minima in nonconvex inconsistent feasibility
Authors:
Thi Lan Dinh,
Wiebke Bennecke,
G. S. Matthijs Jansen,
D. Russell Luke,
Stefan Mathias
Abstract:
The main challenge of nonconvex optimization is to find a global optimum, or at least to avoid ``bad'' local minima and meaningless stationary points. We study here the extent to which algorithms, as opposed to optimization models and regularization, can be tuned to accomplish this goal. The model we consider is a nonconvex, inconsistent feasibility problem with many local minima, where these are…
▽ More
The main challenge of nonconvex optimization is to find a global optimum, or at least to avoid ``bad'' local minima and meaningless stationary points. We study here the extent to which algorithms, as opposed to optimization models and regularization, can be tuned to accomplish this goal. The model we consider is a nonconvex, inconsistent feasibility problem with many local minima, where these are points at which the gaps between the sets are smallest on neighborhoods of these points. The algorithms that we compare are all projection-based algorithms, specifically cyclic projections, the cyclic relaxed Douglas-Rachford algorithm, and relaxed Douglas-Rachford splitting on the product space. The local convergence and fixed points of these algorithms have already been characterized in pervious theoretical studies. We demonstrate the theory for these algorithms in the context of orbital tomographic imaging from angle-resolved photon emission spectroscopy (ARPES) measurements, both synthetically generated and experimental. Our results show that, while the cyclic projections and cyclic relaxed Douglas-Rachford algorithms generally converge the fastest, the method of relaxed Douglas-Rachford splitting on the product space does move away from bad local minima of the other two algorithms, settling eventually on clusters of local minima corresponding to globally optimal critical points.
△ Less
Submitted 26 February, 2025;
originally announced February 2025.
-
Table-top three-dimensional photoemission orbital tomography with a femtosecond extreme ultraviolet light source
Authors:
Wiebke Bennecke,
Thi Lan Dinh,
Jan Philipp Bange,
David Schmitt,
Marco Merboldt,
Lennart Weinhagen,
Bent van Wingerden,
Fabio Frassetto,
Luca Poletto,
Marcel Reutzel,
Daniel Steil,
D. Russell Luke,
Stefan Mathias,
G. S. Matthijs Jansen
Abstract:
Following electronic processes in molecules and materials at the level of the quantum mechanical electron wavefunction with angstrom-level spatial resolution and with full access to its femtosecond temporal dynamics is at the heart of ultrafast condensed matter physics. A breakthrough invention allowing experimental access to electron wavefunctions was the reconstruction of molecular orbitals from…
▽ More
Following electronic processes in molecules and materials at the level of the quantum mechanical electron wavefunction with angstrom-level spatial resolution and with full access to its femtosecond temporal dynamics is at the heart of ultrafast condensed matter physics. A breakthrough invention allowing experimental access to electron wavefunctions was the reconstruction of molecular orbitals from angle-resolved photoelectron spectroscopy data in 2009, termed photoemission orbital tomography (POT). This invention puts ultrafast three-dimensional (3D) POT in reach, with many new prospects for the study of ultrafast light-matter interaction, femtochemistry and photo-induced phase transitions. Here, we develop a synergistic experimental-algorithmic approach to realize the first 3D-POT experiment using a short-pulse extreme ultraviolet light source. We combine a new variant of photoelectron spectroscopy, namely ultrafast momentum microscopy, with a table-top spectrally-tunable high-harmonic generation light source and a tailored algorithm for efficient 3D reconstruction from sparse, undersampled data. This combination dramatically speeds up the experimental data acquisition, while at the same time reducing the sampling requirements to achieve complete 3D information. We demonstrate the power of this approach by full 3D imaging of the frontier orbitals of a prototypical organic semiconductor absorbed on pristine Ag(110).
△ Less
Submitted 1 March, 2025; v1 submitted 25 February, 2025;
originally announced February 2025.
-
Cyclic Relaxed Douglas-Rachford Splitting for Inconsistent Nonconvex Feasibility
Authors:
Thi Lan Dinh,
G. S. Matthijs Jansen,
D. Russell Luke
Abstract:
We study the cyclic relaxed Douglas-Rachford algorithm for possibly nonconvex, and inconsistent feasibility problems. This algorithm can be viewed as a convex relaxation between the cyclic Douglas-Rachford algorithm first introduced by Borwein and Tam [2014] and the classical cyclic projections algorithm. We characterize the fixed points of the cyclic relaxed Douglas-Rachford algorithm and show th…
▽ More
We study the cyclic relaxed Douglas-Rachford algorithm for possibly nonconvex, and inconsistent feasibility problems. This algorithm can be viewed as a convex relaxation between the cyclic Douglas-Rachford algorithm first introduced by Borwein and Tam [2014] and the classical cyclic projections algorithm. We characterize the fixed points of the cyclic relaxed Douglas-Rachford algorithm and show the relation of the {\em shadows} of these fixed points to the fixed points of the cyclic projections algorithm. Finally, we provide conditions that guarantee local quantitative convergence estimates in the nonconvex, inconsistent setting.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
A minimalist approach to 3D photoemission orbital tomography: algorithms and data requirements
Authors:
Thi Lan Dinh,
G. S. Matthijs Jansen,
D. Russell Luke,
Wiebke Bennecke,
Stefan Mathias
Abstract:
Photoemission orbital tomography provides direct access from laboratory measurements to the real-space molecular orbitals of well-ordered organic semiconductor layers. Specifically, the application of phase retrieval algorithms to photon-energy- and angle-resolved photoemission data enables the direct reconstruction of full 3D molecular orbitals without the need for simulations using density funct…
▽ More
Photoemission orbital tomography provides direct access from laboratory measurements to the real-space molecular orbitals of well-ordered organic semiconductor layers. Specifically, the application of phase retrieval algorithms to photon-energy- and angle-resolved photoemission data enables the direct reconstruction of full 3D molecular orbitals without the need for simulations using density functional theory or the like. A major limitation for the direct approach has been the need for densely-sampled, well-calibrated 3D photoemission patterns. Here, we present an iterative projection algorithm that completely eliminates this challenge: for the benchmark case of the pentacene frontier orbitals, we demonstrate the reconstruction of the full orbital based on a dataset containing only four simulated photoemission momentum measurements. We discuss the algorithm performance, sampling requirements with respect to the photon energy, optimal measurement strategies, and the accuracy of orbital images that can be achieved.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
Comparing different subgradient methods for solving convex optimization problems with functional constraints
Authors:
Thi Lan Dinh,
Ngoc Hoang Anh Mai
Abstract:
We consider the problem of minimizing a convex, nonsmooth function subject to a closed convex constraint domain. The methods that we propose are reforms of subgradient methods based on Metel--Takeda's paper [Optimization Letters 15.4 (2021): 1491-1504] and Boyd's works [Lecture notes of EE364b, Stanford University, Spring 2013-14, pp. 1-39]. While the former has complexity…
▽ More
We consider the problem of minimizing a convex, nonsmooth function subject to a closed convex constraint domain. The methods that we propose are reforms of subgradient methods based on Metel--Takeda's paper [Optimization Letters 15.4 (2021): 1491-1504] and Boyd's works [Lecture notes of EE364b, Stanford University, Spring 2013-14, pp. 1-39]. While the former has complexity $\mathcal{O}(\varepsilon^{-2r})$ for all $r> 1$, the complexity of the latter is $\mathcal{O}(\varepsilon^{-2})$. We perform some comparisons between these two methods using several test examples.
△ Less
Submitted 21 January, 2023; v1 submitted 4 January, 2021;
originally announced January 2021.
-
Discovering Business Rules from Business Process Models
Authors:
Thanh Thoa Pham Thi,
Markus Helfert,
Fakir Hossain,
Thang Le Dinh
Abstract:
Discovering business rules from business process models are of advantage to ensure the compliance of business processes with business rules. Furthermore it provides the agility of business processes in case of business rules evolution. Current approaches are limited on types of rules that can be discovered. This paper analyses the expression power of some popular business process modelling languag…
▽ More
Discovering business rules from business process models are of advantage to ensure the compliance of business processes with business rules. Furthermore it provides the agility of business processes in case of business rules evolution. Current approaches are limited on types of rules that can be discovered. This paper analyses the expression power of some popular business process modelling languages in embedding business rules in its presentation and provides indicators to extract various types of business rules from business process models.
△ Less
Submitted 11 April, 2017;
originally announced April 2017.
-
Modelling collaborative services: The COSEMO model
Authors:
Thanh Thoa Pham Thi,
Thang Le Dinh,
Markus Helfert,
Michel Leonard
Abstract:
Despite the dominance of the service sector in the last decades, there is still a need for a strong foundation on service design and innovation. Little attention has paid on service modelling, particularly in the collaboration context. Collaboration is considered as one of solutions for surviving or sustaining the business in the high competitive atmosphere. Collaborative services require various…
▽ More
Despite the dominance of the service sector in the last decades, there is still a need for a strong foundation on service design and innovation. Little attention has paid on service modelling, particularly in the collaboration context. Collaboration is considered as one of solutions for surviving or sustaining the business in the high competitive atmosphere. Collaborative services require various service providers working together according to agreements between them, along with service consumers, in order to co-produce services. In this paper, we address crucial issues in collaborative services such as collaboration levels, sharing data and processes due to business inter-dependencies between service stakeholders. Afterward, we propose a model for Collaborative Service Modelling, which is able to cover identified issues. We also apply our proposed model to modelling an example of healthcare services in order to illustrate the relevance of our modelling approach to the matter in hand.
△ Less
Submitted 11 April, 2017;
originally announced April 2017.
