-
TeVAE: A Variational Autoencoder Approach for Discrete Online Anomaly Detection in Variable-state Multivariate Time-series Data
Authors:
Lucas Correia,
Jan-Christoph Goos,
Philipp Klein,
Thomas Bäck,
Anna V. Kononova
Abstract:
As attention to recorded data grows in the realm of automotive testing and manual evaluation reaches its limits, there is a growing need for automatic online anomaly detection. This real-world data is complex in many ways and requires the modelling of testee behaviour. To address this, we propose a temporal variational autoencoder (TeVAE) that can detect anomalies with minimal false positives when…
▽ More
As attention to recorded data grows in the realm of automotive testing and manual evaluation reaches its limits, there is a growing need for automatic online anomaly detection. This real-world data is complex in many ways and requires the modelling of testee behaviour. To address this, we propose a temporal variational autoencoder (TeVAE) that can detect anomalies with minimal false positives when trained on unlabelled data. Our approach also avoids the bypass phenomenon and introduces a new method to remap individual windows to a continuous time series. Furthermore, we propose metrics to evaluate the detection delay and root-cause capability of our approach and present results from experiments on a real-world industrial data set. When properly configured, TeVAE flags anomalies only 6% of the time wrongly and detects 65% of anomalies present. It also has the potential to perform well with a smaller training and validation subset but requires a more sophisticated threshold estimation method.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Polarization and Gorenstein liaison
Authors:
Sara Faridi,
Patricia Klein,
Jenna Rajchgot,
Alexandra Seceleanu
Abstract:
A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen-Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete…
▽ More
A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen-Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme.
Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley-Reisner complexes. Given a monomial ideal $I$ and a vertex decomposition of the Stanley-Reisner complex of its polarization $\mathcal{P}(I)$, we give conditions that allow for the lifting of an associated basic double G-link of $\mathcal{P}(I)$ to a basic double G-link of $I$ itself. We use the relationship we develop in the process to show that the Stanley-Reisner complexes of polarizations of artinian monomial ideals and of stable Cohen-Macaulay monomial ideals are vertex decomposable, recovering and strengthening the recent result of Fløystad and Mafi that these complexes are shellable.
We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on vertex decomposition and basic double G-linkage.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
In vivo and in vitro study of resorbable magnesium wires for medical implants: Mg purity, surface quality, Zn alloying and polymer coating
Authors:
K. Tesar,
J. Lunackova,
M. Jex,
M. Zaloudkova,
R. Vrbova,
M. Bartos,
P. Klein,
L. Vistejnova,
J. Duskova,
E. Filova,
Z. Sucharda,
M. Steinerova,
S. Habr,
K. Balik,
A. Singh
Abstract:
Magnesium is an excellent material in terms of biocompatibility and its corrosion products can serve as an active source for new bone formation. However, localized corrosion and H2 generation limit the potential of Mg-based implants. Utilizing low-alloyed Mg-Zn wires can strongly reduce problems with large H2 bubbles and improve the mechanical properties considerably while maintaining excellent lo…
▽ More
Magnesium is an excellent material in terms of biocompatibility and its corrosion products can serve as an active source for new bone formation. However, localized corrosion and H2 generation limit the potential of Mg-based implants. Utilizing low-alloyed Mg-Zn wires can strongly reduce problems with large H2 bubbles and improve the mechanical properties considerably while maintaining excellent long-term biocompatibility. Acidic pickling and a polymer coating can be effectively used to lower the rate of in vivo degradation. In this work, microstructural, mechanical, and in vitro characterization of 250 um and 300 um extruded wires made from ultra-pure Mg, commercially pure Mg, Mg-0.15Zn, Mg-0.4Zn and Mg-1Zn was performed. Additionally, Mg-0.4Zn wires together with a variant coated with a copolymer of L-lactide and ε-caprolactone were tested in vivo on artificially damaged Wistar rat femurs. Based on the observed Mg-induced osteogenesis, polymer-coated Mg wires with a small addition of Zn are a perspective material for bone-support applications, such as cerclage and fixation wires.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Simplicial complexes and matroids with vanishing $T^2$
Authors:
Alexandru Constantinescu,
Patricia Klein,
Thai Thanh Nguyen,
Anurag Singh,
Lorenzo Venturello
Abstract:
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded comp…
▽ More
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded components of $T^2$ when the simplicial complex is a uniform matroid. Finally, we show that $T^2$ vanishes for all matroids of corank at most two and conjecture that all connected matroids with vanishing $T^2$ are of corank at most two.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
From enrollment to exams: Perceived stress dynamics among first-year physics students
Authors:
Simon Zacharias Lahme,
Jasper Ole Cirkel,
Larissa Hahn,
Julia Hofmann,
Josefine Neuhaus,
Susanne Schneider,
Pascal Klein
Abstract:
The current dropout rate in physics studies in Germany is about 60\%, with the majority of dropouts occurring in the first year. Consequently, the physics study entry phase poses a significant challenge for many students. Students' stress perceptions can provide more profound insights into the processes and challenges during that period. In a panel study featuring 67 measuring points involving up…
▽ More
The current dropout rate in physics studies in Germany is about 60\%, with the majority of dropouts occurring in the first year. Consequently, the physics study entry phase poses a significant challenge for many students. Students' stress perceptions can provide more profound insights into the processes and challenges during that period. In a panel study featuring 67 measuring points involving up to 128 participants at each point, we investigated students' stress perceptions with the Perceived Stress Questionnaire (PSQ), identified underlying sources of stress, and assessed self-estimated workloads across two different cohorts. This examination occurred almost every week during the first semester, and for one cohort also in the second semester, yielding a total of 3,206 PSQ data points and 5,823 stressors. The PSQ data indicate a consistent stress trajectory across all three groups studied that is characterized by significant dynamics between measuring points, spanning from $M=20.1, SD=15.9$ to $M=63.6, SD=13.4$ on a scale from 0 to 100. Stress levels rise in the first weeks of the lecture, followed by stable, elevated stress levels until the exams and a relaxation phase afterward during the lecture-free time and Christmas vacation. In the first half of the lecture period, students primarily indicated the weekly exercise sheets, the physics lab course, and math courses as stressors; later on, preparation for exams and the exams themselves emerged as the most important stressors. Together with the students' self-estimated workloads that correlate with the PSQ scores, we can build a coherent picture of stress perceptions among first-year physics students. This study enhances the understanding of stress perception and its potential management.
△ Less
Submitted 25 June, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
$Γ$-VAE: Curvature regularized variational autoencoders for uncovering emergent low dimensional geometric structure in high dimensional data
Authors:
Jason Z. Kim,
Nicolas Perrin-Gilbert,
Erkan Narmanli,
Paul Klein,
Christopher R. Myers,
Itai Cohen,
Joshua J. Waterfall,
James P. Sethna
Abstract:
Natural systems with emergent behaviors often organize along low-dimensional subsets of high-dimensional spaces. For example, despite the tens of thousands of genes in the human genome, the principled study of genomics is fruitful because biological processes rely on coordinated organization that results in lower dimensional phenotypes. To uncover this organization, many nonlinear dimensionality r…
▽ More
Natural systems with emergent behaviors often organize along low-dimensional subsets of high-dimensional spaces. For example, despite the tens of thousands of genes in the human genome, the principled study of genomics is fruitful because biological processes rely on coordinated organization that results in lower dimensional phenotypes. To uncover this organization, many nonlinear dimensionality reduction techniques have successfully embedded high-dimensional data into low-dimensional spaces by preserving local similarities between data points. However, the nonlinearities in these methods allow for too much curvature to preserve general trends across multiple non-neighboring data clusters, thereby limiting their interpretability and generalizability to out-of-distribution data. Here, we address both of these limitations by regularizing the curvature of manifolds generated by variational autoencoders, a process we coin ``$Γ$-VAE''. We demonstrate its utility using two example data sets: bulk RNA-seq from the The Cancer Genome Atlas (TCGA) and the Genotype Tissue Expression (GTEx); and single cell RNA-seq from a lineage tracing experiment in hematopoietic stem cell differentiation. We find that the resulting regularized manifolds identify mesoscale structure associated with different cancer cell types, and accurately re-embed tissues from completely unseen, out-of distribution cancers as if they were originally trained on them. Finally, we show that preserving long-range relationships to differentiated cells separates undifferentiated cells -- which have not yet specialized -- according to their eventual fate. Broadly, we anticipate that regularizing the curvature of generative models will enable more consistent, predictive, and generalizable models in any high-dimensional system with emergent low-dimensional behavior.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
LiveDocs: Crafting Interactive Development Environments From Research Findings
Authors:
Pedro Costa Klein,
Christoph Lehrenfeld,
Markus Osterhoff,
Martin Uecker
Abstract:
Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 -…
▽ More
Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 - Mathematics of Experiment'' on tackling common issues of reproducibility and re-usability in scientific publications. The LiveDocs initiative is proposed as a concept alongside a collection of methods that enable scientists to provide research findings under an interactive development environment. This environment allows users from a broader audience to easily reproduce research findings by re-running scripts, for instance, those that generate figures, tables, and other elements from scientific publications. Moreover, LiveDocs also allow the audience to interact with code and data in such environments, thus allowing users to explore algorithms, datasets and software interfaces. This directly lowers the barriers to access and comprehend research methods and findings, which facilitates more scientific exchange and fosters knowledge advancement.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Cardiac ultrasound simulation for autonomous ultrasound navigation
Authors:
Abdoul Aziz Amadou,
Laura Peralta,
Paul Dryburgh,
Paul Klein,
Kaloian Petkov,
Richard James Housden,
Vivek Singh,
Rui Liao,
Young-Ho Kim,
Florin Christian Ghesu,
Tommaso Mansi,
Ronak Rajani,
Alistair Young,
Kawal Rhode
Abstract:
Ultrasound is well-established as an imaging modality for diagnostic and interventional purposes. However, the image quality varies with operator skills as acquiring and interpreting ultrasound images requires extensive training due to the imaging artefacts, the range of acquisition parameters and the variability of patient anatomies. Automating the image acquisition task could improve acquisition…
▽ More
Ultrasound is well-established as an imaging modality for diagnostic and interventional purposes. However, the image quality varies with operator skills as acquiring and interpreting ultrasound images requires extensive training due to the imaging artefacts, the range of acquisition parameters and the variability of patient anatomies. Automating the image acquisition task could improve acquisition reproducibility and quality but training such an algorithm requires large amounts of navigation data, not saved in routine examinations. Thus, we propose a method to generate large amounts of ultrasound images from other modalities and from arbitrary positions, such that this pipeline can later be used by learning algorithms for navigation. We present a novel simulation pipeline which uses segmentations from other modalities, an optimized volumetric data representation and GPU-accelerated Monte Carlo path tracing to generate view-dependent and patient-specific ultrasound images. We extensively validate the correctness of our pipeline with a phantom experiment, where structures' sizes, contrast and speckle noise properties are assessed. Furthermore, we demonstrate its usability to train neural networks for navigation in an echocardiography view classification experiment by generating synthetic images from more than 1000 patients. Networks pre-trained with our simulations achieve significantly superior performance in settings where large real datasets are not available, especially for under-represented classes. The proposed approach allows for fast and accurate patient-specific ultrasound image generation, and its usability for training networks for navigation-related tasks is demonstrated.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
A research-informed graphical tool to visually approach Gauss' and Stokes' theorems in vector calculus
Authors:
Larissa Hahn,
Simon Blaue,
Pascal Klein
Abstract:
Gauss' and Stokes' theorems are fundamental results in vector calculus and important tools in physics and engineering. When students are asked to describe the meaning of Gauss' divergence theorem, they often use statements like this: "The sum of all sources of a vector field in a region gives the net flux out of the region". In order to raise this description to a mathematically sound level of und…
▽ More
Gauss' and Stokes' theorems are fundamental results in vector calculus and important tools in physics and engineering. When students are asked to describe the meaning of Gauss' divergence theorem, they often use statements like this: "The sum of all sources of a vector field in a region gives the net flux out of the region". In order to raise this description to a mathematically sound level of understanding, we present an educational approach based on the visual interpretation of the vector differential operators, i.e. divergence and curl. As a starting point, we use simple vector field diagrams for a qualitative approach to connect both sides of the integral theorems, and present an interactive graphical tool to support this connection. The tool allows to visualise two-dimensional vector fields, to specify vector decomposition, to evaluate divergence and curl point wise, and to draw rectangles to determine surface and line integrals. From a meta-perspective, we situate this educational approach into learning with (multiple) representations. Based on prior research, the graphical tool addresses various learning difficulties of vector fields that are connected to divergence and curl. The tool was incorporated into the weekly lecture-based recitations of Physics II (electromagnetism) in 2022 and 2023, and we assessed various educational outcome measures. The students overall reported the tool to be intuitive and user-friendly (level of agreement $76\%$, $N=125$), considered it helpful for understanding and recommended its use for introductory physics courses (level of agreement $65\%$, $N=65$).
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
The MatrixSchubert package for Macaulay2
Authors:
Ayah Almousa,
Sean Grate,
Daoji Huang,
Patricia Klein,
Adam LaClair,
Yuyuan Luo,
Joseph McDonough
Abstract:
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an A…
▽ More
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an ASM variety.
△ Less
Submitted 12 December, 2023; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Scan statistics for the detection of anomalies in M-dependent random fields with applications to image data
Authors:
Claudia Kirch,
Philipp Klein,
Marco Meyer
Abstract:
Anomaly detection in random fields is an important problem in many applications including the detection of cancerous cells in medicine, obstacles in autonomous driving and cracks in the construction material of buildings. Such anomalies are often visible as areas with different expected values compared to the background noise. Scan statistics based on local means have the potential to detect such…
▽ More
Anomaly detection in random fields is an important problem in many applications including the detection of cancerous cells in medicine, obstacles in autonomous driving and cracks in the construction material of buildings. Such anomalies are often visible as areas with different expected values compared to the background noise. Scan statistics based on local means have the potential to detect such local anomalies by enhancing relevant features. We derive limit theorems for a general class of such statistics over M-dependent random fields of arbitrary but fixed dimension. By allowing for a variety of combinations and contrasts of sample means over differently-shaped local windows, this yields a flexible class of scan statistics that can be tailored to the particular application of interest. The latter is demonstrated for crack detection in 2D-images of different types of concrete. Together with a simulation study this indicates the potential of the proposed methodology for the detection of anomalies in a variety of situations.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Adsorption of Diclofenac and PFBS on Hair Keratin Dimer
Authors:
René Hafner,
Nils Wolfgramm,
Peter Klein,
Herbert M. Urbassek
Abstract:
Environmental pollution by man-made toxic and persistent organic compounds, found throughout the world in surface and groundwater, has various negative effects on aquatic life systems and even humans. Therefore, it is important to develop and improve water treatment technologies capable of removing such substances from wastewater or purifying drinking water. The two substances investigated are the…
▽ More
Environmental pollution by man-made toxic and persistent organic compounds, found throughout the world in surface and groundwater, has various negative effects on aquatic life systems and even humans. Therefore, it is important to develop and improve water treatment technologies capable of removing such substances from wastewater or purifying drinking water. The two substances investigated are the widely used painkiller diclofenac and a member of the class of "forever chemicals", perfluorobutane sulfonate. Both are known to have serious negative effects on living organisms, especially under long-term exposure, and are detectable in human hair, suggesting adsorption to a part of the hair fiber complex. In this study, a human hair keratin dimer is investigated for its ability to absorb diclofenac and perfluorobutane sulfonate. Initial predictions for binding sites are obtained via molecular docking and subjected to molecular dynamics simulations for more than $1$ $\mathrm{μs}$. The binding affinities obtained by the linear interaction energy method are high enough to motivate further research on human hair keratins as a sustainable, low-cost, and easily allocatable filtration material.
△ Less
Submitted 23 October, 2023; v1 submitted 17 October, 2023;
originally announced October 2023.
-
MA-VAE: Multi-head Attention-based Variational Autoencoder Approach for Anomaly Detection in Multivariate Time-series Applied to Automotive Endurance Powertrain Testing
Authors:
Lucas Correia,
Jan-Christoph Goos,
Philipp Klein,
Thomas Bäck,
Anna V. Kononova
Abstract:
A clear need for automatic anomaly detection applied to automotive testing has emerged as more and more attention is paid to the data recorded and manual evaluation by humans reaches its capacity. Such real-world data is massive, diverse, multivariate and temporal in nature, therefore requiring modelling of the testee behaviour. We propose a variational autoencoder with multi-head attention (MA-VA…
▽ More
A clear need for automatic anomaly detection applied to automotive testing has emerged as more and more attention is paid to the data recorded and manual evaluation by humans reaches its capacity. Such real-world data is massive, diverse, multivariate and temporal in nature, therefore requiring modelling of the testee behaviour. We propose a variational autoencoder with multi-head attention (MA-VAE), which, when trained on unlabelled data, not only provides very few false positives but also manages to detect the majority of the anomalies presented. In addition to that, the approach offers a novel way to avoid the bypass phenomenon, an undesirable behaviour investigated in literature. Lastly, the approach also introduces a new method to remap individual windows to a continuous time series. The results are presented in the context of a real-world industrial data set and several experiments are undertaken to further investigate certain aspects of the proposed model. When configured properly, it is 9% of the time wrong when an anomaly is flagged and discovers 67% of the anomalies present. Also, MA-VAE has the potential to perform well with only a fraction of the training and validation subset, however, to extract it, a more sophisticated threshold estimation method is required.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Learning digital signal processing using an interactive Jupyter notebook and smartphone accelerometer data
Authors:
Pekka Pirinen,
Pascal Klein,
Simon Zacharias Lahme,
Antti Lehtinen,
Lucija Rončević,
Ana Susac
Abstract:
Digital signal processing is a valuable practical skill for the contemporary physicist, yet in physics curricula its central concepts are often introduced either in method courses in a highly abstract and mathematics-oriented manner or in lab work with little explicit attention. In this paper, we present an experimental task in which we focus on a practical implementation of the discrete Fourier t…
▽ More
Digital signal processing is a valuable practical skill for the contemporary physicist, yet in physics curricula its central concepts are often introduced either in method courses in a highly abstract and mathematics-oriented manner or in lab work with little explicit attention. In this paper, we present an experimental task in which we focus on a practical implementation of the discrete Fourier transform (DFT) in an everyday context of vibration analysis using data collected by a smartphone accelerometer. Students are accompanied in the experiment by a Jupyter notebook companion, which serves as an interactive instruction sheet and a tool for data analysis. The task is suitable for beyond-first-year university physics students with some prior experience in uncertainty analysis, data representation, and data analysis. Based on our observations the experiment is very engaging. Students have consistently reported interest in the experiment and they have found it a good demonstration of the DFT method
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Physics lab courses under digital transformation: A tri-national survey among university lab instructors about the role of new digital technologies and learning objectives
Authors:
Simon Zacharias Lahme,
Pascal Klein,
Antti Lehtinen,
Andreas Müller,
Pekka Pirinen,
Lucija Rončević,
Ana Sušac
Abstract:
Physics lab courses permanently undergo transformations, in recent times especially to adapt to the emergence of new digital technologies and the Covid-19 pandemic in which digital technologies facilitated distance learning. Since these transformations often occur within individual institutions, it is useful to get an overview of these developments by capturing the status quo of digital technologi…
▽ More
Physics lab courses permanently undergo transformations, in recent times especially to adapt to the emergence of new digital technologies and the Covid-19 pandemic in which digital technologies facilitated distance learning. Since these transformations often occur within individual institutions, it is useful to get an overview of these developments by capturing the status quo of digital technologies and the related acquisition of digital competencies in physics lab courses. Thus, we conducted a survey among physics lab instructors (N=79) at German, Finnish, and Croatian universities. The findings reveal that lab instructors already use a variety of digital technologies and that the pandemic particularly boosted the use of smartphones/tablets, simulations, and digital tools for communication/collaboration/organization. The participants generally showed a positive attitude toward using digital technologies in physics lab courses, especially due to their potential for experiments and students' competence acquisition, motivational effects, and contemporaneity. Acquiring digital competencies is rated as less important than established learning objectives, however, collecting and processing data with digital tools was rated as an important competency that students should acquire. The instructors perceived open forms of labwork and particular digital technologies for specific learning objectives (e.g., microcontrollers for experimental skills) as useful for reaching their learning objectives. Our survey contributes to the reflection of what impact the emergence of digital technologies in our society and the Covid-19 pandemic had on physics lab courses and reveals first indications for the future transformation of hands-on university physics education.
△ Less
Submitted 19 September, 2023; v1 submitted 15 May, 2023;
originally announced May 2023.
-
How do physics students evaluate artificial intelligence responses on comprehension questions? A study on the perceived scientific accuracy and linguistic quality
Authors:
Merten Nikolay Dahlkemper,
Simon Zacharias Lahme,
Pascal Klein
Abstract:
This study aimed at evaluating how students perceive the linguistic quality and scientific accuracy of ChatGPT responses to physics comprehension questions. A total of 102 first- and second-year physics students were confronted with three questions of progressing difficulty from introductory mechanics (rolling motion, waves, and fluid dynamics). Each question was presented with four different resp…
▽ More
This study aimed at evaluating how students perceive the linguistic quality and scientific accuracy of ChatGPT responses to physics comprehension questions. A total of 102 first- and second-year physics students were confronted with three questions of progressing difficulty from introductory mechanics (rolling motion, waves, and fluid dynamics). Each question was presented with four different responses. All responses were attributed to ChatGPT, but in reality one sample solution was created by the researchers. All ChatGPT responses obtained in this study were wrong, imprecise, incomplete, or misleading. We found little differences in the perceived linguistic quality between ChatGPT responses and the sample solution. However, the students rated the overall scientific accuracy of the responses significantly differently, with the sample solution being rated best for the questions of low and medium difficulty. The discrepancy between the sample solution and the ChatGPT responses increased with the level of self-assessed knowledge of the question content. For the question of highest difficulty (fluid dynamics) that was unknown to most students, a ChatGPT response was rated just as good as the sample solution. Thus, this study provides data on the students' perception of ChatGPT responses and the factors influencing their perception. The results highlight the need for careful evaluation of ChatGPT responses both by instructors and students, particularly regarding scientific accuracy. Therefore, future research could explore the potential of similar "spot the bot"-activities in physics education to foster students' critical thinking skills.
△ Less
Submitted 12 May, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
Combinatorial Optimization enriched Machine Learning to solve the Dynamic Vehicle Routing Problem with Time Windows
Authors:
Léo Baty,
Kai Jungel,
Patrick S. Klein,
Axel Parmentier,
Maximilian Schiffer
Abstract:
With the rise of e-commerce and increasing customer requirements, logistics service providers face a new complexity in their daily planning, mainly due to efficiently handling same day deliveries. Existing multi-stage stochastic optimization approaches that allow to solve the underlying dynamic vehicle routing problem are either computationally too expensive for an application in online settings,…
▽ More
With the rise of e-commerce and increasing customer requirements, logistics service providers face a new complexity in their daily planning, mainly due to efficiently handling same day deliveries. Existing multi-stage stochastic optimization approaches that allow to solve the underlying dynamic vehicle routing problem are either computationally too expensive for an application in online settings, or -- in the case of reinforcement learning -- struggle to perform well on high-dimensional combinatorial problems. To mitigate these drawbacks, we propose a novel machine learning pipeline that incorporates a combinatorial optimization layer. We apply this general pipeline to a dynamic vehicle routing problem with dispatching waves, which was recently promoted in the EURO Meets NeurIPS Vehicle Routing Competition at NeurIPS 2022. Our methodology ranked first in this competition, outperforming all other approaches in solving the proposed dynamic vehicle routing problem. With this work, we provide a comprehensive numerical study that further highlights the efficacy and benefits of the proposed pipeline beyond the results achieved in the competition, e.g., by showcasing the robustness of the encoded policy against unseen instances and scenarios.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
A framework for designing experimental tasks in contemporary physics lab courses
Authors:
Simon Z. Lahme,
Pekka Pirinen,
Lucija Rončević,
Antti Lehtinen,
Ana Sušac,
Andreas Müller,
Pascal Klein
Abstract:
While lab courses are an integral part of studying physics aiming at a huge variety of learning objectives, research has shown that typical lab courses do not reach all the desired goals. While diverse approaches by lab instructors and researchers try to increase the effectiveness of lab courses, experimental tasks remain the core of any lab course. To keep an overview of these developments and to…
▽ More
While lab courses are an integral part of studying physics aiming at a huge variety of learning objectives, research has shown that typical lab courses do not reach all the desired goals. While diverse approaches by lab instructors and researchers try to increase the effectiveness of lab courses, experimental tasks remain the core of any lab course. To keep an overview of these developments and to give instructors (and researchers) a guideline for their own professional efforts at hand, we introduce a research-informed framework for designing experimental tasks in contemporary physics lab courses. In addition, we demonstrate within the scope of the EU-co-funded DigiPhysLab-project how the framework can be used to characterize existing or develop new high-quality experimental tasks for physics lab courses.
△ Less
Submitted 6 September, 2023; v1 submitted 28 February, 2023;
originally announced February 2023.
-
Characterizing Molecule-Metal Surface Chemistry with Ab-Initio Simulation of X-ray Absorption and Photoemission Spectra
Authors:
Samuel J. Hall,
Benedikt P. Klein,
Reinhard J. Maurer
Abstract:
X-ray photoemission and x-ray absorption spectroscopy are important techniques to characterize chemical bonding at surfaces and are often used to identify the strength and nature of adsorbate-substrate interactions. In this study, we judge the ability of x-ray spectroscopic techniques to identify different regimes of chemical bonding at metal-organic interfaces. To achieve this, we sample differen…
▽ More
X-ray photoemission and x-ray absorption spectroscopy are important techniques to characterize chemical bonding at surfaces and are often used to identify the strength and nature of adsorbate-substrate interactions. In this study, we judge the ability of x-ray spectroscopic techniques to identify different regimes of chemical bonding at metal-organic interfaces. To achieve this, we sample different interaction strength regimes in a comprehensive and systematic way by comparing two topological isomers, azulene and naphthalene, adsorbed on three metal substrates with varying reactivity, namely the (111) facets of Ag, Cu, and Pt. Using density functional theory, we simulate core-level binding energies and x-ray absorption spectra of the molecular carbon species. The simulated spectra reveal three distinct characteristics based on the molecule-specific spectral features which we attribute to types of surface chemical bonding with varying strength. We find that weak physisorption only leads to minor changes compared to the gas-phase spectra, weak chemisorption leads to charge transfer and significant spectral changes, while strong chemisorption leads to a loss of the molecule-specific features in the spectra. The classification we provide is aimed at assisting interpretation of experimental x-ray spectra for complex metal-organic interfaces.
△ Less
Submitted 8 February, 2023; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Spike-based local synaptic plasticity: A survey of computational models and neuromorphic circuits
Authors:
Lyes Khacef,
Philipp Klein,
Matteo Cartiglia,
Arianna Rubino,
Giacomo Indiveri,
Elisabetta Chicca
Abstract:
Understanding how biological neural networks carry out learning using spike-based local plasticity mechanisms can lead to the development of powerful, energy-efficient, and adaptive neuromorphic processing systems. A large number of spike-based learning models have recently been proposed following different approaches. However, it is difficult to assess if and how they could be mapped onto neuromo…
▽ More
Understanding how biological neural networks carry out learning using spike-based local plasticity mechanisms can lead to the development of powerful, energy-efficient, and adaptive neuromorphic processing systems. A large number of spike-based learning models have recently been proposed following different approaches. However, it is difficult to assess if and how they could be mapped onto neuromorphic hardware, and to compare their features and ease of implementation. To this end, in this survey, we provide a comprehensive overview of representative brain-inspired synaptic plasticity models and mixed-signal CMOS neuromorphic circuits within a unified framework. We review historical, bottom-up, and top-down approaches to modeling synaptic plasticity, and we identify computational primitives that can support low-latency and low-power hardware implementations of spike-based learning rules. We provide a common definition of a locality principle based on pre- and post-synaptic neuron information, which we propose as a fundamental requirement for physical implementations of synaptic plasticity. Based on this principle, we compare the properties of these models within the same framework, and describe the mixed-signal electronic circuits that implement their computing primitives, pointing out how these building blocks enable efficient on-chip and online learning in neuromorphic processing systems.
△ Less
Submitted 5 November, 2022; v1 submitted 30 September, 2022;
originally announced September 2022.
-
On basic double G-links of squarefree monomial ideals
Authors:
Patricia Klein,
Matthew Koban,
Jenna Rajchgot
Abstract:
Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explo…
▽ More
Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting.
Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.
△ Less
Submitted 27 February, 2024; v1 submitted 31 August, 2022;
originally announced September 2022.
-
Electric vehicle charge scheduling with flexible service operations
Authors:
Patrick Sean Klein,
Maximilian Schiffer
Abstract:
Operators who deploy large fleets of electric vehicles often face a challenging charge scheduling problem. Specifically, time-ineffective recharging operations limit the profitability of charging during service operations such that operators recharge vehicles off-duty at a central depot. Here, high investment cost and grid capacity limit available charging infrastructure such that operators need t…
▽ More
Operators who deploy large fleets of electric vehicles often face a challenging charge scheduling problem. Specifically, time-ineffective recharging operations limit the profitability of charging during service operations such that operators recharge vehicles off-duty at a central depot. Here, high investment cost and grid capacity limit available charging infrastructure such that operators need to schedule charging operations to keep the fleet operational. In this context, flexible service operations, i.e. allowing to delay or expedite vehicle departures, can potentially increase charger utilization. Beyond this, jointly scheduling charging and service operations promises operational cost savings through better utilization of Time-of-Use energy tariffs and carefully crafted charging schedules designed to minimize battery wear. Against this background, we study the resulting joint charging and service operations scheduling problem accounting for battery degradation, non-linear charging, and Time-of-Use energy tariffs. We propose an exact Branch & Price algorithm, leveraging a custom branching rule and a primal heuristic to remain efficient during the Branch & Bound phase. Moreover, we develop an exact labeling algorithm for our pricing problem, constituting a resource-constrained shortest path problem that considers variable energy prices and non-linear charging operations. We benchmark our algorithm in a comprehensive numerical study and show that it can solve problem instances of realistic size with computational times below one hour, thus enabling its application in practice. Additionally, we analyze the benefit of jointly scheduling charging and service operations. We find that our integrated approach lowers the amount of charging infrastructure required by up to 57% besides enabling operational cost savings of up to 5%.
△ Less
Submitted 18 August, 2022; v1 submitted 11 January, 2022;
originally announced January 2022.
-
Self-interaction error induces spurious charge transfer artefacts in core-level simulations of x-ray photoemission and absorption spectroscopy of metal-organic interfaces
Authors:
Samuel J. Hall,
Benedikt P. Klein,
Reinhard J. Maurer
Abstract:
First principles simulation of x-ray photoemission spectroscopy (XPS) is an important tool in the challenging interpretation and assignment of XPS data of metal-organic interfaces. We investigate the origin of the disagreement between XPS simulation and experiment for the azulene molecule adsorbed on Ag(111). We systematically eliminate possible causes for this discrepancy, including errors in the…
▽ More
First principles simulation of x-ray photoemission spectroscopy (XPS) is an important tool in the challenging interpretation and assignment of XPS data of metal-organic interfaces. We investigate the origin of the disagreement between XPS simulation and experiment for the azulene molecule adsorbed on Ag(111). We systematically eliminate possible causes for this discrepancy, including errors in the structural model and finite size effects in periodic boundary conditions. By analysis of the electronic structure in the ground-state and the core-hole excited-state, we are able to trace the error back to artificial charge transfer between adsorbed molecule and metal surface. This is caused by the self-interaction error of common exchange-correlation functionals. This error is not remedied by standard hybrid or range-separated hybrid functionals. We employ an ad hoc self-interaction error correction based on molecular orbital projection, that exposes this issue and is able to recover the correct experimental behaviour. The charge transfer artefact also negatively affects the prediction of X-ray absorption spectra for this system. Both the simulated photoemisson and x-ray absorption spectra show a better agreement with experimental data, once the ad hoc correction is employed. Similar core-hole-induced charge artefacts may affect core-level simulations at metal-organic interfaces more generally.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Differential operators, retracts, and toric face rings
Authors:
Christine Berkesch,
C-Y. Jean Chan,
Patricia Klein,
Laura Felicia Matusevich,
Janet Page,
Janet Vassilev
Abstract:
We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms o…
▽ More
We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms of its differential operators.
Our main technique is to realize the k-algebras we study in terms of a suitable family of their algebra retracts in a way that is compatible with the characterization of differential operators. This strategy allows us to describe differential operators of any k-algebra realized by retracts in terms of the differential operators on these retracts, without restriction on char(k).
△ Less
Submitted 8 March, 2023; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Bumpless pipe dreams encode Gröbner geometry of Schubert polynomials
Authors:
Patricia Klein,
Anna Weigandt
Abstract:
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of…
▽ More
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of diagonal Gröbner degenerations of matrix Schubert varieties, counted with scheme-theoretic multiplicity.
This indexing was conjectured by Hamaker, Pechenik, and Weigandt (2022). We also give a generalization to equidimensional unions of matrix Schubert varieties. This result establishes that bumpless pipe dreams are dual to and as geometrically natural as classical pipe dreams, for which an analogous anti-diagonal theory was developed by Knutson and Miller (2005).
△ Less
Submitted 4 June, 2023; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Ferroelectric Tunneling Junctions for Edge Computing
Authors:
Erika Covi,
Quang T. Duong,
Suzanne Lancaster,
Viktor Havel,
Jean Coignus,
Justine Barbot,
Ole Richter,
Philip Klein,
Elisabetta Chicca,
Laurent Grenouillet,
Athanasios Dimoulas,
Thomas Mikolajick,
Stefan Slesazeck
Abstract:
Ferroelectric tunneling junctions (FTJ) are considered to be the intrinsically most energy efficient memristors. In this work, specific electrical features of ferroelectric hafnium-zirconium oxide based FTJ devices are investigated. Moreover, the impact on the design of FTJ-based circuits for edge computing applications is discussed by means of two example circuits.
Ferroelectric tunneling junctions (FTJ) are considered to be the intrinsically most energy efficient memristors. In this work, specific electrical features of ferroelectric hafnium-zirconium oxide based FTJ devices are investigated. Moreover, the impact on the design of FTJ-based circuits for edge computing applications is discussed by means of two example circuits.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
A Quasipolynomial $(2+\varepsilon)$-Approximation for Planar Sparsest Cut
Authors:
Vincent Cohen-Addad,
Anupam Gupta,
Philip N. Klein,
Jason Li
Abstract:
The (non-uniform) sparsest cut problem is the following graph-partitioning problem: given a "supply" graph, and demands on pairs of vertices, delete some subset of supply edges to minimize the ratio of the supply edges cut to the total demand of the pairs separated by this deletion. Despite much effort, there are only a handful of nontrivial classes of supply graphs for which constant-factor appro…
▽ More
The (non-uniform) sparsest cut problem is the following graph-partitioning problem: given a "supply" graph, and demands on pairs of vertices, delete some subset of supply edges to minimize the ratio of the supply edges cut to the total demand of the pairs separated by this deletion. Despite much effort, there are only a handful of nontrivial classes of supply graphs for which constant-factor approximations are known.
We consider the problem for planar graphs, and give a $(2+\varepsilon)$-approximation algorithm that runs in quasipolynomial time. Our approach defines a new structural decomposition of an optimal solution using a
"patching" primitive. We combine this decomposition with a Sherali-Adams-style linear programming relaxation of the problem, which we then round. This should be compared with the polynomial-time approximation algorithm of Rao (1999), which uses the metric linear programming relaxation and $\ell_1$-embeddings, and achieves an $O(\sqrt{\log n})$-approximation in polynomial time.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
Analytical approach for the Mott transition in the Kane-Mele-Hubbard model
Authors:
Joel Hutchinson,
Philipp W. Klein,
Karyn Le Hur
Abstract:
The description of interactions in strongly-correlated topological phases of matter remains a challenge. Here, we develop a stochastic functional approach for interacting topological insulators including both charge and spin channels. We find that the Mott transition of the Kane-Mele-Hubbard model may be described by the variational principle with one equation. We present different views of this e…
▽ More
The description of interactions in strongly-correlated topological phases of matter remains a challenge. Here, we develop a stochastic functional approach for interacting topological insulators including both charge and spin channels. We find that the Mott transition of the Kane-Mele-Hubbard model may be described by the variational principle with one equation. We present different views of this equation from the electron Green's function, the free-energy and the Hellmann-Feynman theorem. The band gap remains finite at the transition and the Mott phase is characterized by antiferromagnetism in the $x-y$ plane. The interacting topological phase is described through a $\mathbb{Z}_2$ number related to helical edge modes. Our results then show that improving stochastic approaches can give further insight on the understanding of interacting phases of matter.
△ Less
Submitted 15 July, 2021; v1 submitted 19 May, 2021;
originally announced May 2021.
-
An illustrated view of differential operators of a reduced quotient of an affine semigroup ring
Authors:
Christine Berkesch,
C-Y. Jean Chan,
Patricia Klein,
Laura Felicia Matusevich,
Janet Page,
Janet Vassilev
Abstract:
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
Moving sum data segmentation for stochastics processes based on invariance
Authors:
Claudia Kirch,
Philipp Klein
Abstract:
The segmentation of data into stationary stretches also known as multiple change point problem is important for many applications in time series analysis as well as signal processing. Based on strong invariance principles, we analyse data segmentation methodology using moving sum (MOSUM) statistics for a class of regime-switching multivariate processes where each switch results in a change in the…
▽ More
The segmentation of data into stationary stretches also known as multiple change point problem is important for many applications in time series analysis as well as signal processing. Based on strong invariance principles, we analyse data segmentation methodology using moving sum (MOSUM) statistics for a class of regime-switching multivariate processes where each switch results in a change in the drift. In particular, this framework includes the data segmentation of multivariate partial sum, integrated diffusion and renewal processes even if the distance between change points is sublinear. We study the asymptotic behaviour of the corresponding change point estimators, show consistency and derive the corresponding localisation rates which are minimax optimal in a variety of situations including an unbounded number of changes in Wiener processes with drift. Furthermore, we derive the limit distribution of the change point estimators for local changes - a result that can in principle be used to derive confidence intervals for the change points.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
Homological and combinatorial aspects of virtually Cohen--Macaulay sheaves
Authors:
Christine Berkesch,
Patricia Klein,
Michael C. Loper,
Jay Yang
Abstract:
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can…
▽ More
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen--Macaulay property, though tools for assessing which modules are virtually Cohen--Macaulay have only recently started to be developed.
In this paper, we continue this research program in two related ways. The first is that, when $X$ is a product of projective spaces, we produce a large new class of virtually Cohen--Macaulay Stanley--Reisner rings, which we show to be virtually Cohen--Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety $X$, we develop homological tools for assessing the virtual Cohen--Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen--Macaulay properties.
△ Less
Submitted 29 July, 2021; v1 submitted 27 December, 2020;
originally announced December 2020.
-
Studying physics during the COVID-19 pandemic: Student assessments of learning achievement, perceived effectiveness of online recitations, and online laboratories
Authors:
Pascal Klein,
Lana Ivanjek,
Merten Nikolay Dahlkemper,
Katarina Jeličić,
Marie-Annette Geyer,
Stefan Küchemann,
Ana Susac
Abstract:
The COVID-19 pandemic has significantly affected the education system worldwide that was responding with a sudden shift to distance learning. Various physics courses such as lectures, tutorials, and the laboratories had to be transferred into online formats rapidly, resulting in a variety of simultaneous, asynchronous, and mixed activities. To investigate how physics students perceived the sudden…
▽ More
The COVID-19 pandemic has significantly affected the education system worldwide that was responding with a sudden shift to distance learning. Various physics courses such as lectures, tutorials, and the laboratories had to be transferred into online formats rapidly, resulting in a variety of simultaneous, asynchronous, and mixed activities. To investigate how physics students perceived the sudden shift to online learning, we developed a questionnaire and gathered data from N = 578 physics students from five universities in Germany, Austria, and Croatia. In this article, we report how the problem-solving sessions (recitations) and laboratories were adapted, how students' judge different formats of the courses and how useful and effective they perceive them. The results are correlated to the students' self-efficacy ratings and other behavioral measures (such as self-regulated learning skills) and demographics. In a related article, we focus on the online physics lectures and compare simultaneous vs. asynchronous teaching and learning methods (n.n.). We find that good communication abilities and self-organization skills are positively correlated for perceived learning achievement. Furthermore, the previous duration of studies had a significant impact on the students' perceived overall learning achievement, on the students' acquisition of experimental skills during the physics laboratories, and on their assessment of the recitations' effectiveness. That is, students in their first academic year show consistently lower scores than more progressed students. For the physics laboratories, it was found that gathering real data was crucial to the acquisition of experimental skills and the reinforcement of content. For the physics recitations, handing in own solutions for feedback was correlated with perceived effectiveness. We draw conclusions and implications for future online classes.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
On Light Spanners, Low-treewidth Embeddings and Efficient Traversing in Minor-free Graphs
Authors:
Vincent Cohen-Addad,
Arnold Filtser,
Philip N. Klein,
Hung Le
Abstract:
Understanding the structure of minor-free metrics, namely shortest path metrics obtained over a weighted graph excluding a fixed minor, has been an important research direction since the fundamental work of Robertson and Seymour. A fundamental idea that helps both to understand the structural properties of these metrics and lead to strong algorithmic results is to construct a "small-complexity" gr…
▽ More
Understanding the structure of minor-free metrics, namely shortest path metrics obtained over a weighted graph excluding a fixed minor, has been an important research direction since the fundamental work of Robertson and Seymour. A fundamental idea that helps both to understand the structural properties of these metrics and lead to strong algorithmic results is to construct a "small-complexity" graph that approximately preserves distances between pairs of points of the metric. We show the two following structural results for minor-free metrics:
1. Construction of a light subset spanner. Given a subset of vertices called terminals, and $ε$, in polynomial time we construct a subgraph that preserves all pairwise distances between terminals up to a multiplicative $1+ε$ factor, of total weight at most $O_ε(1)$ times the weight of the minimal Steiner tree spanning the terminals.
2. Construction of a stochastic metric embedding into low treewidth graphs with expected additive distortion $εD$. Namely, given a minor free graph $G=(V,E,w)$ of diameter $D$, and parameter $ε$, we construct a distribution $\mathcal{D}$ over dominating metric embeddings into treewidth-$O_ε(\log n)$ graphs such that the additive distortion is at most $εD$.
One of our important technical contributions is a novel framework that allows us to reduce \emph{both problems} to problems on simpler graphs of bounded diameter. Our results have the following algorithmic consequences: (1) the first efficient approximation scheme for subset TSP in minor-free metrics; (2) the first approximation scheme for vehicle routing with bounded capacity in minor-free metrics; (3) the first efficient approximation scheme for vehicle routing with bounded capacity on bounded genus metrics.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
On the computational tractability of a geographic clustering problem arising in redistricting
Authors:
Vincent Cohen-Addad,
Philip N. Klein,
Dániel Marx
Abstract:
Redistricting is the problem of dividing a state into a number $k$ of regions, called districts. Voters in each district elect a representative. The primary criteria are: each district is connected, district populations are equal (or nearly equal), and districts are "compact". There are multiple competing definitions of compactness, usually minimizing some quantity.
One measure that has been rec…
▽ More
Redistricting is the problem of dividing a state into a number $k$ of regions, called districts. Voters in each district elect a representative. The primary criteria are: each district is connected, district populations are equal (or nearly equal), and districts are "compact". There are multiple competing definitions of compactness, usually minimizing some quantity.
One measure that has been recently promoted by Duchin and others is number of cut edges. In redistricting, one is given atomic regions out of which each district must be built. The populations of the atomic regions are given. Consider the graph with one vertex per atomic region (with weight equal to the region's population) and an edge between atomic regions that share a boundary. A districting plan is a partition of vertices into $k$ parts, each connnected, of nearly equal weight. The districts are considered compact to the extent that the plan minimizes the number of edges crossing between different parts.
Consider two problems: find the most compact districting plan, and sample districting plans under a compactness constraint uniformly at random. Both problems are NP-hard so we restrict the input graph to have branchwidth at most $w$. (A planar graph's branchwidth is bounded by its diameter.) If both $k$ and $w$ are bounded by constants, the problems are solvable in polynomial time. Assume vertices have weight~1. One would like algorithms whose running times are of the form $O(f(k,w) n^c)$ for some constant $c$ independent of $k$ and $w$, in which case the problems are said to be fixed-parameter tractable with respect to $k$ and $w$). We show that, under a complexity-theoretic assumption, no such algorithms exist. However, we do give algorithms with running time $O(c^wn^{k+1})$. Thus if the diameter of the graph is moderately small and the number of districts is very small, our algorithm is useable.
△ Less
Submitted 31 August, 2020;
originally announced September 2020.
-
Coordinating vector field equations and diagrams with a serious game in introductory physics
Authors:
Pascal Klein,
Nicole Burkard,
Larissa Hahn,
Merten Nicolay Dahlkemper,
Kevin Eberle,
Tina Jaeger,
Jochen Kuhn,
Marc Herrlich
Abstract:
Mathematical reasoning with algebraic and graphical representations is essential for success in physics courses. Many problems require students to fluently move between algebraic and graphical representations. We developed a freely available serious game to challenge the representational fluency of introductory students regarding vector fields. Within the game, interactive puzzles are solved using…
▽ More
Mathematical reasoning with algebraic and graphical representations is essential for success in physics courses. Many problems require students to fluently move between algebraic and graphical representations. We developed a freely available serious game to challenge the representational fluency of introductory students regarding vector fields. Within the game, interactive puzzles are solved using different types of vector fields that must be configured with the correct mathematical parameters. A reward system implemented in the game prevents from using trial-and-error approaches and instead encourages the player to establish a mental connection between the graphical representation of the vector field and the (algebraic) equation before taking any action. For correct solutions, the player receives points and can unlock further levels. We report about the aim of the game from an educational perspective, describe potential learning scenarios and reflect about a first attempt to use the game in the classroom.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
Diagonal degenerations of matrix Schubert varieties
Authors:
Patricia Klein
Abstract:
Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Wei…
▽ More
Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Weigandt (2022) proposed a similar connection between diagonal degenerations of matrix Schubert varieties and bumpless pipe dreams, newer combinatorial objects introduced by Lam, Lee, and Shimozono (2021). Hamaker, Pechenik, and Weigandt described new generating sets of the defining ideals of matrix Schubert varieties and conjectured a characterization of permutations for which these generating sets form diagonal Gröbner bases. They proved special cases of this conjecture and described diagonal degenerations of matrix Schubert varieties in terms of bumpless pipe dreams in these cases. The purpose of this paper is to prove the conjecture in full generality. The proof uses a connection between liaison and geometric vertex decomposition established in earlier work with Rajchgot (2021).
△ Less
Submitted 18 January, 2023; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Using Semantic Web Services for AI-Based Research in Industry 4.0
Authors:
Lukas Malburg,
Patrick Klein,
Ralph Bergmann
Abstract:
The transition to Industry 4.0 requires smart manufacturing systems that are easily configurable and provide a high level of flexibility during manufacturing in order to achieve mass customization or to support cloud manufacturing. To realize this, Cyber-Physical Systems (CPSs) combined with Artificial Intelligence (AI) methods find their way into manufacturing shop floors. For using AI methods in…
▽ More
The transition to Industry 4.0 requires smart manufacturing systems that are easily configurable and provide a high level of flexibility during manufacturing in order to achieve mass customization or to support cloud manufacturing. To realize this, Cyber-Physical Systems (CPSs) combined with Artificial Intelligence (AI) methods find their way into manufacturing shop floors. For using AI methods in the context of Industry 4.0, semantic web services are indispensable to provide a reasonable abstraction of the underlying manufacturing capabilities. In this paper, we present semantic web services for AI-based research in Industry 4.0. Therefore, we developed more than 300 semantic web services for a physical simulation factory based on Web Ontology Language for Web Services (OWL-S) and Web Service Modeling Ontology (WSMO) and linked them to an already existing domain ontology for intelligent manufacturing control. Suitable for the requirements of CPS environments, our pre- and postconditions are verified in near real-time by invoking other semantic web services in contrast to complex reasoning within the knowledge base. Finally, we evaluate our implementation by executing a cyber-physical workflow composed of semantic web services using a workflow management system.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
New Hardness Results for Planar Graph Problems in P and an Algorithm for Sparsest Cut
Authors:
Amir Abboud,
Vincent Cohen-Addad,
Philip N. Klein
Abstract:
The Sparsest Cut is a fundamental optimization problem that has been extensively studied. For planar inputs the problem is in $P$ and can be solved in $\tilde{O}(n^3)$ time if all vertex weights are $1$. Despite a significant amount of effort, the best algorithms date back to the early 90's and can only achieve $O(\log n)$-approximation in $\tilde{O}(n)$ time or a constant factor approximation in…
▽ More
The Sparsest Cut is a fundamental optimization problem that has been extensively studied. For planar inputs the problem is in $P$ and can be solved in $\tilde{O}(n^3)$ time if all vertex weights are $1$. Despite a significant amount of effort, the best algorithms date back to the early 90's and can only achieve $O(\log n)$-approximation in $\tilde{O}(n)$ time or a constant factor approximation in $\tilde{O}(n^2)$ time [Rao, STOC92]. Our main result is an $Ω(n^{2-ε})$ lower bound for Sparsest Cut even in planar graphs with unit vertex weights, under the $(min,+)$-Convolution conjecture, showing that approximations are inevitable in the near-linear time regime. To complement the lower bound, we provide a constant factor approximation in near-linear time, improving upon the 25-year old result of Rao in both time and accuracy.
Our lower bound accomplishes a repeatedly raised challenge by being the first fine-grained lower bound for a natural planar graph problem in P. Moreover, we prove near-quadratic lower bounds under SETH for variants of the closest pair problem in planar graphs, and use them to show that the popular Average-Linkage procedure for Hierarchical Clustering cannot be simulated in truly subquadratic time.
We prove an $Ω(n/\log{n})$ lower bound on the number of communication rounds required to compute the weighted diameter of a network in the CONGEST model, even when the underlying graph is planar and all nodes are $D=4$ hops away from each other. This is the first poly($n$) + $ω(D)$ lower bound in the planar-distributed setting, and it complements the recent poly$(D, \log{n})$ upper bounds of Li and Parter [STOC 2019] for (exact) unweighted diameter and for ($1+ε$) approximate weighted diameter.
△ Less
Submitted 5 July, 2020;
originally announced July 2020.
-
Toric double determinantal varieties
Authors:
Alexander Blose,
Patricia Klein,
Owen McGrath,
Jackson Morris
Abstract:
We examine Li's double determinantal varieties in the special case that they are toric. We recover from the general double determinantal varieties case, via a more elementary argument, that they are irreducible and show that toric double determinantal varieties are smooth. We use this framework to give a straighforward formula for their dimension. Finally, we use the smallest nontrivial toric doub…
▽ More
We examine Li's double determinantal varieties in the special case that they are toric. We recover from the general double determinantal varieties case, via a more elementary argument, that they are irreducible and show that toric double determinantal varieties are smooth. We use this framework to give a straighforward formula for their dimension. Finally, we use the smallest nontrivial toric double determinantal variety to provide some empirical evidence concerning an open problem in local algebra.
△ Less
Submitted 7 June, 2020;
originally announced June 2020.
-
Geometric vertex decomposition and liaison
Authors:
Patricia Klein,
Jenna Rajchgot
Abstract:
Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height 1 to an ideal of indeterminates a…
▽ More
Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height 1 to an ideal of indeterminates and, conversely, that every G-biliaison of a certain type gives rise to a geometric vertex decomposition. As a consequence, we can immediately conclude that several well-known families of ideals are glicci, including Schubert determinantal ideals, defining ideals of varieties of complexes, and defining ideals of graded lower bound cluster algebras.
△ Less
Submitted 25 November, 2021; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Trajectory Deflection of Spinning Magnetic Microparticles, the Magnus Effect at the Microscale
Authors:
M. Solsona,
H. Keizer,
H. de Boer,
Y. P. Klein,
W. Olthuis,
L. Abelmann,
A. van den Berg
Abstract:
The deflection due to the Magnus force of magnetic particles with a diameter of 80 micrometer dropping through fluids and rotating in a magnetic field was measured. With Reynolds number for this experiment around 1, we found trajectory deflections of the order of 1 degree, in agreement within measurement error with theory. This method holds promise for the sorting and analysis of the distribution…
▽ More
The deflection due to the Magnus force of magnetic particles with a diameter of 80 micrometer dropping through fluids and rotating in a magnetic field was measured. With Reynolds number for this experiment around 1, we found trajectory deflections of the order of 1 degree, in agreement within measurement error with theory. This method holds promise for the sorting and analysis of the distribution in magnetic moment and particle diameter of suspensions of microparticles, such as applied in catalysis, or objects loaded with magnetic particles.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Interacting Stochastic Topology and Mott Transition from Light Response
Authors:
Philipp W. Klein,
Adolfo G. Grushin,
Karyn Le Hur
Abstract:
We develop a stochastic description of the topological properties in an interacting Chern insulator. We confirm the Mott transition's first-order nature in the interacting Haldane model on the honeycomb geometry, from a mean-field variational approach, supported by density matrix renormalization group results and Ginzburg-Landau arguments. From the Bloch sphere, we make predictions for circular di…
▽ More
We develop a stochastic description of the topological properties in an interacting Chern insulator. We confirm the Mott transition's first-order nature in the interacting Haldane model on the honeycomb geometry, from a mean-field variational approach, supported by density matrix renormalization group results and Ginzburg-Landau arguments. From the Bloch sphere, we make predictions for circular dichroism of light related to the quantum Hall conductivity on the lattice and in the presence of interactions. This analysis shows that the topological number can be measured from the light response at the Dirac points. Electron-electron interactions can also produce a substantial number of particle-hole pairs above the band gap, which leads us to propose a "stochastic Chern number" as an interacting measure of the topology. The stochastic Chern number can describe disordered situations with a fluctuating staggered potential and we build an analogy between interaction-induced particle-hole pairs and temperature effects. Our stochastic approach is physically intuitive, easy to implement and leads the way to further studies of interaction effects.
△ Less
Submitted 5 December, 2020; v1 submitted 5 February, 2020;
originally announced February 2020.
-
A near-linear time minimum Steiner cut algorithm for planar graphs
Authors:
Stephen Jue,
Philip N. Klein
Abstract:
We consider the Minimum Steiner Cut problem on undirected planar graphs with non-negative edge weights. This problem involves finding the minimum cut of the graph that separates a specified subset $X$ of vertices (terminals) into two parts. This problem is of theoretical interest because it generalizes two classical optimization problems, Minimum $s$-$t$ Cut and Minimum Cut, and of practical impor…
▽ More
We consider the Minimum Steiner Cut problem on undirected planar graphs with non-negative edge weights. This problem involves finding the minimum cut of the graph that separates a specified subset $X$ of vertices (terminals) into two parts. This problem is of theoretical interest because it generalizes two classical optimization problems, Minimum $s$-$t$ Cut and Minimum Cut, and of practical importance because of its application to computing a lower bound for Steiner (Subset) TSP. Our algorithm has running time $O(n\log{n}\log{k})$ where $k$ is the number of terminals.
△ Less
Submitted 31 December, 2019; v1 submitted 23 December, 2019;
originally announced December 2019.
-
Visual attention while solving the test of understanding graphs in kinematics: An eye-tracking analysis
Authors:
Pascal Klein,
Andreas Lichtenberger,
Stefan Küchemann,
Sebastian Becker,
Martina Kekule,
Jouni Viiri,
Christiane Baadte,
Andreas Vaterlaus,
Jochen Kuhn
Abstract:
This study used eye-tracking to capture the students' visual attention while taking the test of understanding graphs in kinematics (TUG-K). A total of N = 115 upper-secondary-level students from Germany and Switzerland took the 26-item multiple-choice instrument after learning about kinematics graphs in the regular classroom. Besides choosing the correct alternative among research-based distractor…
▽ More
This study used eye-tracking to capture the students' visual attention while taking the test of understanding graphs in kinematics (TUG-K). A total of N = 115 upper-secondary-level students from Germany and Switzerland took the 26-item multiple-choice instrument after learning about kinematics graphs in the regular classroom. Besides choosing the correct alternative among research-based distractors, the students were required to judge their response confidence for each question. The items were presented sequentially on a computer screen equipped with a remote eye tracker, resulting in a set of approx. 3000 paired responses (accuracy and confidence) and about 40 hours of eye movementdata (approx. 500.000 fixations). The analysis of students' visual attention related to the item stems (questions) and the item options reveal that high response confidence is correlated with shorter visit duration on both elements of the items. While the students' response accuracy and their response confidence are highly correlated on the score level, r(115) = 0.63, p < 0.001, the eye-tracking measures do not sufficiently discriminate between correct and incorrect responses. However, a more fine-grained analysis of visual attention based on different answer options reveals a significant discrimination between correct and incorrect answers in terms of an interaction effect: Incorrect responses are associated with longer visit durations on strong distractors and less time spent on correct options while correct responses show the opposite trend. Outcomes of this study provide new insights into the validation of concept inventories based on students' behavioural level.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
Using Mobile Devices to Augment Inquiry-Based Learning Processes with Multiple Representations
Authors:
Sebastian Becker,
Pascal Klein,
Alexander Gößling,
Jochen Kuhn
Abstract:
Technological advances offer the possibility of using mobile devices to enrich learning environments with multimedia content. Although physical experiments play a key role in science learning, little is known about integrating multimedia learning in physical experimental processes, especially in real classroom settings. In our approach, students use tablet PCs to investigate motions with an applic…
▽ More
Technological advances offer the possibility of using mobile devices to enrich learning environments with multimedia content. Although physical experiments play a key role in science learning, little is known about integrating multimedia learning in physical experimental processes, especially in real classroom settings. In our approach, students use tablet PCs to investigate motions with an application providing multiple representations of the measurement data. We present the results of a cluster-randomized controlled trial (N=262 matched samples) that covered the topic uniform motion. The results show that the treatment not only leads to a significant reduction of extraneous cognitive load (F(1,240)=27.01, p<10-3, $η$2=0.101, $1-β$=1.000), but also to greater conceptual knowledge (F(1,259)=10.82, p=0.001, $η$2=0.048, $1-β$=0.953). Structure equation modeling statistically supports the assumption of a causal relationship between the reduction of extraneous cognitive load and the increase in conceptual understanding.
△ Less
Submitted 29 August, 2019;
originally announced August 2019.
-
Gröbner bases and the Cohen-Macaulay property of Li's double determinantal varieties
Authors:
Nathan Fieldsteel,
Patricia Klein
Abstract:
We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We als…
▽ More
We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We also give a formula for the dimension of a double determinantal variety.
△ Less
Submitted 9 December, 2020; v1 submitted 16 June, 2019;
originally announced June 2019.
-
Improving students' understanding of rotating frames of reference using videos from different perspectives
Authors:
Stefan Küchemann,
Pascal Klein,
Henning Fouckhardt,
Sebastian Gröber,
Jochen Kuhn
Abstract:
The concepts of the Coriolis and the centrifugal force are essential in various scientific fields and they are standard components of introductory physics lectures. In this paper we explore how students understand and apply concepts of rotating frames of reference in the context of an exemplary lecture demonstration experiment. We found in a $Predict-Observe-Explain$-setting, that after predicting…
▽ More
The concepts of the Coriolis and the centrifugal force are essential in various scientific fields and they are standard components of introductory physics lectures. In this paper we explore how students understand and apply concepts of rotating frames of reference in the context of an exemplary lecture demonstration experiment. We found in a $Predict-Observe-Explain$-setting, that after predicting the outcome prior to the demonstration, only one out of five physics students correctly reported the observation of the trajectory of a sphere rolling over a rotating disc. Despite this low score, a detailed analysis of distractors revealed significant conceptual learning during the observation of the experiment. In this context, we identified three main misconceptions and learning difficulties. First, the centrifugal force is only required to describe the trajectory if the object is coupled to the rotating system. Second, inertial forces cause a reaction of an object on which they act. And third, students systematically mix-up the trajectories in the stationary and the rotating frame of reference. Furthermore, we captured students' eye movements during the $Predict$ task and found that physics students with low confidence ratings focused longer on relevant task areas than confident students despite having a comparable score. Consequently, this metric is a helpful tool for the identification of misconceptions using eye tracking. Overall, the results help to understand the complexity of concept learning from demonstration experiments and provide important implications for instructional design of introductions to rotating frames of reference.
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
Topological proximity effects in a Haldane-graphene bilayer system
Authors:
Peng Cheng,
Philipp W. Klein,
Kirill Plekhanov,
Klaus Sengstock,
Monika Aidelsburger,
Christof Weitenberg,
Karyn Le Hur
Abstract:
We reveal a proximity effect between a topological band (Chern) insulator described by a Haldane model and spin-polarized Dirac particles of a graphene layer. Coupling weakly the two systems through a tunneling term in the bulk, the topological Chern insulator induces a gap and an opposite Chern number on the Dirac particles at half-filling resulting in a sign flip of the Berry curvature at one Di…
▽ More
We reveal a proximity effect between a topological band (Chern) insulator described by a Haldane model and spin-polarized Dirac particles of a graphene layer. Coupling weakly the two systems through a tunneling term in the bulk, the topological Chern insulator induces a gap and an opposite Chern number on the Dirac particles at half-filling resulting in a sign flip of the Berry curvature at one Dirac point. We study different aspects of the bulk-edge correspondence and present protocols to observe the evolution of the Berry curvature as well as two counter-propagating (protected) edge modes with different velocities. In the strong-coupling limit, the energy spectrum shows flat bands. Therefore we build a perturbation theory and address further the bulk-edge correspondence. We also show the occurrence of a topological insulating phase with Chern number one when only the lowest band is filled. We generalize the effect to Haldane bilayer systems with asymmetric Semenoff masses. We propose an alternative definition of the topological invariant on the Bloch sphere.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
A PTAS for Bounded-Capacity Vehicle Routing in Planar Graphs
Authors:
Amariah Becker,
Philip N. Klein,
Aaron Schild
Abstract:
The Capacitated Vehicle Routing problem is to find a minimum-cost set of tours that collectively cover clients in a graph, such that each tour starts and ends at a specified depot and is subject to a capacity bound on the number of clients it can serve. In this paper, we present a polynomial-time approximation scheme (PTAS) for instances in which the input graph is planar and the capacity is bound…
▽ More
The Capacitated Vehicle Routing problem is to find a minimum-cost set of tours that collectively cover clients in a graph, such that each tour starts and ends at a specified depot and is subject to a capacity bound on the number of clients it can serve. In this paper, we present a polynomial-time approximation scheme (PTAS) for instances in which the input graph is planar and the capacity is bounded. Previously, only a quasipolynomial-time approximation scheme was known for these instances. To obtain this result, we show how to embed planar graphs into bounded-treewidth graphs while preserving, in expectation, the client-to-client distances up to a small additive error proportional to client distances to the depot.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
Graph Cut Segmentation Methods Revisited with a Quantum Algorithm
Authors:
Lisa Tse,
Peter Mountney,
Paul Klein,
Simone Severini
Abstract:
The design and performance of computer vision algorithms are greatly influenced by the hardware on which they are implemented. CPUs, multi-core CPUs, FPGAs and GPUs have inspired new algorithms and enabled existing ideas to be realized. This is notably the case with GPUs, which has significantly changed the landscape of computer vision research through deep learning. As the end of Moores law appro…
▽ More
The design and performance of computer vision algorithms are greatly influenced by the hardware on which they are implemented. CPUs, multi-core CPUs, FPGAs and GPUs have inspired new algorithms and enabled existing ideas to be realized. This is notably the case with GPUs, which has significantly changed the landscape of computer vision research through deep learning. As the end of Moores law approaches, researchers and hardware manufacturers are exploring alternative hardware computing paradigms. Quantum computers are a very promising alternative and offer polynomial or even exponential speed-ups over conventional computing for some problems. This paper presents a novel approach to image segmentation that uses new quantum computing hardware. Segmentation is formulated as a graph cut problem that can be mapped to the quantum approximate optimization algorithm (QAOA). This algorithm can be implemented on current and near-term quantum computers. Encouraging results are presented on artificial and medical imaging data. This represents an important, practical step towards leveraging quantum computers for computer vision.
△ Less
Submitted 30 March, 2019; v1 submitted 7 December, 2018;
originally announced December 2018.