-
Global optimality conditions for sensor placement, with extensions to binary low-rank A-optimal designs
Authors:
Christian Aarset
Abstract:
The \emph{sensor placement problem} for stochastic linear inverse problems consists of determining the optimal manner in which sensors can be employed to collect data. Specifically, one wishes to place a limited number of sensors over a large number of candidate locations, quantifying and optimising over the effect this data collection strategy has on the solution of the inverse problem. In this a…
▽ More
The \emph{sensor placement problem} for stochastic linear inverse problems consists of determining the optimal manner in which sensors can be employed to collect data. Specifically, one wishes to place a limited number of sensors over a large number of candidate locations, quantifying and optimising over the effect this data collection strategy has on the solution of the inverse problem. In this article, we provide a global optimality condition for the sensor placement problem via a subgradient argument, obtaining sufficient and necessary conditions for optimality\revix{, and marking certain sensors as \emph{dominant} or \emph{redundant}, i.e.~always on or always off}. We demonstrate how to take advantage of this optimality criterion to find approximately optimal binary designs, i.e.~designs where no fractions of sensors are placed. Leveraging our optimality criteria, we derive a powerful low-rank formulation of the A-optimal design objective for finite element-discretised function space settings, demonstrating its high computational efficiency, particularly in terms of derivatives, and study globally optimal designs for a Helmholtz-type source problem and extensions towards optimal binary designs.
△ Less
Submitted 16 May, 2025; v1 submitted 21 October, 2024;
originally announced October 2024.
-
A global optimum-informed greedy algorithm for A-optimal experimental design
Authors:
Christian Aarset
Abstract:
Optimal experimental design (OED) concerns itself with identifying ideal methods of data collection, e.g.~via sensor placement. The \emph{greedy algorithm}, that is, placing one sensor at a time, in an iteratively optimal manner, stands as an extremely robust and easily executed algorithm for this purpose. However, it is a priori unclear whether this algorithm leads to sub-optimal regimes. Taking…
▽ More
Optimal experimental design (OED) concerns itself with identifying ideal methods of data collection, e.g.~via sensor placement. The \emph{greedy algorithm}, that is, placing one sensor at a time, in an iteratively optimal manner, stands as an extremely robust and easily executed algorithm for this purpose. However, it is a priori unclear whether this algorithm leads to sub-optimal regimes. Taking advantage of the author's recent work on non-smooth convex optimality criteria for OED, we here present a framework for rejection of sub-optimal greedy indices, and study the numerical benefits this offers.
△ Less
Submitted 1 November, 2024; v1 submitted 15 September, 2024;
originally announced September 2024.
-
Bi-level regularization via iterative mesh refinement for aeroacoustics
Authors:
Christian Aarset,
Tram Thi Ngoc Nguyen
Abstract:
In this work, we illustrate the connection between adaptive mesh refinement for finite element discretized PDEs and the recently developed \emph{bi-level regularization algorithm}. By adaptive mesh refinement according to data noise, regularization effect and convergence are immediate consequences. We moreover demonstrate its numerical advantages to the classical Landweber algorithm in term of tim…
▽ More
In this work, we illustrate the connection between adaptive mesh refinement for finite element discretized PDEs and the recently developed \emph{bi-level regularization algorithm}. By adaptive mesh refinement according to data noise, regularization effect and convergence are immediate consequences. We moreover demonstrate its numerical advantages to the classical Landweber algorithm in term of time and reconstruction quality for the example of the Helmholtz equation in an aeroacoustic setting.
△ Less
Submitted 31 October, 2024; v1 submitted 10 September, 2024;
originally announced September 2024.
-
Unsupervised energy disaggregation via convolutional sparse coding
Authors:
Christian Aarset,
Andreas Habring,
Martin Holler,
Mario Mitter
Abstract:
In this work, a method for unsupervised energy disaggregation in private households equipped with smart meters is proposed. This method aims to classify power consumption as active or passive, granting the ability to report on the residents' activity and presence without direct interaction. This lays the foundation for applications like non-intrusive health monitoring of private homes.
The propo…
▽ More
In this work, a method for unsupervised energy disaggregation in private households equipped with smart meters is proposed. This method aims to classify power consumption as active or passive, granting the ability to report on the residents' activity and presence without direct interaction. This lays the foundation for applications like non-intrusive health monitoring of private homes.
The proposed method is based on minimizing a suitable energy functional, for which the iPALM (inertial proximal alternating linearized minimization) algorithm is employed, demonstrating that various conditions guaranteeing convergence are satisfied.
In order to confirm feasibility of the proposed method, experiments on semi-synthetic test data sets and a comparison to existing, supervised methods are provided.
△ Less
Submitted 24 October, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Learning-informed parameter identification in nonlinear time-dependent PDEs
Authors:
Christian Aarset,
Martin Holler,
Tram Thi Ngoc Nguyen
Abstract:
We introduce and analyze a method of learning-informed parameter identification for partial differential equations (PDEs) in an all-at-once framework. The underlying PDE model is formulated in a rather general setting with three unknowns: physical parameter, state and nonlinearity. Inspired by advances in machine learning, we approximate the nonlinearity via a neural network, whose parameters are…
▽ More
We introduce and analyze a method of learning-informed parameter identification for partial differential equations (PDEs) in an all-at-once framework. The underlying PDE model is formulated in a rather general setting with three unknowns: physical parameter, state and nonlinearity. Inspired by advances in machine learning, we approximate the nonlinearity via a neural network, whose parameters are learned from measurement data. The later is assumed to be given as noisy observations of the unknown state, and both the state and the physical parameters are identified simultaneously with the parameters of the neural network. Moreover, diverging from the classical approach, the proposed all-at-once setting avoids constructing the parameter-to-state map by explicitly handling the state as additional variable. The practical feasibility of the proposed method is confirmed with experiments using two different algorithmic settings: A function-space algorithm based on analytic adjoints as well as a purely discretized setting using standard machine learning algorithms.
△ Less
Submitted 27 April, 2023; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Bifurcations in periodic integrodifference equations in $C(Ω)$ I: Analytical results and applications
Authors:
Christian Aarset,
Christian Pötzsche
Abstract:
We study local bifurcations of periodic solutions to time-periodic (systems of) integrodifference equations over compact habitats. Such infinite-dimensional discrete dynamical systems arise in theoretical ecology as models to describe the spatial dispersal of species having nonoverlapping generations.
Our explicit criteria allow us to identify branchings of fold- and crossing curve-type, which i…
▽ More
We study local bifurcations of periodic solutions to time-periodic (systems of) integrodifference equations over compact habitats. Such infinite-dimensional discrete dynamical systems arise in theoretical ecology as models to describe the spatial dispersal of species having nonoverlapping generations.
Our explicit criteria allow us to identify branchings of fold- and crossing curve-type, which include the classical transcritical-, pitchfork- and flip-scenario as special cases. Indeed, not only tools to detect qualitative changes in models from e.g. spatial ecology and related simulations are provided, but these critical transitions are also classified. In addition, the bifurcation behavior of various time-periodic integrodifference equations is investigated and illustrated. This requires a combination of analytical methods and numerical tools based on Nyström discretization of the integral operators involved.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
