-
Recent Advances in Data-Driven Business Process Management
Authors:
Lars Ackermann,
Martin Käppel,
Laura Marcus,
Linda Moder,
Sebastian Dunzer,
Markus Hornsteiner,
Annina Liessmann,
Yorck Zisgen,
Philip Empl,
Lukas-Valentin Herm,
Nicolas Neis,
Julian Neuberger,
Leo Poss,
Myriam Schaschek,
Sven Weinzierl,
Niklas Wördehoff,
Stefan Jablonski,
Agnes Koschmider,
Wolfgang Kratsch,
Martin Matzner,
Stefanie Rinderle-Ma,
Maximilian Röglinger,
Stefan Schönig,
Axel Winkelmann
Abstract:
The rapid development of cutting-edge technologies, the increasing volume of data and also the availability and processability of new types of data sources has led to a paradigm shift in data-based management and decision-making. Since business processes are at the core of organizational work, these developments heavily impact BPM as a crucial success factor for organizations. In view of this emer…
▽ More
The rapid development of cutting-edge technologies, the increasing volume of data and also the availability and processability of new types of data sources has led to a paradigm shift in data-based management and decision-making. Since business processes are at the core of organizational work, these developments heavily impact BPM as a crucial success factor for organizations. In view of this emerging potential, data-driven business process management has become a relevant and vibrant research area. Given the complexity and interdisciplinarity of the research field, this position paper therefore presents research insights regarding data-driven BPM.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Leveraging Data Augmentation for Process Information Extraction
Authors:
Julian Neuberger,
Leonie Doll,
Benedict Engelmann,
Lars Ackermann,
Stefan Jablonski
Abstract:
Business Process Modeling projects often require formal process models as a central component. High costs associated with the creation of such formal process models motivated many different fields of research aimed at automated generation of process models from readily available data. These include process mining on event logs, and generating business process models from natural language texts. Re…
▽ More
Business Process Modeling projects often require formal process models as a central component. High costs associated with the creation of such formal process models motivated many different fields of research aimed at automated generation of process models from readily available data. These include process mining on event logs, and generating business process models from natural language texts. Research in the latter field is regularly faced with the problem of limited data availability, hindering both evaluation and development of new techniques, especially learning-based ones.
To overcome this data scarcity issue, in this paper we investigate the application of data augmentation for natural language text data. Data augmentation methods are well established in machine learning for creating new, synthetic data without human assistance. We find that many of these methods are applicable to the task of business process information extraction, improving the accuracy of extraction. Our study shows, that data augmentation is an important component in enabling machine learning methods for the task of business process model generation from natural language text, where currently mostly rule-based systems are still state of the art. Simple data augmentation techniques improved the $F_1$ score of mention extraction by 2.9 percentage points, and the $F_1$ of relation extraction by $4.5$. To better understand how data augmentation alters human annotated texts, we analyze the resulting text, visualizing and discussing the properties of augmented textual data.
We make all code and experiments results publicly available.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
A Bifurcation Lemma for Invariant Subspaces
Authors:
John M. Neuberger,
Nándor Sieben,
James W. Swift
Abstract:
The Bifurcation from a Simple Eigenvalue (BSE) Theorem is the foundation of steady-state bifurcation theory for one-parameter families of functions. When eigenvalues of multiplicity greater than one are caused by symmetry, the Equivariant Branching Lemma (EBL) can often be applied to predict the branching of solutions. The EBL can be interpreted as the application of the BSE Theorem to a fixed poi…
▽ More
The Bifurcation from a Simple Eigenvalue (BSE) Theorem is the foundation of steady-state bifurcation theory for one-parameter families of functions. When eigenvalues of multiplicity greater than one are caused by symmetry, the Equivariant Branching Lemma (EBL) can often be applied to predict the branching of solutions. The EBL can be interpreted as the application of the BSE Theorem to a fixed point subspace. There are functions which have invariant linear subspaces that are not caused by symmetry. For example, networks of identical coupled cells often have such invariant subspaces. We present a generalization of the EBL, where the BSE Theorem is applied to nested invariant subspaces. We call this the Bifurcation Lemma for Invariant Subspaces (BLIS). We give several examples of bifurcations and determine if BSE, EBL, or BLIS apply. We extend our previous automated bifurcation analysis algorithms to use the BLIS to simplify and improve the detection of branches created at bifurcations.
△ Less
Submitted 6 June, 2024; v1 submitted 20 August, 2023;
originally announced August 2023.
-
Beyond Rule-based Named Entity Recognition and Relation Extraction for Process Model Generation from Natural Language Text
Authors:
Julian Neuberger,
Lars Ackermann,
Stefan Jablonski
Abstract:
Process-aware information systems offer extensive advantages to companies, facilitating planning, operations, and optimization of day-to-day business activities. However, the time-consuming but required step of designing formal business process models often hampers the potential of these systems. To overcome this challenge, automated generation of business process models from natural language text…
▽ More
Process-aware information systems offer extensive advantages to companies, facilitating planning, operations, and optimization of day-to-day business activities. However, the time-consuming but required step of designing formal business process models often hampers the potential of these systems. To overcome this challenge, automated generation of business process models from natural language text has emerged as a promising approach to expedite this step. Generally two crucial subtasks have to be solved: extracting process-relevant information from natural language and creating the actual model. Approaches towards the first subtask are rule based methods, highly optimized for specific domains, but hard to adapt to related applications. To solve this issue, we present an extension to an existing pipeline, to make it entirely data driven. We demonstrate the competitiveness of our improved pipeline, which not only eliminates the substantial overhead associated with feature engineering and rule definition, but also enables adaptation to different datasets, entity and relation types, and new domains. Additionally, the largest available dataset (PET) for the first subtask, contains no information about linguistic references between mentions of entities in the process description. Yet, the resolution of these mentions into a single visual element is essential for high quality process models. We propose an extension to the PET dataset that incorporates information about linguistic references and a corresponding method for resolving them. Finally, we provide a detailed analysis of the inherent challenges in the dataset at hand.
△ Less
Submitted 7 August, 2023; v1 submitted 6 May, 2023;
originally announced May 2023.
-
Invariant synchrony subspaces of sets of matrices
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
A synchrony subspace of R^n is defined by setting certain components of the vectors equal according to an equivalence relation. Synchrony subspaces invariant under a given set of square matrices form a lattice. Applications of these invariant synchrony subspaces include equitable and almost equitable partitions of the vertices of a graph used in many areas of graph theory, balanced and exo-balance…
▽ More
A synchrony subspace of R^n is defined by setting certain components of the vectors equal according to an equivalence relation. Synchrony subspaces invariant under a given set of square matrices form a lattice. Applications of these invariant synchrony subspaces include equitable and almost equitable partitions of the vertices of a graph used in many areas of graph theory, balanced and exo-balanced partitions of coupled cell networks, and coset partitions of Cayley graphs. We study the basic properties of invariant synchrony subspaces and provide many examples of the applications. We also present what we call the split and cir algorithm for finding the lattice of invariant synchrony subspaces. Our theory and algorithm is further generalized for non-square matrices. This leads to the notion of tactical decompositions studied for its application in design theory.
△ Less
Submitted 18 February, 2020; v1 submitted 15 August, 2019;
originally announced August 2019.
-
Synchrony and Anti-Synchrony for Difference-Coupled Vector Fields on Graph Network Systems
Authors:
John M. Neuberger,
Nándor Sieben,
James W. Swift
Abstract:
We define a graph network to be a coupled cell network where there are only one type of cell and one type of symmetric coupling between the cells. For a difference-coupled vector field on a graph network system, all the cells have the same internal dynamics, and the coupling between cells is identical, symmetric, and depends only on the difference of the states of the interacting cells. We define…
▽ More
We define a graph network to be a coupled cell network where there are only one type of cell and one type of symmetric coupling between the cells. For a difference-coupled vector field on a graph network system, all the cells have the same internal dynamics, and the coupling between cells is identical, symmetric, and depends only on the difference of the states of the interacting cells. We define four nested sets of difference-coupled vector fields by adding further restrictions on the internal dynamics and the coupling functions. These restrictions require that these functions preserve zero or are odd or linear. We characterize the synchrony and anti-synchrony subspaces with respect to these four subsets of admissible vector fields. Synchrony and anti-synchrony subspaces are determined by partitions and matched partitions of the cells that satisfy certain balance conditions. We compute the lattice of synchrony and anti-synchrony subspaces for several graph networks. We also apply our theory to systems of coupled van der Pol oscillators.
△ Less
Submitted 1 March, 2019; v1 submitted 10 May, 2018;
originally announced May 2018.
-
Light, the universe, and everything -- 12 Herculean tasks for quantum cowboys and black diamond skiers
Authors:
Girish Agarwal,
Roland Allen,
Iva Bezdekova,
Robert Boyd,
Goong Chen,
Ronald Hanson,
Dean Hawthorne,
Philip Hemmer,
Moochan Kim,
Olga Kocharovskaya,
David Lee,
Sebastian Lidstrom,
Suzy Lidstrom,
Harald Losert,
Helmut Maier,
John Neuberger,
Miles Padgett,
Mark Raizen,
Surjeet Rajendran,
Ernst Rasel,
Wolfgang Schleich,
Marlan Scully,
Gavriil Shchedrin,
Gennady Shvets,
Alexei Sokolov
, et al. (7 additional authors not shown)
Abstract:
The Winter Colloquium on the Physics of Quantum Electronics (PQE) has been a seminal force in quantum optics and related areas since 1971. It is rather mindboggling to recognize how the concepts presented at these conferences have transformed scientific understanding and human society. In January, 2017, the participants of PQE were asked to consider the equally important prospects for the future,…
▽ More
The Winter Colloquium on the Physics of Quantum Electronics (PQE) has been a seminal force in quantum optics and related areas since 1971. It is rather mindboggling to recognize how the concepts presented at these conferences have transformed scientific understanding and human society. In January, 2017, the participants of PQE were asked to consider the equally important prospects for the future, and to formulate a set of questions representing some of the greatest aspirations in this broad field. The result is this multi-authored paper, in which many of the world's leading experts address the following fundamental questions: (1) What is the future of gravitational wave astronomy? (2) Are there new quantum phases of matter away from equilibrium that can be found and exploited - such as the time crystal? (3) Quantum theory in uncharted territory: What can we learn? (4) What are the ultimate limits for laser photon energies? (5) What are the ultimate limits to temporal, spatial, and optical resolution? (6) What novel roles will atoms play in technology? (7) What applications lie ahead for nitrogen-vacancy centers in diamond? (8) What is the future of quantum coherence, squeezing, and entanglement for enhanced superresolution and sensing? (9) How can we solve (some of) humanity's biggest problems through new quantum technologies? (10) What new understanding of materials and biological molecules will result from their dynamical characterization with free electron lasers? (11) What new technologies and fundamental discoveries might quantum optics achieve by the end of this century? (12) What novel topological structures can be created and employed in quantum optics?
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
-
Newton's Method and Symmetry for Semilinear Elliptic PDE on the Cube
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We seek discrete approximations to solutions $u:Ω\to R$ of semilinear elliptic partial differential equations of the form $Δu + f_s(u) = 0$, where $f_s$ is a one-parameter family of nonlinear functions and $Ω$ is a domain in $R^d$. The main achievement of this paper is the approximation of solutions to the PDE on the cube $Ω=(0,π)^3 \subseteq R^3$. There are 323 possible isotropy subgroups of func…
▽ More
We seek discrete approximations to solutions $u:Ω\to R$ of semilinear elliptic partial differential equations of the form $Δu + f_s(u) = 0$, where $f_s$ is a one-parameter family of nonlinear functions and $Ω$ is a domain in $R^d$. The main achievement of this paper is the approximation of solutions to the PDE on the cube $Ω=(0,π)^3 \subseteq R^3$. There are 323 possible isotropy subgroups of functions on the cube, which fall into 99 conjugacy classes. The bifurcations with symmetry in this problem are quite interesting, including many with 3-dimensional critical eigenspaces. Our automated symmetry analysis is necessary with so many isotropy subgroups and bifurcations among them, and it allows our code to follow one branch in each equivalence class that is created at a bifurcation point. Our most complicated result is the complete analysis of a degenerate bifurcation with a 6-dimensional critical eigenspace.
This article extends the authors' work in {\it Automated Bifurcation Analysis for Nonlinear Elliptic Partial Difference Equations on Graphs} (Int. J. of Bifurcation and Chaos, 2009), wherein they combined symmetry analysis with modified implementations of the gradient Newton-Galerkin algorithm (GNGA, Neuberger and Swift) to automatically generate bifurcation diagrams and solution graphics for small, discrete problems with large symmetry groups. The code described in the current paper is efficiently implemented in parallel, allowing us to investigate a relatively fine-mesh discretization of the cube. We use the methodology and corresponding library presented in our paper {\it An MPI Implementation of a Self-Submitting Parallel Job Queue} (Int. J. of Parallel Prog., 2012).
△ Less
Submitted 29 January, 2013;
originally announced January 2013.
-
An MPI Implementation of a Self-Submitting Parallel Job Queue
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We present a simple and easy to apply methodology for using high-level self-submitting parallel job queues in an MPI environment. Using C++, we implemented a library of functions, MPQueue, both for testing our concepts and for use in real applications. In particular, we have applied our ideas toward solving computational combinatorics problems and for finding bifurcation diagrams of solutions of p…
▽ More
We present a simple and easy to apply methodology for using high-level self-submitting parallel job queues in an MPI environment. Using C++, we implemented a library of functions, MPQueue, both for testing our concepts and for use in real applications. In particular, we have applied our ideas toward solving computational combinatorics problems and for finding bifurcation diagrams of solutions of partial differential equations (PDE). Our method is general and can be applied in many situations without a lot of programming effort. The key idea is that workers themselves can easily submit new jobs to the currently running job queue. Our applications involve complicated data structures, so we employ serialization to allow data to be effortlessly passed between nodes. Using our library, one can solve large problems in parallel without being an expert in MPI. We demonstrate our methodology and the features of the library with several example programs, and give some results from our current PDE research. We show that our techniques are efficient and effective via overhead and scaling experiments.
△ Less
Submitted 19 April, 2012;
originally announced April 2012.
-
How to distinguish a local semigroup from a global semigroup
Authors:
John W. Neuberger
Abstract:
For a given autonomous time-dependent system that generates either a global, in time, semigroup or else only a local, in time, semigroup, a test involving a linear eigenvalue problem is given which determines which of 'global' or 'local' holds. Numerical examples are given. A linear transformation A is defined so that one has 'global' or 'local' depending on whether A does not or does have a posit…
▽ More
For a given autonomous time-dependent system that generates either a global, in time, semigroup or else only a local, in time, semigroup, a test involving a linear eigenvalue problem is given which determines which of 'global' or 'local' holds. Numerical examples are given. A linear transformation A is defined so that one has 'global' or 'local' depending on whether A does not or does have a positive eigenvalue. There is a possible application to Navier-Stokes problems.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.
-
Automated Bifurcation Analysis for Nonlinear Elliptic Partial Difference Equations on Graphs
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We seek solutions $u\in\R^n$ to the semilinear elliptic partial difference equation $-Lu + f_s(u) = 0$, where $L$ is the matrix corresponding to the Laplacian operator on a graph $G$ and $f_s$ is a one-parameter family of nonlinear functions. This article combines the ideas introduced by the authors in two papers: a) {\it Nonlinear Elliptic Partial Difference Equations on Graphs} (J. Experimental…
▽ More
We seek solutions $u\in\R^n$ to the semilinear elliptic partial difference equation $-Lu + f_s(u) = 0$, where $L$ is the matrix corresponding to the Laplacian operator on a graph $G$ and $f_s$ is a one-parameter family of nonlinear functions. This article combines the ideas introduced by the authors in two papers: a) {\it Nonlinear Elliptic Partial Difference Equations on Graphs} (J. Experimental Mathematics, 2006), which introduces analytical and numerical techniques for solving such equations, and b) {\it Symmetry and Automated Branch Following for a Semilinear Elliptic PDE on a Fractal Region} wherein we present some of our recent advances concerning symmetry, bifurcation, and automation fo
We apply the symmetry analysis found in the SIAM paper to arbitrary graphs in order to obtain better initial guesses for Newton's method, create informative graphics, and be in the underlying variational structure. We use two modified implementations of the gradient Newton-Galerkin algorithm (GNGA, Neuberger and Swift) to follow bifurcation branches in a robust way. By handling difficulties that arise when encountering accidental degeneracies and higher-dimension we can find many solutions of many symmetry types to the discrete nonlinear system. We present a selection of experimental results which demonstrate our algorithm's capability to automatically generate bifurcation diagrams and solution graphics starting with only an edgelis of a graph. We highlight interesting symmetry and variational phenomena.
△ Less
Submitted 11 October, 2010;
originally announced October 2010.
-
Symmetry and Automated Branch Following for a Semilinear Elliptic PDE on a Fractal Region
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We apply the Gradient-Newton-Galerkin-Algorithm (GNGA) of Neuberger & Swift to find solutions to a semilinear elliptic Dirichlet problem on the region whose boundary is the Koch snowflake. In a recent paper, we described an accurate and efficient method for generating a basis of eigenfunctions of the Laplacian on this region. In that work, we used the symmetry of the snowflake region to analyze an…
▽ More
We apply the Gradient-Newton-Galerkin-Algorithm (GNGA) of Neuberger & Swift to find solutions to a semilinear elliptic Dirichlet problem on the region whose boundary is the Koch snowflake. In a recent paper, we described an accurate and efficient method for generating a basis of eigenfunctions of the Laplacian on this region. In that work, we used the symmetry of the snowflake region to analyze and post-process the basis, rendering it suitable for input to the GNGA. The GNGA uses Newton's method on the eigenfunction expansion coefficients to find solutions to the semilinear problem. This article introduces the bifurcation digraph, an extension of the lattice of isotropy subgroups. For our example, the bifurcation digraph shows the 23 possible symmetry types of solutions to the PDE and the 59 generic symmetry-breaking bifurcations among these symmetry types. Our numerical code uses continuation methods, and follows branches created at symmetry-breaking bifurcations, so the human user does not need to supply initial guesses for Newton's method. Starting from the known trivial solution, the code automatically finds at least one solution with each of the symmetry types that we predict can exist. Such computationally intensive investigations necessitated the writing of automated branch following code, whereby symmetry information was used to reduce the number of computations per GNGA execution and to make intelligent branch following decisions at bifurcation points.
△ Less
Submitted 5 October, 2010;
originally announced October 2010.
-
Computing Eigenfunctions on the Koch Snowflake: A New Grid and Symmetry
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
In this paper we numerically solve the eigenvalue problem $Δu + λu = 0$ on the fractal region defined by the Koch Snowflake, with zero-Dirichlet or zero-Neumann boundary conditions. The Laplacian with boundary conditions is approximated by a large symmetric matrix. The eigenvalues and eigenvectors of this matrix are computed by ARPACK. We impose the boundary conditions in a way that gives improved…
▽ More
In this paper we numerically solve the eigenvalue problem $Δu + λu = 0$ on the fractal region defined by the Koch Snowflake, with zero-Dirichlet or zero-Neumann boundary conditions. The Laplacian with boundary conditions is approximated by a large symmetric matrix. The eigenvalues and eigenvectors of this matrix are computed by ARPACK. We impose the boundary conditions in a way that gives improved accuracy over the previous computations of Lapidus, Neuberger, Renka & Griffith. We extrapolate the results for grid spacing $h$ to the limit $h \rightarrow 0$ in order to estimate eigenvalues of the Laplacian and compare our results to those of Lapdus et al. We analyze the symmetry of the region to explain the multiplicity-two eigenvalues, and present a canonical choice of the two eigenfunctions that span each two-dimensional eigenspace.
△ Less
Submitted 5 October, 2010;
originally announced October 2010.
-
Energy minimization using Sobolev gradients: application to phase separation and ordering
Authors:
S. Sial,
J. Neuberger,
T. Lookman,
A. Saxena
Abstract:
A common problem in physics and engineering is the calculation of the minima of energy functionals. The theory of Sobolev gradients provides an efficient method for seeking the critical points of such a functional. We apply the method to functionals describing coarse-grained Ginzburg-Landau models commonly used in pattern formation and ordering processes.
A common problem in physics and engineering is the calculation of the minima of energy functionals. The theory of Sobolev gradients provides an efficient method for seeking the critical points of such a functional. We apply the method to functionals describing coarse-grained Ginzburg-Landau models commonly used in pattern formation and ordering processes.
△ Less
Submitted 10 April, 2003;
originally announced April 2003.
-
Eigenfunctions on a Stadium Associated with Avoided Crossings of Energy Levels
Authors:
B. Neuberger,
J. W. Neuberger,
D. W. Noid
Abstract:
The authors examine graphical properties of eigenfunctions with stadium boundaries associated with avoided crossings of energy levels.
The authors examine graphical properties of eigenfunctions with stadium boundaries associated with avoided crossings of energy levels.
△ Less
Submitted 26 May, 2001;
originally announced May 2001.