-
A Wrinkling Model for General Hyperelastic Materials based on Tension Field Theory
Authors:
H. M. Verhelst,
M. Möller,
J. H. Den Besten
Abstract:
Wrinkling is the phenomenon of out-of-plane deformation patterns in thin walled structures, as a result of a local compressive (internal) loads in combination with a large membrane stiffness and a small but non-zero bending stiffness. Numerical modelling typically involves thin shell formulations. As the mesh resolution depends on the wrinkle wave lengths, the analysis can become computationally e…
▽ More
Wrinkling is the phenomenon of out-of-plane deformation patterns in thin walled structures, as a result of a local compressive (internal) loads in combination with a large membrane stiffness and a small but non-zero bending stiffness. Numerical modelling typically involves thin shell formulations. As the mesh resolution depends on the wrinkle wave lengths, the analysis can become computationally expensive for shorter ones. Implicitly modeling the wrinkles using a modified kinematic or constitutive relationship based on a taut, slack or wrinkled state derived from a so-called tension field, a simplification is introduced in order to reduce computational efforts. However, this model was restricted to linear elastic material models in previous works. Aiming to develop an implicit isogeometric wrinkling model for large strain and hyperelastic material applications, a modified deformation gradient has been assumed, which can be used for any strain energy density formulation. The model is an extension of a previously published model for linear elastic material behaviour and is generalized to other types of discretisation as well. The extension for hyperelastic materials requires the derivative of the material tensor, which can be computed numerically or derived analytically. The presented model relies on a combination of dynamic relaxation and a Newton-Raphson solver, because of divergence in early Newton-Raphson iterations as a result of a changing tension field, which is not included in the stress tensor variation. Using four benchmarks, the model performance is evaluated. Convergence with the expected order for Newton-Raphson iterations has been observed, provided a fixed tension field. The model accurately approximates the mean surface of a wrinkled membrane with a reduced number of degrees of freedom in comparison to a shell solution.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Solving Electromagnetic Scattering Problems by Isogeometric Analysis with Deep Operator Learning
Authors:
Merle Backmeyer,
Stefan Kurz,
Matthias Möller,
Sebastian Schöps
Abstract:
We present a hybrid approach combining isogeometric analysis with deep operator networks to solve electromagnetic scattering problems. The neural network takes a computer-aided design representation as input and predicts the electromagnetic field in a de Rham conforming B-spline basis such that for example the tangential continuity of the electric field is respected. The physical problem is includ…
▽ More
We present a hybrid approach combining isogeometric analysis with deep operator networks to solve electromagnetic scattering problems. The neural network takes a computer-aided design representation as input and predicts the electromagnetic field in a de Rham conforming B-spline basis such that for example the tangential continuity of the electric field is respected. The physical problem is included in the loss function during training. Our numerical results demonstrate that a trained network accurately predicts the electric field, showing convergence to the analytical solution with optimal rate. Additionally, training on a variety of geometries highlights the network's generalization capabilities, achieving small error increases when applied to new geometries not included in the training set.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Room impulse response prototyping using receiver distance estimations for high quality room equalisation algorithms
Authors:
James Brooks-Park,
Martin Bo Møller,
Jan Østergaard,
Søren Bech,
Steven van de Par
Abstract:
Room equalisation aims to increase the quality of loudspeaker reproduction in reverberant environments, compensating for colouration caused by imperfect room reflections and frequency dependant loudspeaker directivity. A common technique in the field of room equalisation, is to invert a prototype Room Impulse Response (RIR). Rather than inverting a single RIR at the listening position, a prototype…
▽ More
Room equalisation aims to increase the quality of loudspeaker reproduction in reverberant environments, compensating for colouration caused by imperfect room reflections and frequency dependant loudspeaker directivity. A common technique in the field of room equalisation, is to invert a prototype Room Impulse Response (RIR). Rather than inverting a single RIR at the listening position, a prototype response is composed of several responses distributed around the listening area. This paper proposes a method of impulse response prototyping, using estimated receiver positions, to form a weighted average prototype response. A method of receiver distance estimation is described, supporting the implementation of the prototype RIR. The proposed prototyping method is compared to other methods by measuring their post equalisation spectral deviation at several positions in a simulated room.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Weak-Annotation of HAR Datasets using Vision Foundation Models
Authors:
Marius Bock,
Kristof Van Laerhoven,
Michael Moeller
Abstract:
As wearable-based data annotation remains, to date, a tedious, time-consuming task requiring researchers to dedicate substantial time, benchmark datasets within the field of Human Activity Recognition in lack richness and size compared to datasets available within related fields. Recently, vision foundation models such as CLIP have gained significant attention, helping the vision community advance…
▽ More
As wearable-based data annotation remains, to date, a tedious, time-consuming task requiring researchers to dedicate substantial time, benchmark datasets within the field of Human Activity Recognition in lack richness and size compared to datasets available within related fields. Recently, vision foundation models such as CLIP have gained significant attention, helping the vision community advance in finding robust, generalizable feature representations. With the majority of researchers within the wearable community relying on vision modalities to overcome the limited expressiveness of wearable data and accurately label their to-be-released benchmark datasets offline, we propose a novel, clustering-based annotation pipeline to significantly reduce the amount of data that needs to be annotated by a human annotator. We show that using our approach, the annotation of centroid clips suffices to achieve average labelling accuracies close to 90% across three publicly available HAR benchmark datasets. Using the weakly annotated datasets, we further demonstrate that we can match the accuracy scores of fully-supervised deep learning classifiers across all three benchmark datasets. Code as well as supplementary figures and results are publicly downloadable via github.com/mariusbock/weak_har.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Robust Market Design with Opaque Announcements
Authors:
Aram Grigoryan,
Markus Möller
Abstract:
We introduce a framework where the announcements of a clearinghouse about the allocation process are opaque in the sense that there can be more than one outcome compatible with a realization of type reports. We ask whether desirable properties can be ensured under opacity in a robust sense. A property can be guaranteed under an opaque announcement if every mechanism compatible with it satisfies th…
▽ More
We introduce a framework where the announcements of a clearinghouse about the allocation process are opaque in the sense that there can be more than one outcome compatible with a realization of type reports. We ask whether desirable properties can be ensured under opacity in a robust sense. A property can be guaranteed under an opaque announcement if every mechanism compatible with it satisfies the property. We find an impossibility result: strategy-proofness cannot be guaranteed under any level of opacity. In contrast, in some environments, weak Maskin monotonicity and non-bossiness can be guaranteed under opacity.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
High-dimensional sparse trigonometric approximation in the uniform norm and consequences for sampling recovery
Authors:
Moritz Moeller,
Serhii Stasyuk,
Tino Ullrich
Abstract:
Recent findings by Jahn, T. Ullrich, Voigtlaender [10] relate non-linear sampling numbers for the square norm to quantities involving trigonometric best $m-$term approximation errors in the uniform norm. Here we establish new results for sparse trigonometric approximation with respect to the high-dimensional setting, where the influence of the dimension $d$ has to be controlled. In particular, we…
▽ More
Recent findings by Jahn, T. Ullrich, Voigtlaender [10] relate non-linear sampling numbers for the square norm to quantities involving trigonometric best $m-$term approximation errors in the uniform norm. Here we establish new results for sparse trigonometric approximation with respect to the high-dimensional setting, where the influence of the dimension $d$ has to be controlled. In particular, we focus on best $m-$term trigonometric approximation for (unweighted) Wiener classes in $L_q$ and give precise constants. Our main results are approximation guarantees where the number of terms $m$ scales at most quadratic in the inverse accuracy $1/\varepsilon$. Providing a refined version of the classical Nikol'skij inequality we are able to extrapolate the $L_q$-result to $L_\infty$ while limiting the influence of the dimension to a $\sqrt{d}$-factor and an additonal $\log$-term in the size of the (rectangular) spectrum. This has consequences for the tractable sampling recovery via $\ell_1$-minimization of functions belonging to certain Besov classes with bounded mixed smoothness. This complements polynomial tractability results recently given by Krieg [12].
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Overdispersion in gate tomography: Experiments and continuous, two-scale random walk model on the Bloch sphere
Authors:
Wolfgang Nowak,
Tim Brünnette,
Merel Schalkers,
Matthias Möller
Abstract:
Noisy intermediate-scale quantum computers (NISQ) are in their childhood, but showing high promise. One main concern for NISQ machines is their inherent noisiness, as the qubit states are subject to disturbances with each algorithmic operation applied. In this study, we conduct experiments on quantum noise. Based on our data, we show that existing noise models fail to properly capture the aggregat…
▽ More
Noisy intermediate-scale quantum computers (NISQ) are in their childhood, but showing high promise. One main concern for NISQ machines is their inherent noisiness, as the qubit states are subject to disturbances with each algorithmic operation applied. In this study, we conduct experiments on quantum noise. Based on our data, we show that existing noise models fail to properly capture the aggregation of noise effects over an algorithm's runtime. They are underdispersed, meaning that observable frequencies scatter much more between repeated experiments than what the standard assumptions of the binomial distribution allow for. We develop noise model for the readout probabilities as a function of the number of gate operations. The model is based on a continuous random walk on the (Bloch) sphere, where the angular diffusion coefficient characterizes the noisiness of gate operations. We superimpose a second random walk at the scale of multiple readouts to account for overdispersion. The interaction of these two random walks predicts theoretical, runtime-dependent bounds for probabilities. Overall, it is a three-parameter distributional model that fits the data better than the corresponding one-scale model (without overdispersion). We demonstrate the fit and the plausibility of the predicted bounds via Bayesian data-model analysis.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
QuAS: Quantum Application Score for benchmarking the utility of quantum computers
Authors:
Koen J. Mesman,
Ward van der Schoot,
Matthias Möller,
Niels M. P. Neumann
Abstract:
Benchmarking quantum computers helps to quantify them and bringing the technology to the market. Various application-level metrics exist to benchmark a quantum device at an application level. This paper presents a revised holistic scoring method called the Quantum Application Score (QuAS) incorporating strong points of previous metrics, such as QPack and the Q-score. We discuss how to integrate bo…
▽ More
Benchmarking quantum computers helps to quantify them and bringing the technology to the market. Various application-level metrics exist to benchmark a quantum device at an application level. This paper presents a revised holistic scoring method called the Quantum Application Score (QuAS) incorporating strong points of previous metrics, such as QPack and the Q-score. We discuss how to integrate both and thereby obtain an application-level metric that better quantifies the practical utility of quantum computers. We evaluate the new metric on different hardware platforms such as D-Wave and IBM as well as quantum simulators of Quantum Inspire and Rigetti.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Tip-leakage-flow excited unsteadiness and associated control
Authors:
Yabin Liu,
Zhong-Nan Wang,
Lei Tan,
Paul Gary Tucker,
Felix M. Möller
Abstract:
Tip leakage flow in turbomachinery inherently generates intense unsteady features, named self-excited unsteadiness, which has not been well understood. A Zonalised LES (ZLES) is employed around a linear cascade, with wall-modelled Large Eddy Simulation (LES) forced to be active in the tip region. The simulation is well validated and demonstrated the advantages of effectively reducing the computati…
▽ More
Tip leakage flow in turbomachinery inherently generates intense unsteady features, named self-excited unsteadiness, which has not been well understood. A Zonalised LES (ZLES) is employed around a linear cascade, with wall-modelled Large Eddy Simulation (LES) forced to be active in the tip region. The simulation is well validated and demonstrated the advantages of effectively reducing the computational effort while maintaining an equivalent prediction accuracy in the region of interest. The time-averaged and spatial-spectral characteristics of tip leakage vortex (TLV) structures are systematically discussed. The self-excited unsteady processes of TLV include unsteady vortex separation inside the tip gap, the tip leakage jet-mainstream interaction, the primary tip leakage vortex (PTLV) wandering motion and the induced separation near endwall. The Spectral Proper Orthogonal Decomposition (SPOD) is used to examine the dominant frequencies and their coherent structures. It is found that these unsteady features change from a single high-frequency mode to a multiple lower-frequencies mode due to the PTLV breakdown. The SPOD and correlation analyses reveal that the self-excited unsteadiness is mainly induced by the interactions between unsteady vortex separation, tip leakage jet, and mainstream. The associated unsteady fluctuations are convected along the tip leakage jet trajectory, causing the wandering motion of PTLV core. Based on the cause of the investigated unsteadiness, a micro-offset tip design is proposed and validated for effectively suppressing this unsteadiness, and associated turbulence generation and hence pressure fluctuations. This work improves the understanding of tip-leakage-flow dynamics and informs the control of the associated unsteady fluid oscillation and noise.
△ Less
Submitted 16 May, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Beyond human subjectivity and error: a novel AI grading system
Authors:
Alexandra Gobrecht,
Felix Tuma,
Moritz Möller,
Thomas Zöller,
Mark Zakhvatkin,
Alexandra Wuttig,
Holger Sommerfeldt,
Sven Schütt
Abstract:
The grading of open-ended questions is a high-effort, high-impact task in education. Automating this task promises a significant reduction in workload for education professionals, as well as more consistent grading outcomes for students, by circumventing human subjectivity and error. While recent breakthroughs in AI technology might facilitate such automation, this has not been demonstrated at sca…
▽ More
The grading of open-ended questions is a high-effort, high-impact task in education. Automating this task promises a significant reduction in workload for education professionals, as well as more consistent grading outcomes for students, by circumventing human subjectivity and error. While recent breakthroughs in AI technology might facilitate such automation, this has not been demonstrated at scale. It this paper, we introduce a novel automatic short answer grading (ASAG) system. The system is based on a fine-tuned open-source transformer model which we trained on large set of exam data from university courses across a large range of disciplines. We evaluated the trained model's performance against held-out test data in a first experiment and found high accuracy levels across a broad spectrum of unseen questions, even in unseen courses. We further compared the performance of our model with that of certified human domain experts in a second experiment: we first assembled another test dataset from real historical exams - the historic grades contained in that data were awarded to students in a regulated, legally binding examination process; we therefore considered them as ground truth for our experiment. We then asked certified human domain experts and our model to grade the historic student answers again without disclosing the historic grades. Finally, we compared the hence obtained grades with the historic grades (our ground truth). We found that for the courses examined, the model deviated less from the official historic grades than the human re-graders - the model's median absolute error was 44 % smaller than the human re-graders', implying that the model is more consistent than humans in grading. These results suggest that leveraging AI enhanced grading can reduce human subjectivity, improve consistency and thus ultimately increase fairness.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Predicting Open-Hole Laminates Failure Using Support Vector Machines With Classical and Quantum Kernels
Authors:
Giorgio Tosti Balducci,
Boyang Chen,
Matthias Möller,
Marc Gerritsma,
Roeland De Breuker
Abstract:
Modeling open hole failure of composites is a complex task, consisting in a highly nonlinear response with interacting failure modes. Numerical modeling of this phenomenon has traditionally been based on the finite element method, but requires to tradeoff between high fidelity and computational cost. To mitigate this shortcoming, recent work has leveraged machine learning to predict the strength o…
▽ More
Modeling open hole failure of composites is a complex task, consisting in a highly nonlinear response with interacting failure modes. Numerical modeling of this phenomenon has traditionally been based on the finite element method, but requires to tradeoff between high fidelity and computational cost. To mitigate this shortcoming, recent work has leveraged machine learning to predict the strength of open hole composite specimens. Here, we also propose using data-based models but to tackle open hole composite failure from a classification point of view. More specifically, we show how to train surrogate models to learn the ultimate failure envelope of an open hole composite plate under in-plane loading. To achieve this, we solve the classification problem via support vector machine (SVM) and test different classifiers by changing the SVM kernel function. The flexibility of kernel-based SVM also allows us to integrate the recently developed quantum kernels in our algorithm and compare them with the standard radial basis function (RBF) kernel. Finally, thanks to kernel-target alignment optimization, we tune the free parameters of all kernels to best separate safe and failure-inducing loading states. The results show classification accuracies higher than 90% for RBF, especially after alignment, followed closely by the quantum kernel classifiers.
△ Less
Submitted 9 June, 2024; v1 submitted 5 May, 2024;
originally announced May 2024.
-
VisAnywhere: Developing Multi-platform Scientific Visualization Applications
Authors:
Thomas Marrinan,
Madeleine Moeller,
Alina Kanayinkal,
Victor A. Mateevitsi,
Michael E. Papka
Abstract:
Scientists often explore and analyze large-scale scientific simulation data by leveraging two- and three-dimensional visualizations. The data and tasks can be complex and therefore best supported using myriad display technologies, from mobile devices to large high-resolution display walls to virtual reality headsets. Using a simulation of neuron connections in the human brain, we present our work…
▽ More
Scientists often explore and analyze large-scale scientific simulation data by leveraging two- and three-dimensional visualizations. The data and tasks can be complex and therefore best supported using myriad display technologies, from mobile devices to large high-resolution display walls to virtual reality headsets. Using a simulation of neuron connections in the human brain, we present our work leveraging various web technologies to create a multi-platform scientific visualization application. Users can spread visualization and interaction across multiple devices to support flexible user interfaces and both co-located and remote collaboration. Drawing inspiration from responsive web design principles, this work demonstrates that a single codebase can be adapted to develop scientific visualization applications that operate everywhere.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Momentum exchange method for quantum Boltzmann methods
Authors:
Merel A. Schalkers,
Matthias Möller
Abstract:
The past years have seen a surge in quantum algorithms for computational fluid dynamics (CFD). These algorithms have in common that whilst promising a speed-up in the performance of the algorithm, no specific method of measurement has been suggested. This means that while the algorithms presented in the literature may be promising methods for creating the quantum state that represents the final fl…
▽ More
The past years have seen a surge in quantum algorithms for computational fluid dynamics (CFD). These algorithms have in common that whilst promising a speed-up in the performance of the algorithm, no specific method of measurement has been suggested. This means that while the algorithms presented in the literature may be promising methods for creating the quantum state that represents the final flow field, an efficient measurement strategy is not available. This paper marks the first quantum method proposed to efficiently calculate quantities of interest (QoIs) from a state vector representing the flow field. In particular, we propose a method to calculate the force acting on an object immersed in the fluid using a quantum version of the momentum exchange method (MEM) that is commonly used in lattice Boltzmann methods to determine the drag and lift coefficients. In order to achieve this we furthermore give a scheme that implements bounce back boundary conditions on a quantum computer, as those are the boundary conditions the momentum exchange method is designed for.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Vignetting Effects: a Tool to Characterize a Fourier Ptychographic Microscope
Authors:
John Meshreki,
Syed Muhammad Kazim,
Jan Philipp Schneider,
Michael Moeller,
Ivo Ihrke
Abstract:
Fourier Ptychographic Microscopy (FPM) is a recent technique to overcome the diffraction limit of a low numerical aperture (NA) objective lens by algorithmic post-processing of several lower resolved images. It can increase the space-bandwidth product of an optical system by computationally combining images captured under different illumination conditions. Vignetting determines the spatial extent…
▽ More
Fourier Ptychographic Microscopy (FPM) is a recent technique to overcome the diffraction limit of a low numerical aperture (NA) objective lens by algorithmic post-processing of several lower resolved images. It can increase the space-bandwidth product of an optical system by computationally combining images captured under different illumination conditions. Vignetting determines the spatial extent of the bright field and dark field regions in the captured images that contain information about low and high frequency image content, respectively. State-of-the-art analyses treat vignetting as a nuisance that needs to be reduced or excluded from algorithmic consideration by means of ad-hoc decision rules [1]. In contrast, this work investigates vignetting effects as a tool to infer a range of properties of the optical system. To achieve this, we characterize the individual system components of the experimental setup and compare experimental data to both, geometrical and wave optical simulations. We demonstrate that using vignetting as an analytical tool enables the modeling of the geometric and coherence properties of the optical system as evidenced by the good agreement between our simulation and experiment. Moreover, our work investigates pupil aberrations in the FPM setup and enables their partial characterization, despite not yet encompassing all aspects.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Spectral decomposition and Siegel-Veech transforms for strata: The case of marked tori
Authors:
Jayadev Athreya,
Jean Lagacé,
Martin Möller,
Martin Raum
Abstract:
Generalizing the well-known construction of Eisenstein series on the modular curves, Siegel-Veech transforms provide a natural construction of square-integrable functions on strata of differentials on Riemannian surfaces. This space carries actions of the foliated Laplacian derived from the SL(2,R)-action as well as various differential operators related to relative period translations.
In the p…
▽ More
Generalizing the well-known construction of Eisenstein series on the modular curves, Siegel-Veech transforms provide a natural construction of square-integrable functions on strata of differentials on Riemannian surfaces. This space carries actions of the foliated Laplacian derived from the SL(2,R)-action as well as various differential operators related to relative period translations.
In the paper we give spectral decompositions for the stratum of tori with two marked points. This is a homogeneous space for a special affine group, which is not reductive and thus does not fall into well-studied cases of the Langlands program, but still allows to employ techniques from representation theory and global analysis. Even for this simple stratum exhibiting all Siegel-Veech transforms requires novel configurations of saddle connections. We also show that the contiunuous spectrum of the foliated Laplacian is much larger than the space of Siegel-Veech transforms, as opposed to the case of the modular curve. This defect can be remedied by using instead a compound Laplacian involving relative period translations.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
KATch: A Fast Symbolic Verifier for NetKAT
Authors:
Mark Moeller,
Jules Jacobs,
Olivier Savary Belanger,
David Darais,
Cole Schlesinger,
Steffen Smolka,
Nate Foster,
Alexandra Silva
Abstract:
We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our results extend the techniques obtained in prior work on symbolic automata and provide a framework for building efficient and scalable verification tools. We present KATch, an implementation of these ideas in Scala, featuring a…
▽ More
We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our results extend the techniques obtained in prior work on symbolic automata and provide a framework for building efficient and scalable verification tools. We present KATch, an implementation of these ideas in Scala, featuring an extended set of NetKAT operators that are useful for expressing network-wide specifications, and a verification engine that constructs a bisimulation or generates a counter-example showing that none exists. We evaluate the performance of our implementation on real-world and synthetic benchmarks, verifying properties such as reachability and slice isolation, typically returning a result in well under a second, which is orders of magnitude faster than previous approaches. Our advancements underscore NetKAT's potential as a practical, declarative language for network specification and verification.
△ Less
Submitted 21 June, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
-
Data harvesting vs data farming: A study of the importance of variation vs sample size in deep learning-based auto-segmentation for breast cancer patients
Authors:
ES Buhl,
E Maae,
LW Matthiessen,
MH Nielsen,
M Maraldo,
M Møller,
S Elleberg,
SAJ Al-Rawi,
BV Offersen,
SS Korreman
Abstract:
The aim of this study was to investigate the difference in output, when training a model in three different scenarios: a large clinical delineated data set (with 700/78 patients for training/testing, from the Danish Breast Cancer Group (DBCG) RT Nation Study), a clinical but curated dataset (with 328/36 patients for training/testing, from the DBCG RT Nation Study) and a smaller, but dedicated data…
▽ More
The aim of this study was to investigate the difference in output, when training a model in three different scenarios: a large clinical delineated data set (with 700/78 patients for training/testing, from the Danish Breast Cancer Group (DBCG) RT Nation Study), a clinical but curated dataset (with 328/36 patients for training/testing, from the DBCG RT Nation Study) and a smaller, but dedicated data set created by delineation experts (with 123/14 patients for training/testing, consensus delineations created by delineation experts). The model performance was estimated based on the performance metrics dice similarity coefficient (DSC), Hausdorff 95th percentile (HD95) and mean surface distance (MSD). Models were tested in test sets from their own cohort, and afterwards also compared in the dedicated data test set. The difference between model output was finally estimated by measuring the mean width and cranial caudal length of the model output for the models. When testing the model output between the clinical models and the dedicated models in their own test set, the two clinical models had a poorer performance, than the dedicated models, but not all metrics showed statistically significance. When testing the models in the dedicated data, the dedicated model showed a slightly better performance, along with fewer segmentation outliers. As a way of taking advantage of the strength from both types of data set, it could be an option to use a large clinical data set as a baseline model, and then finetune with smaller sized cohorts with dedicated delineations.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Revolutionising Distance Learning: A Comparative Study of Learning Progress with AI-Driven Tutoring
Authors:
Moritz Möller,
Gargi Nirmal,
Dario Fabietti,
Quintus Stierstorfer,
Mark Zakhvatkin,
Holger Sommerfeld,
Sven Schütt
Abstract:
Generative AI is expected to have a vast, positive impact on education; however, at present, this potential has not yet been demonstrated at scale at university level. In this study, we present first evidence that generative AI can increase the speed of learning substantially in university students. We tested whether using the AI-powered teaching assistant Syntea affected the speed of learning of…
▽ More
Generative AI is expected to have a vast, positive impact on education; however, at present, this potential has not yet been demonstrated at scale at university level. In this study, we present first evidence that generative AI can increase the speed of learning substantially in university students. We tested whether using the AI-powered teaching assistant Syntea affected the speed of learning of hundreds of distance learning students across more than 40 courses at the IU International University of Applied Sciences. Our analysis suggests that using Syntea reduced their study time substantially--by about 27\% on average--in the third month after the release of Syntea. Taken together, the magnitude of the effect and the scalability of the approach implicate generative AI as a key lever to significantly improve and accelerate learning by personalisation.
△ Less
Submitted 21 February, 2024;
originally announced March 2024.
-
Boundary parameter matching for isogeometric analysis using Schwarz-Christoffel mapping
Authors:
Ye Ji,
Matthias Möller,
Yingying Yu,
Chungang Zhu
Abstract:
Isogeometric analysis has brought a paradigm shift in integrating computational simulations with geometric designs across engineering disciplines. This technique necessitates analysis-suitable parameterization of physical domains to fully harness the synergy between Computer-Aided Design and Computer-Aided Engineering analyses. The existing methods often fix boundary parameters, leading to challen…
▽ More
Isogeometric analysis has brought a paradigm shift in integrating computational simulations with geometric designs across engineering disciplines. This technique necessitates analysis-suitable parameterization of physical domains to fully harness the synergy between Computer-Aided Design and Computer-Aided Engineering analyses. The existing methods often fix boundary parameters, leading to challenges in elongated geometries such as fluid channels and tubular reactors. This paper presents an innovative solution for the boundary parameter matching problem, specifically designed for analysis-suitable parameterizations. We employ a sophisticated Schwarz-Christoffel mapping technique, which is instrumental in computing boundary correspondences. A refined boundary curve reparameterization process complements this. Our dual-strategy approach maintains the geometric exactness and continuity of input physical domains, overcoming limitations often encountered with the existing reparameterization techniques. By employing our proposed boundary parameter method, we show that even a simple linear interpolation approach can effectively construct a satisfactory analysis-suitable parameterization. Our methodology offers significant improvements over traditional practices, enabling the generation of analysis-suitable and geometrically precise models, which is crucial for ensuring accurate simulation results. Numerical experiments show the capacity of the proposed method to enhance the quality and reliability of isogeometric analysis workflows.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Topological Phase Transitions of Interacting Fermions in the Presence of a Commensurate Magnetic Flux
Authors:
Axel Fünfhaus,
Marius Möller,
Thilo Kopp,
Roser Valentí
Abstract:
Motivated by recently reported magnetic-field induced topological phases in ultracold atoms and correlated Moiré materials, we investigate topological phase transitions in a minimal model consisting of interacting spinless fermions described by the Hofstadter model on a square lattice. For interacting lattice Hamiltonians in the presence of a commensurate magnetic flux it has been demonstrated tha…
▽ More
Motivated by recently reported magnetic-field induced topological phases in ultracold atoms and correlated Moiré materials, we investigate topological phase transitions in a minimal model consisting of interacting spinless fermions described by the Hofstadter model on a square lattice. For interacting lattice Hamiltonians in the presence of a commensurate magnetic flux it has been demonstrated that the quantized Hall conductivity is constrained by a Lieb-Schultz-Mattis (LSM)-type theorem due to magnetic translation symmetry. In this work, we revisit the validity of the theorem for such models and establish that a topological phase transition from a topological to a trivial insulating phase can be realized but must be accompanied by spontaneous magnetic translation symmetry breaking caused by charge ordering of the spinless fermions. To support our findings, the topological phase diagram for varying interaction strength is mapped out numerically with exact diagonalization for different flux quantum ratios and band fillings using symmetry indicators. We discuss our results in the context of the LSM-type theorem.
△ Less
Submitted 15 July, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Modal analysis of high-fidelity simulations in turbomachinery
Authors:
Christian Morsbach,
Bjoern F. Klose,
Michael Bergmann,
Felix M. Möller
Abstract:
We revisit recently published high-fidelity implicit large eddy simulation datasets obtained with a high-order discontinuous Galerkin spectral element method and analyse them using Proper Orthogonal Decomposition (POD) as well as Spectral Proper Orthogonal Decomposition (SPOD). The first configuration is the MTU T161 low-pressure turbine cascade with resolved end wall boundary layers in a clean ve…
▽ More
We revisit recently published high-fidelity implicit large eddy simulation datasets obtained with a high-order discontinuous Galerkin spectral element method and analyse them using Proper Orthogonal Decomposition (POD) as well as Spectral Proper Orthogonal Decomposition (SPOD). The first configuration is the MTU T161 low-pressure turbine cascade with resolved end wall boundary layers in a clean version and one with incoming turbulent wakes. We focus on the behaviour of the laminar separation bubble and the secondary flow system and how these phenomena are affected by incoming wakes. The second configuration is a transonic compressor cascade in which we analyse the unsteady behaviour of the shock wave boundary layer interaction. Throughout the paper, we try to discuss not only the flow physics but also insights into how the modal decomposition techniques can help facilitate understanding and where their limitations are.
△ Less
Submitted 29 February, 2024;
originally announced March 2024.
-
Robustness and Exploration of Variational and Machine Learning Approaches to Inverse Problems: An Overview
Authors:
Alexander Auras,
Kanchana Vaishnavi Gandikota,
Hannah Droege,
Michael Moeller
Abstract:
This paper provides an overview of current approaches for solving inverse problems in imaging using variational methods and machine learning. A special focus lies on point estimators and their robustness against adversarial perturbations. In this context results of numerical experiments for a one-dimensional toy problem are provided, showing the robustness of different approaches and empirically v…
▽ More
This paper provides an overview of current approaches for solving inverse problems in imaging using variational methods and machine learning. A special focus lies on point estimators and their robustness against adversarial perturbations. In this context results of numerical experiments for a one-dimensional toy problem are provided, showing the robustness of different approaches and empirically verifying theoretical guarantees. Another focus of this review is the exploration of the subspace of data-consistent solutions through explicit guidance to satisfy specific semantic or textural properties.
△ Less
Submitted 9 July, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Evaluating Adversarial Robustness of Low dose CT Recovery
Authors:
Kanchana Vaishnavi Gandikota,
Paramanand Chandramouli,
Hannah Droege,
Michael Moeller
Abstract:
Low dose computed tomography (CT) acquisition using reduced radiation or sparse angle measurements is recommended to decrease the harmful effects of X-ray radiation. Recent works successfully apply deep networks to the problem of low dose CT recovery on bench-mark datasets. However, their robustness needs a thorough evaluation before use in clinical settings. In this work, we evaluate the robustne…
▽ More
Low dose computed tomography (CT) acquisition using reduced radiation or sparse angle measurements is recommended to decrease the harmful effects of X-ray radiation. Recent works successfully apply deep networks to the problem of low dose CT recovery on bench-mark datasets. However, their robustness needs a thorough evaluation before use in clinical settings. In this work, we evaluate the robustness of different deep learning approaches and classical methods for CT recovery. We show that deep networks, including model-based networks encouraging data consistency, are more susceptible to untargeted attacks. Surprisingly, we observe that data consistency is not heavily affected even for these poor quality reconstructions, motivating the need for better regularization for the networks. We demonstrate the feasibility of universal attacks and study attack transferability across different methods. We analyze robustness to attacks causing localized changes in clinically relevant regions. Both classical approaches and deep networks are affected by such attacks leading to changes in the visual appearance of localized lesions, for extremely small perturbations. As the resulting reconstructions have high data consistency with the original measurements, these localized attacks can be used to explore the solution space of the CT recovery problem.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
Quantum Computing and Tensor Networks for Laminate Design: A Novel Approach to Stacking Sequence Retrieval
Authors:
Arne Wulff,
Boyang Chen,
Matthew Steinberg,
Yinglu Tang,
Matthias Möller,
Sebastian Feld
Abstract:
As with many tasks in engineering, structural design frequently involves navigating complex and computationally expensive problems. A prime example is the weight optimization of laminated composite materials, which to this day remains a formidable task, due to an exponentially large configuration space and non-linear constraints. The rapidly developing field of quantum computation may offer novel…
▽ More
As with many tasks in engineering, structural design frequently involves navigating complex and computationally expensive problems. A prime example is the weight optimization of laminated composite materials, which to this day remains a formidable task, due to an exponentially large configuration space and non-linear constraints. The rapidly developing field of quantum computation may offer novel approaches for addressing these intricate problems. However, before applying any quantum algorithm to a given problem, it must be translated into a form that is compatible with the underlying operations on a quantum computer. Our work specifically targets stacking sequence retrieval with lamination parameters. To adapt this problem for quantum computational methods, we map the possible stacking sequences onto a quantum state space. We further derive a linear operator, the Hamiltonian, within this state space that encapsulates the loss function inherent to the stacking sequence retrieval problem. Additionally, we demonstrate the incorporation of manufacturing constraints on stacking sequences as penalty terms in the Hamiltonian. This quantum representation is suitable for a variety of classical and quantum algorithms for finding the ground state of a quantum Hamiltonian. For a practical demonstration, we performed state-vector simulations of two variational quantum algorithms and additionally chose a classical tensor network algorithm, the DMRG algorithm, to numerically validate our approach. Although this work primarily concentrates on quantum computation, the application of tensor network algorithms presents a novel quantum-inspired approach for stacking sequence retrieval.
△ Less
Submitted 19 September, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
A smooth compactification of spaces of stability conditions: the case of the $A_{n}$-quiver
Authors:
Anna Barbieri,
Martin Möller,
Jeonghoon So
Abstract:
We propose a notion of multi-scale stability conditions with the goal of providing a smooth compactification of the quotient of the space of projectivized Bridgeland stability conditions by the group of autoequivalence. For the case of the 3CY category associated with the $A_n$-quiver this goal is achieved by defining a topology and complex structure that relies on a plumbing construction. We comp…
▽ More
We propose a notion of multi-scale stability conditions with the goal of providing a smooth compactification of the quotient of the space of projectivized Bridgeland stability conditions by the group of autoequivalence. For the case of the 3CY category associated with the $A_n$-quiver this goal is achieved by defining a topology and complex structure that relies on a plumbing construction. We compare this compactification to the multi-scale compactification of quadratic differentials and briefly indicate why even for the Kronecker quiver this notion needs refinement to provide a full compactification.
△ Less
Submitted 23 September, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
Temporal Action Localization for Inertial-based Human Activity Recognition
Authors:
Marius Bock,
Michael Moeller,
Kristof Van Laerhoven
Abstract:
As of today, state-of-the-art activity recognition from wearable sensors relies on algorithms being trained to classify fixed windows of data. In contrast, video-based Human Activity Recognition, known as Temporal Action Localization (TAL), has followed a segment-based prediction approach, localizing activity segments in a timeline of arbitrary length. This paper is the first to systematically dem…
▽ More
As of today, state-of-the-art activity recognition from wearable sensors relies on algorithms being trained to classify fixed windows of data. In contrast, video-based Human Activity Recognition, known as Temporal Action Localization (TAL), has followed a segment-based prediction approach, localizing activity segments in a timeline of arbitrary length. This paper is the first to systematically demonstrate the applicability of state-of-the-art TAL models for both offline and near-online Human Activity Recognition (HAR) using raw inertial data as well as pre-extracted latent features as input. Offline prediction results show that TAL models are able to outperform popular inertial models on a multitude of HAR benchmark datasets, with improvements reaching as much as 26% in F1-score. We show that by analyzing timelines as a whole, TAL models can produce more coherent segments and achieve higher NULL-class accuracy across all datasets. We demonstrate that TAL is less suited for the immediate classification of small-sized windows of data, yet offers an interesting perspective on inertial-based HAR -- alleviating the need for fixed-size windows and enabling algorithms to recognize activities of arbitrary length. With design choices and training concepts yet to be explored, we argue that TAL architectures could be of significant value to the inertial-based HAR community. The code and data download to reproduce experiments is publicly available via github.com/mariusbock/tal_for_har.
△ Less
Submitted 14 October, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Graphene-based thermopneumatic generator for on-board pressure supply of soft robots
Authors:
Armin Reimers,
Jannik Rank,
Erik Greve,
Morten Möller,
Sören Kaps,
Jörg Bahr,
Rainer Adelung,
Fabian Schütt
Abstract:
Various fields, including medical and human interaction robots, gain advantages from the development of bioinspired soft actuators. Many recently developed grippers are pneumatics that require external pressure supply systems, thereby limiting the autonomy of these robots. This necessitates the development of scalable and efficient on-board pressure generation systems. While conventional air compr…
▽ More
Various fields, including medical and human interaction robots, gain advantages from the development of bioinspired soft actuators. Many recently developed grippers are pneumatics that require external pressure supply systems, thereby limiting the autonomy of these robots. This necessitates the development of scalable and efficient on-board pressure generation systems. While conventional air compression systems are hard to miniaturize, thermopneumatic systems that joule-heat a transducer material to generate pressure present a promising alternative. However, the transducer materials of previously reported thermopneumatic systems demonstrate high heat capacities and limited surface area resulting in long response times and low operation frequencies. This study presents a thermopneumatic pressure generator using aerographene, a highly porous (>99.99 %) network of interconnected graphene microtubes, as lightweight and low heat capacity transducer material. An aerographene pressurizer module (AGPM) can pressurize a reservoir of 4.2 cm3 to about ~140 mbar in 50 ms. Periodic operation of the AGPM for 10 s at 0.66 Hz can further increase the pressure in the reservoir to ~360 mbar. It is demonstrated that multiple AGPMs can be operated parallelly or in series for improved performance. For example, three parallelly operated AGPMs can generate pressure pulses of ~215 mbar. Connecting AGPMs in series increases the maximum pressure achievable by the system. It is shown that three AGPMs working in series can pressurize the reservoir to ~2000 mbar in about 2.5 min. The AGPM's minimalistic design can be easily adapted to circuit boards, making the concept a promising fit for the on-board pressure supply of soft robots.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Quantum Neural Networks for Power Flow Analysis
Authors:
Zeynab Kaseb,
Matthias Moller,
Giorgio Tosti Balducci,
Peter Palensky,
Pedro P. Vergara
Abstract:
This paper explores the potential application of quantum and hybrid quantum-classical neural networks in power flow analysis. Experiments are conducted using two datasets based on 4-bus and 33-bus test systems. A systematic performance comparison is also conducted among quantum, hybrid quantum-classical, and classical neural networks. The comparison is based on (i) generalization ability, (ii) rob…
▽ More
This paper explores the potential application of quantum and hybrid quantum-classical neural networks in power flow analysis. Experiments are conducted using two datasets based on 4-bus and 33-bus test systems. A systematic performance comparison is also conducted among quantum, hybrid quantum-classical, and classical neural networks. The comparison is based on (i) generalization ability, (ii) robustness, (iii) training dataset size needed, (iv) training error, and (v) training process stability. The results show that the developed hybrid quantum-classical neural network outperforms both quantum and classical neural networks, and hence can improve deep learning-based power flow analysis in the noisy-intermediate-scale quantum (NISQ) and fault-tolerant quantum (FTQ) era.
△ Less
Submitted 10 March, 2024; v1 submitted 4 November, 2023;
originally announced November 2023.
-
A short report on preconditioned Anderson acceleration method
Authors:
Kewang Chen,
Ye Ji,
Matthias Möller,
Cornelis Vuik
Abstract:
In this report, we present a versatile and efficient preconditioned Anderson acceleration (PAA) method for fixed-point iterations. The proposed framework offers flexibility in balancing convergence rates (linear, super-linear, or quadratic) and computational costs related to the Jacobian matrix. Our approach recovers various fixed-point iteration techniques, including Picard, Newton, and quasi-New…
▽ More
In this report, we present a versatile and efficient preconditioned Anderson acceleration (PAA) method for fixed-point iterations. The proposed framework offers flexibility in balancing convergence rates (linear, super-linear, or quadratic) and computational costs related to the Jacobian matrix. Our approach recovers various fixed-point iteration techniques, including Picard, Newton, and quasi-Newton iterations. The PAA method can be interpreted as employing Anderson acceleration (AA) as its own preconditioner or as an accelerator for quasi-Newton methods when their convergence is insufficient. Adaptable to a wide range of problems with differing degrees of nonlinearity and complexity, the method achieves improved convergence rates and robustness by incorporating suitable preconditioners. We test multiple preconditioning strategies on various problems and investigate a delayed update strategy for preconditioners to further reduce the computational costs.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Laser-induced real-space topology control of spin wave resonances
Authors:
Tim Titze,
Sabri Koraltan,
Timo Schmidt,
Marcel Möller,
Florian Bruckner,
Claas Abert,
Dieter Suess,
Claus Ropers,
Daniel Steil,
Manfred Albrecht,
Stefan Mathias
Abstract:
Femtosecond laser excitation of materials that exhibit magnetic spin textures promises advanced magnetic control via the generation of ultrafast and non-equilibrium spin dynamics. We explore such possibilities in ferrimagnetic [Fe(0.35 nm)/Gd(0.40 nm)]$_{160}$ multilayers, which host a rich diversity of magnetic textures from stripe domains at low magnetic fields, a dense bubble/skyrmion lattice a…
▽ More
Femtosecond laser excitation of materials that exhibit magnetic spin textures promises advanced magnetic control via the generation of ultrafast and non-equilibrium spin dynamics. We explore such possibilities in ferrimagnetic [Fe(0.35 nm)/Gd(0.40 nm)]$_{160}$ multilayers, which host a rich diversity of magnetic textures from stripe domains at low magnetic fields, a dense bubble/skyrmion lattice at intermediate fields, and a single domain state for high magnetic fields. Using femtosecond magneto-optics, we observe distinct coherent spin wave dynamics in response to a weak laser excitation allowing us to unambiguously identify the different magnetic spin textures. Moreover, employing strong laser excitation we show that we achieve versatile control of the coherent spin dynamics via non-equilibrium and ultrafast transformation of magnetic spin textures by both creating and annihilating bubbles/skyrmions. We corroborate our findings by micromagnetic simulations and by Lorentz transmission electron microscopy before and after laser exposure.
△ Less
Submitted 22 September, 2023;
originally announced September 2023.
-
Bring the Noise: Introducing Noise Robustness to Pretrained Automatic Speech Recognition
Authors:
Patrick Eickhoff,
Matthias Möller,
Theresa Pekarek Rosin,
Johannes Twiefel,
Stefan Wermter
Abstract:
In recent research, in the domain of speech processing, large End-to-End (E2E) systems for Automatic Speech Recognition (ASR) have reported state-of-the-art performance on various benchmarks. These systems intrinsically learn how to handle and remove noise conditions from speech. Previous research has shown, that it is possible to extract the denoising capabilities of these models into a preproces…
▽ More
In recent research, in the domain of speech processing, large End-to-End (E2E) systems for Automatic Speech Recognition (ASR) have reported state-of-the-art performance on various benchmarks. These systems intrinsically learn how to handle and remove noise conditions from speech. Previous research has shown, that it is possible to extract the denoising capabilities of these models into a preprocessor network, which can be used as a frontend for downstream ASR models. However, the proposed methods were limited to specific fully convolutional architectures. In this work, we propose a novel method to extract the denoising capabilities, that can be applied to any encoder-decoder architecture. We propose the Cleancoder preprocessor architecture that extracts hidden activations from the Conformer ASR model and feeds them to a decoder to predict denoised spectrograms. We train our pre-processor on the Noisy Speech Database (NSD) to reconstruct denoised spectrograms from noisy inputs. Then, we evaluate our model as a frontend to a pretrained Conformer ASR model as well as a frontend to train smaller Conformer ASR models from scratch. We show that the Cleancoder is able to filter noise from speech and that it improves the total Word Error Rate (WER) of the downstream model in noisy conditions for both applications.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Kissing to Find a Match: Efficient Low-Rank Permutation Representation
Authors:
Hannah Dröge,
Zorah Lähner,
Yuval Bahat,
Onofre Martorell,
Felix Heide,
Michael Möller
Abstract:
Permutation matrices play a key role in matching and assignment problems across the fields, especially in computer vision and robotics. However, memory for explicitly representing permutation matrices grows quadratically with the size of the problem, prohibiting large problem instances. In this work, we propose to tackle the curse of dimensionality of large permutation matrices by approximating th…
▽ More
Permutation matrices play a key role in matching and assignment problems across the fields, especially in computer vision and robotics. However, memory for explicitly representing permutation matrices grows quadratically with the size of the problem, prohibiting large problem instances. In this work, we propose to tackle the curse of dimensionality of large permutation matrices by approximating them using low-rank matrix factorization, followed by a nonlinearity. To this end, we rely on the Kissing number theory to infer the minimal rank required for representing a permutation matrix of a given size, which is significantly smaller than the problem size. This leads to a drastic reduction in computation and memory costs, e.g., up to $3$ orders of magnitude less memory for a problem of size $n=20000$, represented using $8.4\times10^5$ elements in two small matrices instead of using a single huge matrix with $4\times 10^8$ elements. The proposed representation allows for accurate representations of large permutation matrices, which in turn enables handling large problems that would have been infeasible otherwise. We demonstrate the applicability and merits of the proposed approach through a series of experiments on a range of problems that involve predicting permutation matrices, from linear and quadratic assignment to shape matching problems.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
SIGMA: Scale-Invariant Global Sparse Shape Matching
Authors:
Maolin Gao,
Paul Roetzer,
Marvin Eisenberger,
Zorah Lähner,
Michael Moeller,
Daniel Cremers,
Florian Bernard
Abstract:
We propose a novel mixed-integer programming (MIP) formulation for generating precise sparse correspondences for highly non-rigid shapes. To this end, we introduce a projected Laplace-Beltrami operator (PLBO) which combines intrinsic and extrinsic geometric information to measure the deformation quality induced by predicted correspondences. We integrate the PLBO, together with an orientation-aware…
▽ More
We propose a novel mixed-integer programming (MIP) formulation for generating precise sparse correspondences for highly non-rigid shapes. To this end, we introduce a projected Laplace-Beltrami operator (PLBO) which combines intrinsic and extrinsic geometric information to measure the deformation quality induced by predicted correspondences. We integrate the PLBO, together with an orientation-aware regulariser, into a novel MIP formulation that can be solved to global optimality for many practical problems. In contrast to previous methods, our approach is provably invariant to rigid transformations and global scaling, initialisation-free, has optimality guarantees, and scales to high resolution meshes with (empirically observed) linear time. We show state-of-the-art results for sparse non-rigid matching on several challenging 3D datasets, including data with inconsistent meshing, as well as applications in mesh-to-point-cloud matching.
△ Less
Submitted 3 April, 2024; v1 submitted 16 August, 2023;
originally announced August 2023.
-
An Evaluation of Zero-Cost Proxies -- from Neural Architecture Performance to Model Robustness
Authors:
Jovita Lukasik,
Michael Moeller,
Margret Keuper
Abstract:
Zero-cost proxies are nowadays frequently studied and used to search for neural architectures. They show an impressive ability to predict the performance of architectures by making use of their untrained weights. These techniques allow for immense search speed-ups. So far the joint search for well-performing and robust architectures has received much less attention in the field of NAS. Therefore,…
▽ More
Zero-cost proxies are nowadays frequently studied and used to search for neural architectures. They show an impressive ability to predict the performance of architectures by making use of their untrained weights. These techniques allow for immense search speed-ups. So far the joint search for well-performing and robust architectures has received much less attention in the field of NAS. Therefore, the main focus of zero-cost proxies is the clean accuracy of architectures, whereas the model robustness should play an evenly important part. In this paper, we analyze the ability of common zero-cost proxies to serve as performance predictors for robustness in the popular NAS-Bench-201 search space. We are interested in the single prediction task for robustness and the joint multi-objective of clean and robust accuracy. We further analyze the feature importance of the proxies and show that predicting the robustness makes the prediction task from existing zero-cost proxies more challenging. As a result, the joint consideration of several proxies becomes necessary to predict a model's robustness while the clean accuracy can be regressed from a single such feature.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Goal-Adaptive Meshing of Isogeometric Kirchhoff-Love Shells
Authors:
H. M. Verhelst,
A. Mantzaflaris,
M. Möller,
J. H. Den Besten
Abstract:
Mesh adaptivity is a technique to provide detail in numerical solutions without the need to refine the mesh over the whole domain. Mesh adaptivity in isogeometric analysis can be driven by Truncated Hierarchical B-splines (THB-splines) which add degrees of freedom locally based on finer B-spline bases. Labeling of elements for refinement is typically done using residual-based error estimators. In…
▽ More
Mesh adaptivity is a technique to provide detail in numerical solutions without the need to refine the mesh over the whole domain. Mesh adaptivity in isogeometric analysis can be driven by Truncated Hierarchical B-splines (THB-splines) which add degrees of freedom locally based on finer B-spline bases. Labeling of elements for refinement is typically done using residual-based error estimators. In this paper, an adaptive meshing workflow for isogeometric Kirchhoff-Love shell analysis is developed. This framework includes THB-splines, mesh admissibility for combined refinement and coarsening and the Dual-Weighted Residual (DWR) method for computing element-wise error contributions. The DWR can be used in several structural analysis problems, allowing the user to specify a goal quantity of interest which is used to mark elements and refine the mesh. This goal functional can involve, for example, displacements, stresses, eigenfrequencies etc. The proposed framework is evaluated through a set of different benchmark problems, including modal analysis, buckling analysis and non-linear snap-through and bifurcation problems, showing high accuracy of the DWR estimator and efficient allocation of degrees of freedom for advanced shell computations.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Electrochemical etching strategy for shaping monolithic 3D structures from 4H-SiC wafers
Authors:
André Hochreiter,
Fabian Groß,
Morris-Niklas Möller,
Michael Krieger,
Heiko B. Weber
Abstract:
Silicon Carbide (SiC) is an outstanding material, not only for electronic applications, but also for projected functionalities in the realm of photonic quantum technologies, nano-mechanical resonators and photonics on-a-chip. For shaping 3D structures out of SiC wafers, predominantly dry-etching techniques are used. SiC is nearly inert with respect to wet-etching, occasionally photoelectrochemical…
▽ More
Silicon Carbide (SiC) is an outstanding material, not only for electronic applications, but also for projected functionalities in the realm of photonic quantum technologies, nano-mechanical resonators and photonics on-a-chip. For shaping 3D structures out of SiC wafers, predominantly dry-etching techniques are used. SiC is nearly inert with respect to wet-etching, occasionally photoelectrochemical etching strategies have been applied. Here, we propose an electrochemical etching strategy that solely relies on defining etchable volumina by implantation of p-dopands. Together with the inertness of the n-doped regions, very sharp etching contrasts can be achieved. We present devices as different as monolithic cantilevers, disk-shaped optical resonators and membranes etched out of a single crystal wafer. The high quality of the resulting surfaces can even be enhanced by thermal treatment, with shape-stable devices up to and even beyond 1550°C. The versatility of our approach paves the way for new functionalities on SiC as high-performance multi-functional wafer platform.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
Multifunctional, Self-Cleaning Air Filters Based on Graphene-Enhanced Ceramic Networks
Authors:
Armin Reimers,
Ala Bouhanguel,
Erik Greve,
Morten Möller,
Lena Marie Saure,
Sören Kaps,
Lasse Wegner,
Ali Shaygan Nia,
Xinliang Feng,
Fabian Schütt,
Yves Andres,
Rainer Adelung
Abstract:
Particulate air pollution is taking a huge toll on modern society, being associated with more than three million deaths per year. In addition, airborne infectious microorganism can spread dangerous diseases, further elevating the problem. A common way to mitigate the risks of airborne particles is by air filtration. However, conventional air filters usually do not provide any functionality beyond…
▽ More
Particulate air pollution is taking a huge toll on modern society, being associated with more than three million deaths per year. In addition, airborne infectious microorganism can spread dangerous diseases, further elevating the problem. A common way to mitigate the risks of airborne particles is by air filtration. However, conventional air filters usually do not provide any functionality beyond particle removal. They are unable to inactivate accumulated contaminants and therefore need periodic maintenance and replacement to remain operational and safe. This work presents a multifunctional, self-cleaning air filtration system which utilizes a novel graphene-enhanced air filter medium (GeFM). The hybrid network of the GeFM combines the passive structure-based air filtration properties of an underlying ceramic network with additional active features based on the functional properties of a graphene thin film. The GeFM is able to capture >95 % of microorganisms and particles larger than 1 $μ$m and can be repetitively Joule-heated to >300 °C for several hours without signs of degradation. Hereby, built-up organic particulate matter and microbial contaminants are effectively decomposed, regenerating the GeFM. Additionally, the GeFM provides unique options to monitor the filter's air troughput and loading status during operation. The active features of the GeFM can drastically improve filter life-time and safety, offering great potential for the development of safer and more sustainable air filtration solutions to face the future challenges of air pollution and pandemics.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
A Theory of Auditability for Allocation Mechanisms
Authors:
Aram Grigoryan,
Markus Möller
Abstract:
In centralized mechanisms and platforms, participants do not fully observe each others' type reports. Hence, if there is a deviation from the promised mechanism, participants may be unable to detect it. We formalize a notion of auditabilty that captures how easy or hard it is to detect deviations from a mechanism. We find a stark contrast between the auditabilities of prominent mechanisms. We also…
▽ More
In centralized mechanisms and platforms, participants do not fully observe each others' type reports. Hence, if there is a deviation from the promised mechanism, participants may be unable to detect it. We formalize a notion of auditabilty that captures how easy or hard it is to detect deviations from a mechanism. We find a stark contrast between the auditabilities of prominent mechanisms. We also provide tight characterizations of maximally auditable classes of allocation mechanisms.
△ Less
Submitted 17 May, 2024; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Teichmüller curves in hyperelliptic components of meromorphic strata
Authors:
Martin Möller,
Scott Mullane
Abstract:
We provide a complete classification of Teichmüller curves occurring in hyperelliptic components of the meromorphic strata of differentials. Using a non-existence criterion based on how Teichmüller curves intersect the boundary of the moduli space we derive a contradiction to the algebraicity of any candidate outside of Hurwitz covers of strata with projective dimension one and Hurwitz covers of z…
▽ More
We provide a complete classification of Teichmüller curves occurring in hyperelliptic components of the meromorphic strata of differentials. Using a non-existence criterion based on how Teichmüller curves intersect the boundary of the moduli space we derive a contradiction to the algebraicity of any candidate outside of Hurwitz covers of strata with projective dimension one and Hurwitz covers of zero residue loci in strata with projective dimension two.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Differentiable Sensor Layouts for End-to-End Learning of Task-Specific Camera Parameters
Authors:
Hendrik Sommerhoff,
Shashank Agnihotri,
Mohamed Saleh,
Michael Moeller,
Margret Keuper,
Andreas Kolb
Abstract:
The success of deep learning is frequently described as the ability to train all parameters of a network on a specific application in an end-to-end fashion. Yet, several design choices on the camera level, including the pixel layout of the sensor, are considered as pre-defined and fixed, and high resolution, regular pixel layouts are considered to be the most generic ones in computer vision and gr…
▽ More
The success of deep learning is frequently described as the ability to train all parameters of a network on a specific application in an end-to-end fashion. Yet, several design choices on the camera level, including the pixel layout of the sensor, are considered as pre-defined and fixed, and high resolution, regular pixel layouts are considered to be the most generic ones in computer vision and graphics, treating all regions of an image as equally important. While several works have considered non-uniform, \eg, hexagonal or foveated, pixel layouts in hardware and image processing, the layout has not been integrated into the end-to-end learning paradigm so far. In this work, we present the first truly end-to-end trained imaging pipeline that optimizes the size and distribution of pixels on the imaging sensor jointly with the parameters of a given neural network on a specific task. We derive an analytic, differentiable approach for the sensor layout parameterization that allows for task-specific, local varying pixel resolutions. We present two pixel layout parameterization functions: rectangular and curvilinear grid shapes that retain a regular topology. We provide a drop-in module that approximates sensor simulation given existing high-resolution images to directly connect our method with existing deep learning models. We show that network predictions benefit from learnable pixel layouts for two different downstream tasks, classification and semantic segmentation.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Rigidity and non-existence results for collapsed translators
Authors:
Debora Impera,
Niels Martin Møller,
Michele Rimoldi
Abstract:
We prove a rigidity result for mean curvature self-translating solitons, characterizing the grim reaper cylinder as the only finite entropy self-translating 2-surface in $\mathbb{R}^3$ of width $π$ and bounded from below. The proof makes use of parabolicity in a weighted setting applied to a suitable universally $L$-superharmonic function defined on translaters in such slabs.
We prove a rigidity result for mean curvature self-translating solitons, characterizing the grim reaper cylinder as the only finite entropy self-translating 2-surface in $\mathbb{R}^3$ of width $π$ and bounded from below. The proof makes use of parabolicity in a weighted setting applied to a suitable universally $L$-superharmonic function defined on translaters in such slabs.
△ Less
Submitted 10 July, 2023; v1 submitted 24 April, 2023;
originally announced April 2023.
-
WEAR: An Outdoor Sports Dataset for Wearable and Egocentric Activity Recognition
Authors:
Marius Bock,
Hilde Kuehne,
Kristof Van Laerhoven,
Michael Moeller
Abstract:
Research has shown the complementarity of camera- and inertial-based data for modeling human activities, yet datasets with both egocentric video and inertial-based sensor data remain scarce. In this paper, we introduce WEAR, an outdoor sports dataset for both vision- and inertial-based human activity recognition (HAR). Data from 22 participants performing a total of 18 different workout activities…
▽ More
Research has shown the complementarity of camera- and inertial-based data for modeling human activities, yet datasets with both egocentric video and inertial-based sensor data remain scarce. In this paper, we introduce WEAR, an outdoor sports dataset for both vision- and inertial-based human activity recognition (HAR). Data from 22 participants performing a total of 18 different workout activities was collected with synchronized inertial (acceleration) and camera (egocentric video) data recorded at 11 different outside locations. WEAR provides a challenging prediction scenario in changing outdoor environments using a sensor placement, in line with recent trends in real-world applications. Benchmark results show that through our sensor placement, each modality interestingly offers complementary strengths and weaknesses in their prediction performance. Further, in light of the recent success of single-stage Temporal Action Localization (TAL) models, we demonstrate their versatility of not only being trained using visual data, but also using raw inertial data and being capable to fuse both modalities by means of simple concatenation. The dataset and code to reproduce experiments is publicly available via: mariusbock.github.io/wear/.
△ Less
Submitted 15 October, 2024; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Chern classes of linear submanifolds with application to spaces of k-differentials and ball quotients
Authors:
Matteo Costantini,
Martin Möller,
Johannes Schwab
Abstract:
We provide formulas for the Chern classes of linear submanifolds of the moduli spaces of Abelian differentials and hence for their Euler characteristic. This includes as special case the moduli spaces of k-differentials, for which we set up the full intersection theory package and implement it in the sage-program diffstrata.
As an application, we give an algebraic proof of the theorems of Delign…
▽ More
We provide formulas for the Chern classes of linear submanifolds of the moduli spaces of Abelian differentials and hence for their Euler characteristic. This includes as special case the moduli spaces of k-differentials, for which we set up the full intersection theory package and implement it in the sage-program diffstrata.
As an application, we give an algebraic proof of the theorems of Deligne-Mostow and Thurston that suitable compactifications of moduli spaces of k-differentials on the 5-punctured projective line with weights satisfying the INT-condition are quotients of the complex two-ball.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
CCuantuMM: Cycle-Consistent Quantum-Hybrid Matching of Multiple Shapes
Authors:
Harshil Bhatia,
Edith Tretschk,
Zorah Lähner,
Marcel Seelbach Benkner,
Michael Moeller,
Christian Theobalt,
Vladislav Golyanik
Abstract:
Jointly matching multiple, non-rigidly deformed 3D shapes is a challenging, $\mathcal{NP}$-hard problem. A perfect matching is necessarily cycle-consistent: Following the pairwise point correspondences along several shapes must end up at the starting vertex of the original shape. Unfortunately, existing quantum shape-matching methods do not support multiple shapes and even less cycle consistency.…
▽ More
Jointly matching multiple, non-rigidly deformed 3D shapes is a challenging, $\mathcal{NP}$-hard problem. A perfect matching is necessarily cycle-consistent: Following the pairwise point correspondences along several shapes must end up at the starting vertex of the original shape. Unfortunately, existing quantum shape-matching methods do not support multiple shapes and even less cycle consistency. This paper addresses the open challenges and introduces the first quantum-hybrid approach for 3D shape multi-matching; in addition, it is also cycle-consistent. Its iterative formulation is admissible to modern adiabatic quantum hardware and scales linearly with the total number of input shapes. Both these characteristics are achieved by reducing the $N$-shape case to a sequence of three-shape matchings, the derivation of which is our main technical contribution. Thanks to quantum annealing, high-quality solutions with low energy are retrieved for the intermediate $\mathcal{NP}$-hard objectives. On benchmark datasets, the proposed approach significantly outperforms extensions to multi-shape matching of a previous quantum-hybrid two-shape matching method and is on-par with classical multi-matching methods.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
An Adaptive Parallel Arc-Length Method
Authors:
H. M. Verhelst,
J. H. Den Besten,
M. Möller
Abstract:
Parallel computing is omnipresent in today's scientific computer landscape, starting at multicore processors in desktop computers up to massively parallel clusters. While domain decomposition methods have a long tradition in computational mechanics to decompose spatial problems into multiple subproblems that can be solved in parallel, advancing solution schemes for dynamics or quasi-statics are in…
▽ More
Parallel computing is omnipresent in today's scientific computer landscape, starting at multicore processors in desktop computers up to massively parallel clusters. While domain decomposition methods have a long tradition in computational mechanics to decompose spatial problems into multiple subproblems that can be solved in parallel, advancing solution schemes for dynamics or quasi-statics are inherently serial processes. For quasi-static simulations, however, there is no accumulating 'time' discretization error, hence an alternative approach is required. In this paper, we present an Adaptive Parallel Arc-Length Method (APALM). By using a domain parametrization of the arc-length instead of time, the multi-level error for the arc-length parametrization is formed by the load parameter and the solution norm. By applying local refinements in the arc-length parameter, the APALM refines solutions where the non-linearity in the load-response space is maximal. The concept is easily extended for bifurcation problems. The performance of the method is demonstrated using isogeometric Kirchhoff-Love shells on problems with snap-through and pitch-fork instabilities. It can be concluded that the adaptivity of the method works as expected and that a relatively coarse approximation of the serial initialization can already be used to produce a good approximation in parallel.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Gradient descent-based freeform optics design using algorithmic differentiable non-sequential ray tracing
Authors:
Bart de Koning,
Alexander Heemels,
Aurèle Adam,
Matthias Möller
Abstract:
Algorithmic differentiable ray tracing is a new paradigm that allows one to solve the forward problem of how light propagates through an optical system while obtaining gradients of the simulation results with respect to parameters specifying the optical system. Specifically, the use of algorithmically differentiable non-sequential ray tracing provides an opportunity in the field of illumination de…
▽ More
Algorithmic differentiable ray tracing is a new paradigm that allows one to solve the forward problem of how light propagates through an optical system while obtaining gradients of the simulation results with respect to parameters specifying the optical system. Specifically, the use of algorithmically differentiable non-sequential ray tracing provides an opportunity in the field of illumination design. We demonstrate its potential by designing freeform lenses that project a prescribed irradiance distribution onto a plane. The challenge consists in finding a suitable surface geometry of the lens so that the light emitted by a light source is redistributed into a desired irradiance distribution. We discuss the crucial steps allowing the non-sequential ray tracer to be differentiable. The obtained gradients are used to optimize the geometry of the freeform, and we investigate the effectiveness of adding a multi-layer perceptron neural network to the optimization that outputs parameters defining the freeform lens. Lenses are designed for various sources such as collimated ray bundles or point sources, and finally, a grid of point sources approximating an extended source. The obtained lens designs are finally validated using the commercial non-sequential ray tracer LightTools.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
On the importance of data encoding in quantum Boltzmann methods
Authors:
Merel A. Schalkers,
Matthias Möller
Abstract:
In recent years, quantum Boltzmann methods have gained more and more interest as they might provide a viable path towards solving fluid dynamics problems on quantum computers once this emerging compute technology has matured and fault-tolerant many-qubit systems become available. The major challenge in developing a start-to-end quantum algorithm for the Boltzmann equation consists in encoding rele…
▽ More
In recent years, quantum Boltzmann methods have gained more and more interest as they might provide a viable path towards solving fluid dynamics problems on quantum computers once this emerging compute technology has matured and fault-tolerant many-qubit systems become available. The major challenge in developing a start-to-end quantum algorithm for the Boltzmann equation consists in encoding relevant data efficiently in quantum bits (qubits) and formulating the streaming, collision and reflection steps as one comprehensive unitary operation. The current literature on quantum Boltzmann methods mostly proposes data encodings and quantum primitives for individual phases of the pipeline assuming that they can be combined to a full algorithm.
In this paper we disprove this assumption by showing that for encodings commonly discussed in literature either the collision or the streaming step cannot be unitary. Building on this landmark result we propose a novel encoding in which the number of qubits used to encode the velocity depends on the number of time steps one wishes to simulate, with the upper bound depending on the total number of grid points.
In light of the non-unitarity result established for existing encodings, our encoding method is to the best of our knowledge the only one currently known that can be used for a start-to-end quantum Boltzmann solver where both the collision and the streaming step are implemented as a unitary operation. Furthermore our theoretical unitarity result can serve as a guideline on which types of encodings to consider or whether a `stop-and-go' method with repeated measurements and re-initializations is the method of choice.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Quadratic differentials as stability conditions: collapsing subsurfaces
Authors:
Anna Barbieri,
Martin Möller,
Yu Qiu,
Jeonghoon So
Abstract:
We introduce a new class of triangulated categories, which are Verdier quotients of three-Calabi-Yau categories from (decorated) marked surfaces, and show that its spaces of stability conditions can be identified with moduli spaces of framed quadratic differentials on Riemann surfaces with arbitrary order zeros and arbitrary higher order poles. A main tool in our proof is a comparison of two excha…
▽ More
We introduce a new class of triangulated categories, which are Verdier quotients of three-Calabi-Yau categories from (decorated) marked surfaces, and show that its spaces of stability conditions can be identified with moduli spaces of framed quadratic differentials on Riemann surfaces with arbitrary order zeros and arbitrary higher order poles. A main tool in our proof is a comparison of two exchange graphs, obtained by tilting hearts in the quotient categories and by flipping mixed angulations associated with the quadratic differentials.
△ Less
Submitted 21 February, 2024; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Convergent Data-driven Regularizations for CT Reconstruction
Authors:
Samira Kabri,
Alexander Auras,
Danilo Riccio,
Hartmut Bauermeister,
Martin Benning,
Michael Moeller,
Martin Burger
Abstract:
The reconstruction of images from their corresponding noisy Radon transform is a typical example of an ill-posed linear inverse problem as arising in the application of computerized tomography (CT). As the (naive) solution does not depend on the measured data continuously, regularization is needed to re-establish a continuous dependence. In this work, we investigate simple, but yet still provably…
▽ More
The reconstruction of images from their corresponding noisy Radon transform is a typical example of an ill-posed linear inverse problem as arising in the application of computerized tomography (CT). As the (naive) solution does not depend on the measured data continuously, regularization is needed to re-establish a continuous dependence. In this work, we investigate simple, but yet still provably convergent approaches to learning linear regularization methods from data. More specifically, we analyze two approaches: One generic linear regularization that learns how to manipulate the singular values of the linear operator in an extension of our previous work, and one tailored approach in the Fourier domain that is specific to CT-reconstruction. We prove that such approaches become convergent regularization methods as well as the fact that the reconstructions they provide are typically much smoother than the training data they were trained on. Finally, we compare the spectral as well as the Fourier-based approaches for CT-reconstruction numerically, discuss their advantages and disadvantages and investigate the effect of discretization errors at different resolutions.
△ Less
Submitted 15 December, 2023; v1 submitted 14 December, 2022;
originally announced December 2022.
-
A tale of two moduli spaces: logarithmic and multi-scale differentials
Authors:
Dawei Chen,
Samuel Grushevsky,
David Holmes,
Martin Möller,
Johannes Schmitt
Abstract:
Multi-scale differentials are constructed in [BCGGM3], from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials are constructed in [MW20], as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that iso…
▽ More
Multi-scale differentials are constructed in [BCGGM3], from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials are constructed in [MW20], as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that isolates the main components of the compactification, we show that these two kinds of differentials are equivalent, and establish an isomorphism of their (coarse) moduli stacks. Moreover, we describe the rubber and multi-scale spaces as an explicit blowup of the moduli space of stable pointed rational curves in the case of genus zero, and as a global blowup of the incidence variety compactification for arbitrary genera, which implies their projectivity. We also propose a refined double ramification cycle formula in the twisted Hodge bundle which interacts with the universal line bundle class.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.