Showing 1–50 of 80 results for author: Jacob, B

Finite basis Kolmogorov-Arnold networks: domain decomposition for data-driven and physics-informed problems

Authors: Amanda A. Howard, Bruno Jacob, Sarah H. Murphy, Alexander Heinlein, Panos Stinis

Abstract: Kolmogorov-Arnold networks (KANs) have attracted attention recently as an alternative to multilayer perceptrons (MLPs) for scientific machine learning. However, KANs can be expensive to train, even for relatively small networks. Inspired by finite basis physics-informed neural networks (FBPINNs), in this work, we develop a domain decomposition method for KANs that allows for several small KANs to… ▽ More Kolmogorov-Arnold networks (KANs) have attracted attention recently as an alternative to multilayer perceptrons (MLPs) for scientific machine learning. However, KANs can be expensive to train, even for relatively small networks. Inspired by finite basis physics-informed neural networks (FBPINNs), in this work, we develop a domain decomposition method for KANs that allows for several small KANs to be trained in parallel to give accurate solutions for multiscale problems. We show that finite basis KANs (FBKANs) can provide accurate results with noisy data and for physics-informed training. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Spectral analysis of a class of linear hyperbolic partial differential equations

Authors: Anthony Hastir, Birgit Jacob, Hans Zwart

Abstract: A class of linear hyperbolic partial differential equations, sometimes called networks of waves, is considered. For this class of systems, necessary and sufficient conditions are formulated on the system matrices for the operator dynamics to be a Riesz-spectral operator. In that case, its spectrum is computed explicitly, together with the corresponding eigenfunctions, which constitutes the main re… ▽ More A class of linear hyperbolic partial differential equations, sometimes called networks of waves, is considered. For this class of systems, necessary and sufficient conditions are formulated on the system matrices for the operator dynamics to be a Riesz-spectral operator. In that case, its spectrum is computed explicitly, together with the corresponding eigenfunctions, which constitutes the main result of our note. In particular, this enables to characterize easily many different concepts, such as stability. We apply our results to characterize exponential stability of a co-current heat exchanger. △ Less

Submitted 17 May, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

On the Weierstraß form of infinite dimensional differential algebraic equations

Authors: Mehmet Erbay, Birgit Jacob, Kirsten Morris

Abstract: The solvability for infinite dimensional differential algebraic equations possessing a resolvent index and a Weierstraß form is studied. In particular, the concept of integrated semigroups is used to determine a subset on which solutions exist and are unique. This information is later used for a important class of systems, namely, port-Hamiltonian differential algebraic equations. The solvability for infinite dimensional differential algebraic equations possessing a resolvent index and a Weierstraß form is studied. In particular, the concept of integrated semigroups is used to determine a subset on which solutions exist and are unique. This information is later used for a important class of systems, namely, port-Hamiltonian differential algebraic equations. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Linear-Quadratic optimal control for boundary controlled networks of waves

Authors: Anthony Hastir, Birgit Jacob, Hans Zwart

Abstract: Linear-Quadratic optimal controls are computed for a class of boundary controlled, boundary observed hyperbolic infinite-dimensional systems, which may be viewed as networks of waves. The main results of this manuscript consist in converting the infinite-dimensional continuous-time systems into infinite-dimensional discrete-time systems for which the operators dynamics are matrices, in solving the… ▽ More Linear-Quadratic optimal controls are computed for a class of boundary controlled, boundary observed hyperbolic infinite-dimensional systems, which may be viewed as networks of waves. The main results of this manuscript consist in converting the infinite-dimensional continuous-time systems into infinite-dimensional discrete-time systems for which the operators dynamics are matrices, in solving the LQ-optimal control problem in discrete-time and then in interpreting the solution in the continuous-time variables, giving rise to the optimal boundary control input. The results are applied to two examples, a small network of three vibrating strings and a co-current heat-exchanger, for which boundary sensors and actuators are considered. △ Less

Submitted 21 February, 2024; originally announced February 2024.

MSC Class: 35L40; 47B38; 47D06; 49J20; 93D15

Index concepts for linear differential-algebraic equations in finite and infinite dimensions

Authors: Mehmet Erbay, Birgit Jacob, Kirsten Morris, Timo Reis, Caren Tischendorf

Abstract: Different index concepts for linear differential-algebraic equations are defined in the general Banach space setting, and compared. For regular finite-dimensional linear differential-algebraic equations, all these indices exist and are equivalent. For infinite-dimensional systems, the situation is more complex. It is proven that although some indices imply others, in general they are not equivalen… ▽ More Different index concepts for linear differential-algebraic equations are defined in the general Banach space setting, and compared. For regular finite-dimensional linear differential-algebraic equations, all these indices exist and are equivalent. For infinite-dimensional systems, the situation is more complex. It is proven that although some indices imply others, in general they are not equivalent. The situation is illustrated with a number of examples. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Well-forced graphs

Authors: Cheryl Grood, Ruth Haas, Bonnie Jacob, Erika King, Shahla Nasserasr

Abstract: A graph in which all minimal zero forcing sets are in fact minimum size is called ``well-forced." This paper characterizes well-forced trees and presents an algorithm for determining which trees are well-forced. Additionally, we characterize which vertices in a tree are contained in no minimal zero forcing set. A graph in which all minimal zero forcing sets are in fact minimum size is called ``well-forced." This paper characterizes well-forced trees and presents an algorithm for determining which trees are well-forced. Additionally, we characterize which vertices in a tree are contained in no minimal zero forcing set. △ Less

Submitted 21 December, 2023; originally announced December 2023.

MSC Class: 05C50

A Benchmark to Understand the Role of Knowledge Graphs on Large Language Model's Accuracy for Question Answering on Enterprise SQL Databases

Authors: Juan Sequeda, Dean Allemang, Bryon Jacob

Abstract: Enterprise applications of Large Language Models (LLMs) hold promise for question answering on enterprise SQL databases. However, the extent to which LLMs can accurately respond to enterprise questions in such databases remains unclear, given the absence of suitable Text-to-SQL benchmarks tailored to enterprise settings. Additionally, the potential of Knowledge Graphs (KGs) to enhance LLM-based qu… ▽ More Enterprise applications of Large Language Models (LLMs) hold promise for question answering on enterprise SQL databases. However, the extent to which LLMs can accurately respond to enterprise questions in such databases remains unclear, given the absence of suitable Text-to-SQL benchmarks tailored to enterprise settings. Additionally, the potential of Knowledge Graphs (KGs) to enhance LLM-based question answering by providing business context is not well understood. This study aims to evaluate the accuracy of LLM-powered question answering systems in the context of enterprise questions and SQL databases, while also exploring the role of knowledge graphs in improving accuracy. To achieve this, we introduce a benchmark comprising an enterprise SQL schema in the insurance domain, a range of enterprise queries encompassing reporting to metrics, and a contextual layer incorporating an ontology and map**s that define a knowledge graph. Our primary finding reveals that question answering using GPT-4, with zero-shot prompts directly on SQL databases, achieves an accuracy of 16%. Notably, this accuracy increases to 54% when questions are posed over a Knowledge Graph representation of the enterprise SQL database. Therefore, investing in Knowledge Graph provides higher accuracy for LLM powered question answering systems. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: 34 pages

The zero forcing span of a graph

Authors: Bonnie Jacob

Abstract: In zero forcing, the focus is typically on finding the minimum cardinality of any zero forcing set in the graph; however, the number of cardinalities between $0$ and the number of vertices in the graph for which there are both zero forcing sets and sets that fail to be zero forcing sets is not well known. In this paper, we introduce the zero forcing span of a graph, which is the number of distinct… ▽ More In zero forcing, the focus is typically on finding the minimum cardinality of any zero forcing set in the graph; however, the number of cardinalities between $0$ and the number of vertices in the graph for which there are both zero forcing sets and sets that fail to be zero forcing sets is not well known. In this paper, we introduce the zero forcing span of a graph, which is the number of distinct cardinalities for which there are sets that are zero forcing sets and sets that are not. We introduce the span within the context of standard zero forcing and skew zero forcing as well as for standard zero forcing on directed graphs. We characterize graphs with high span and low span of each type, and also investigate graphs with special zero forcing polynomials. △ Less

Submitted 12 September, 2023; originally announced September 2023.

MSC Class: 05C50

Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain: An Introduction

Authors: Birgit Jacob, Hans Zwart

Abstract: We provide an introduction to infinite-dimensional port-Hamiltonian systems. As this research field is quite rich, we restrict ourselves to the class of infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domainand we will focus on topics such as Dirac structures, well-posedness, stability and stabilizability, Riesz-bases and dissipativity. We combine the abstract ope… ▽ More We provide an introduction to infinite-dimensional port-Hamiltonian systems. As this research field is quite rich, we restrict ourselves to the class of infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domainand we will focus on topics such as Dirac structures, well-posedness, stability and stabilizability, Riesz-bases and dissipativity. We combine the abstract operator theoretic approach with the more physical approach based on Hamiltonians. This enables us to derive easy verifiable conditions for well-posedness and stability. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Computing the Quadratic Numerical Range

Authors: Birgit Jacob, Lukas Vorberg, Christian Wyss

Abstract: A novel algorithm for the computation of the quadratic numerical range is presented and exemplified yielding much better results in less time compared to the random vector sampling method. Furthermore, a bound on the probability for the random vector sampling method to produce a point exceeding a neighborhood of the expectation value in dependence on norm and size of the matrix is given. A novel algorithm for the computation of the quadratic numerical range is presented and exemplified yielding much better results in less time compared to the random vector sampling method. Furthermore, a bound on the probability for the random vector sampling method to produce a point exceeding a neighborhood of the expectation value in dependence on norm and size of the matrix is given. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Cohomological Kernels of Elementary Abelian Degree $p^2$ Extensions

Authors: Bill Jacob, Nathan Schley

Abstract: Let $p$ be an odd prime, $F$ a field with a primitive $p^2$th root of unity, and $E=F(\sqrt[p]{b_1},\sqrt[p]{b_2})$ an elementary abelian extension of degree $p^2$. This paper studies the cohomological kernel $H^n(E/F,{\mathbb Z}/p{\mathbb Z}):={\rm ker}(H^n(F,{\mathbb Z}/p{\mathbb Z})\rightarrow H^n(E,{\mathbb Z}/p{\mathbb Z}))$ for all $n$. When $p=3$, using tools of Positselski, a six-term exac… ▽ More Let $p$ be an odd prime, $F$ a field with a primitive $p^2$th root of unity, and $E=F(\sqrt[p]{b_1},\sqrt[p]{b_2})$ an elementary abelian extension of degree $p^2$. This paper studies the cohomological kernel $H^n(E/F,{\mathbb Z}/p{\mathbb Z}):={\rm ker}(H^n(F,{\mathbb Z}/p{\mathbb Z})\rightarrow H^n(E,{\mathbb Z}/p{\mathbb Z}))$ for all $n$. When $p=3$, using tools of Positselski, a six-term exact sequence is given that is analogous to the $p=2$ case. As an application the quotient $H^n(E/F,{\mathbb Z}/3{\mathbb Z})/{\rm Dec}^n(E/F,{\mathbb Z}/3{\mathbb Z})$ where ${\rm Dec}^n(E/F,{\mathbb Z}/3{\mathbb Z})$ is the "expected kernel'' is described. This quotient group is of interest because computations of Tignol [T] that show when $n=2$ nontrivial elements give rise to indecomposible division algebras of exponent $3$ and index $9$. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Input-to-state stability for bilinear feedback systems

Authors: René Hosfeld, Birgit Jacob, Felix Schwenninger, Marius Tucsnak

Abstract: Input-to-state stability estimates with respect to small initial conditions and input functions for infinite-dimensional systems with bilinear feedback are shown. We apply the obtained results to controlled versions of a viscous Burger equation with Dirichlet boundary conditions, a Schrödinger equation, a Navier--Stokes system and a semilinear wave equation. Input-to-state stability estimates with respect to small initial conditions and input functions for infinite-dimensional systems with bilinear feedback are shown. We apply the obtained results to controlled versions of a viscous Burger equation with Dirichlet boundary conditions, a Schrödinger equation, a Navier--Stokes system and a semilinear wave equation. △ Less

Submitted 14 February, 2024; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 22 pages

MSC Class: 93D06; 93D25; 93C10; 47J35; 35B35

Operator splitting based dynamic iteration for linear infinite-dimensional port-Hamiltonian systems

Authors: Bálint Farkas, Birgit Jacob, Timo Reis, Merlin Schmitz

Abstract: A dynamic iteration scheme for linear infinite-dimensional port-Hamiltonian systems is proposed. The dynamic iteration is monotone in the sense that the error is decreasing, it does not require any stability condition and is in particular applicable to port-Hamiltonian formulations arising from domain decompositions. A dynamic iteration scheme for linear infinite-dimensional port-Hamiltonian systems is proposed. The dynamic iteration is monotone in the sense that the error is decreasing, it does not require any stability condition and is in particular applicable to port-Hamiltonian formulations arising from domain decompositions. △ Less

Submitted 2 February, 2023; originally announced February 2023.

Port-Hamiltonian structure of interacting particle systems and its mean-field limit

Authors: Birgit Jacob, Claudia Totzeck

Abstract: We derive a minimal port-Hamiltonian formulation of a general class of interacting particle systems driven by alignment and potential-based force dynamics which include the Cucker-Smale model with potential interaction and the second order Kuramoto model. The port-Hamiltonian structure allows to characterize conserved quantities such as Casimir functions as well as the long-time behaviour using a… ▽ More We derive a minimal port-Hamiltonian formulation of a general class of interacting particle systems driven by alignment and potential-based force dynamics which include the Cucker-Smale model with potential interaction and the second order Kuramoto model. The port-Hamiltonian structure allows to characterize conserved quantities such as Casimir functions as well as the long-time behaviour using a LaSalle-type argument on the particle level. It is then shown that the port-Hamiltonian structure is preserved in the mean-field limit and an analogue of the LaSalle invariance principle is studied in the space of probability measures equipped with the 2-Wasserstein-metric. The results on the particle and mean-field limit yield a new perspective on uniform stability of general interacting particle systems. Moreover, as the minimal port-Hamiltonian formulation is closed we identify the ports of the subsystems which admit generalized mass-spring-damper structure modelling the binary interaction of two particles. Using the information of ports we discuss the coupling of difference species in a port-Hamiltonian preserving manner. △ Less

Submitted 3 November, 2023; v1 submitted 15 January, 2023; originally announced January 2023.

Data-driven adjoint-based calibration of port-Hamiltonian systems in time domain

Authors: Michael Günther, Birgit Jacob, Claudia Totzeck

Abstract: We present a gradient-based identification algorithm to identify the system matrices of a linear port-Hamiltonian system from given input-output time data. Aiming for a direct structure-preserving approach, we employ techniques from optimal control with ordinary differential equations and define a constrained optimization problem. The input-to-state stability is discussed which is the key step tow… ▽ More We present a gradient-based identification algorithm to identify the system matrices of a linear port-Hamiltonian system from given input-output time data. Aiming for a direct structure-preserving approach, we employ techniques from optimal control with ordinary differential equations and define a constrained optimization problem. The input-to-state stability is discussed which is the key step towards the existence of optimal controls. Further, we derive the first-order optimality system taking into account the port-Hamiltonian structure. Indeed, the proposed method preserves the skew-symmetry and positive (semi)-definiteness of the system matrices throughout the optimization iterations. Numerical results with perturbed and unperturbed synthetic data, as well as an example from the PHS benchmark collection demonstrate the feasibility of the approach. △ Less

Submitted 21 December, 2023; v1 submitted 10 January, 2023; originally announced January 2023.

Port-Hamiltonian Systems Modelling in Electrical Engineering

Authors: Andreas Bartel, Markus Clemens, Michael Günther, Birgit Jacob, Timo Reis

Abstract: The port-Hamiltonian modelling framework allows for models that preserve essential physical properties such as energy conservation or dissipative inequalities. If all subsystems are modelled as port-Hamiltonian systems and the inputs are related to the output in a linear manner, the overall system can be modelled as a port-Hamiltonian system (PHS), too, which preserves the properties of the underl… ▽ More The port-Hamiltonian modelling framework allows for models that preserve essential physical properties such as energy conservation or dissipative inequalities. If all subsystems are modelled as port-Hamiltonian systems and the inputs are related to the output in a linear manner, the overall system can be modelled as a port-Hamiltonian system (PHS), too, which preserves the properties of the underlying subsystems. If the coupling is given by a skew-symmetric matrix, as usual in many applications, the overall system can be easily derived from the subsystems without the need of introducing dummy variables and therefore artificially increasing the complexity of the system. Hence the PHS framework is especially suitable for modelling multi-physical systems. In this paper, we show that port-Hamiltonian systems are a natural generalization of Hamiltonian systems, define coupled port-Hamiltonian systems as ordinary and differential-algebraic equations. To highlight the suitability for electrical engineering applications, we derive PHS models for MNA network equations, electromagnetic devices and coupled systems thereof. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 12 pages, 0 figures

Structure-preserving identification of port-Hamiltonian systems -- a sensitivity-based approach

Authors: Michael Günther, Birgit Jacob, Claudia Totzeck

Abstract: We present a gradient-based calibration algorithm to identify a port-Hamiltonian system from given time-domain input-output data. The gradient is computed with the help of sensitivities and the algorithm is tailored such that the structure of the system matrices of the port-Hamiltonian system (skew-symmetry and positive semi-definiteness) is preserved in each iteration of the algorithm. As we only… ▽ More We present a gradient-based calibration algorithm to identify a port-Hamiltonian system from given time-domain input-output data. The gradient is computed with the help of sensitivities and the algorithm is tailored such that the structure of the system matrices of the port-Hamiltonian system (skew-symmetry and positive semi-definiteness) is preserved in each iteration of the algorithm. As we only require input-output data, we need to calibrate the initial condition of the internal state of the port-Hamiltonian system as well. Numerical results with synthetic data show the feasibility of the approach. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 8 pages, 3 figures

Stability via closure relations with applications to dissipative and port-Hamiltonian systems

Authors: Jochen Glück, Birgit Jacob, Annika Meyer, Christian Wyss, Hans Zwart

Abstract: We consider differential operators $A$ that can be represented by means of a so-called closure relation in terms of a simpler operator $A_{\operatorname{ext}}$ defined on a larger space. We analyze how the spectral properties of $A$ and $A_{\operatorname{ext}}$ are related and give sufficient conditions for exponential stability of the semigroup generated by $A$ in terms of the semigroup generated… ▽ More We consider differential operators $A$ that can be represented by means of a so-called closure relation in terms of a simpler operator $A_{\operatorname{ext}}$ defined on a larger space. We analyze how the spectral properties of $A$ and $A_{\operatorname{ext}}$ are related and give sufficient conditions for exponential stability of the semigroup generated by $A$ in terms of the semigroup generated by $A_{\operatorname{ext}}$. As applications we study the long-term behaviour of a coupled wave-heat system on an interval, parabolic equations on bounded domains that are coupled by matrix valued potentials, and of linear infinite-dimensional port-Hamiltonian systems with dissipation on an interval. △ Less

Submitted 2 July, 2024; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: 31 pages

MSC Class: 93D23; 37K40; 47D06; 34G10

KPI-EDGAR: A Novel Dataset and Accompanying Metric for Relation Extraction from Financial Documents

Authors: Tobias Deußer, Syed Musharraf Ali, Lars Hillebrand, Desiana Nurchalifah, Basil Jacob, Christian Bauckhage, Rafet Sifa

Abstract: We introduce KPI-EDGAR, a novel dataset for Joint Named Entity Recognition and Relation Extraction building on financial reports uploaded to the Electronic Data Gathering, Analysis, and Retrieval (EDGAR) system, where the main objective is to extract Key Performance Indicators (KPIs) from financial documents and link them to their numerical values and other attributes. We further provide four acco… ▽ More We introduce KPI-EDGAR, a novel dataset for Joint Named Entity Recognition and Relation Extraction building on financial reports uploaded to the Electronic Data Gathering, Analysis, and Retrieval (EDGAR) system, where the main objective is to extract Key Performance Indicators (KPIs) from financial documents and link them to their numerical values and other attributes. We further provide four accompanying baselines for benchmarking potential future research. Additionally, we propose a new way of measuring the success of said extraction process by incorporating a word-level weighting scheme into the conventional F1 score to better model the inherently fuzzy borders of the entity pairs of a relation in this domain. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: Accepted at ICMLA 2022, 6 pages, 5 tables

Operator Splitting Based Dynamic Iteration for Linear Port-Hamiltonian Systems

Authors: Andreas Bartel, Michael Günther, Birgit Jacob, Timo Reis

Abstract: A dynamic iteration scheme for linear differential-algebraic port-Hamil\-tonian systems based on Lions-Mercier-type operator splitting methods is developed. The dynamic iteration is monotone in the sense that the error is decreasing and no stability conditions are required. The developed iteration scheme is even new for linear port-Hamiltonian systems. The obtained algorithm is applied to multibod… ▽ More A dynamic iteration scheme for linear differential-algebraic port-Hamil\-tonian systems based on Lions-Mercier-type operator splitting methods is developed. The dynamic iteration is monotone in the sense that the error is decreasing and no stability conditions are required. The developed iteration scheme is even new for linear port-Hamiltonian systems. The obtained algorithm is applied to multibody systems and electrical networks. △ Less

Submitted 6 August, 2022; originally announced August 2022.

Comments: 29 pages, 6 figures

MSC Class: 37Jxx; 34A09

Journal ref: Numerische Mathematik, 2023

On exponential splitting methods for semilinear abstract Cauchy problems

Authors: Bálint Farkas, Birgit Jacob, Merlin Schmitz

Abstract: Due to the seminal works of Hochbruck and Ostermann exponential splittings are well established numerical methods utilizing operator semigroup theory for the treatment of semilinear evolution equations whose principal linear part involves a sectorial operator with angle greater than $π/2$ (meaning essentially the holomorphy of the underlying semigroup). The present paper contributes to this subjec… ▽ More Due to the seminal works of Hochbruck and Ostermann exponential splittings are well established numerical methods utilizing operator semigroup theory for the treatment of semilinear evolution equations whose principal linear part involves a sectorial operator with angle greater than $π/2$ (meaning essentially the holomorphy of the underlying semigroup). The present paper contributes to this subject by relaxing on the sectoriality condition, but in turn requiring that the semigroup operators act consistently on an interpolation couple (or on a scale of Banach spaces). Our conditions (on the semigroup and on the semilinearity) are inspired by the approach of T. Kato to the local solvability of the Navier-Stokes equation, where the $L^p-L^r$ smoothing of the Stokes semigroup was fundamental. The present abstract operator theoretic result is applicable for this latter problem (as was already the result of Ostermann and Hochbruck), or more generally in the setting of holomorphic semigroups, but also allows the consideration of examples, such as non-analytic Ornstein-Uhlenbeck semigroups or the Navier-Stokes flow around rotating bodies. △ Less

Submitted 21 July, 2022; originally announced July 2022.

Comments: 19 pages

MSC Class: 47N40; 65J08; 47D06; 65M15; 65M12

Surface Passivation of III-V GaAs Nanopillars by Low Frequency Plasma Deposition of Silicon Nitride for Active Nanophotonic Devices

Authors: Bejoys Jacob, Filipe Camarneiro, Jérôme Borme, Oleksandr Bondarchuk, Jana B. Nieder, Bruno Romeira

Abstract: Numerous efforts have been devoted to improve the electronic and optical properties of III-V compound materials via reduction of their nonradiative states, aiming at highly-efficient III-V sub-micrometer devices. Despite many advances, there is still a controversial debate on which combination of chemical treatment and cap** dielectric layer can best reproducibly protect the crystal surface of I… ▽ More Numerous efforts have been devoted to improve the electronic and optical properties of III-V compound materials via reduction of their nonradiative states, aiming at highly-efficient III-V sub-micrometer devices. Despite many advances, there is still a controversial debate on which combination of chemical treatment and cap** dielectric layer can best reproducibly protect the crystal surface of III-Vs, while being compatible with readily available plasma deposition methods. This work reports on a systematic experimental study on the role of sulfide ammonium chemical treatment followed by dielectric coating in the passivation effect of GaAs/AlGaAs nanopillars. Our results conclusively show that the best surface passivation is achieved using ammonium sulfide followed by encapsulation with a thin layer of silicon nitride by low frequency plasma enhanced chemical deposition. Here, the sulfurized GaAs surfaces, the high level of hydrogen ions and the low frequency (380 kHz) excitation plasma that enable intense bombardment of hydrogen, all seem to provide a combined active role in the passivation mechanism of the pillars. We observe up to a 29-fold increase of the photoluminescence (PL) integrated intensity for the best samples as compared to untreated nanopillars. X-ray photoelectron spectroscopy analysis confirms the best treatments show remarkable removal of gallium and arsenic native oxides. Time-resolved micro-PL measurements display nanosecond lifetimes resulting in a record-low surface recombination velocity for dry etched GaAs nanopillars. We achieve robust, stable and long-term passivated nanopillar surfaces which creates expectations for remarkable high internal quantum efficiency (IQE>0.5) in nanoscale light-emitting diodes. The enhanced performance paves the way to many other nanostructures and devices such as miniature resonators, lasers, photodetectors and solar cells. △ Less

Submitted 30 June, 2022; originally announced June 2022.

Comments: 32 pages, 1 table, 7 figures, supporting information

Building A Trusted Execution Environment for In-Storage Computing

Authors: Yuqi Xue, Luyi Kang, Weiwei Jia, Xiaohao Wang, Jongryool Kim, Changhwan Youn, Myeong Joon Kang, Hyung ** Lim, Bruce Jacob, Jian Huang

Abstract: In-storage computing with modern solid-state drives (SSDs) enables developers to offload programs from the host to the SSD. It has been proven to be an effective approach to alleviating the I/O bottleneck. To facilitate in-storage computing, many frameworks have been proposed. However, few of them consider security as the priority for in-storage computing. Specifically, since modern SSD controller… ▽ More In-storage computing with modern solid-state drives (SSDs) enables developers to offload programs from the host to the SSD. It has been proven to be an effective approach to alleviating the I/O bottleneck. To facilitate in-storage computing, many frameworks have been proposed. However, few of them consider security as the priority for in-storage computing. Specifically, since modern SSD controllers do not have a trusted execution environment, an offloaded (malicious) program could steal, modify, and even destroy the data stored in the SSD. In this paper, we first investigate the attacks that could be conducted by offloaded in-storage programs. To defend against these attacks, we build IceClave, a lightweight trusted execution environment for in-storage computing. IceClave enables security isolation between in-storage programs and flash management functions. IceClave also achieves security isolation between in-storage programs and enforces memory encryption and integrity verification of in-storage DRAM with low overhead. To protect data loaded from flash chips, IceClave develops a lightweight data encryption/decryption mechanism in flash controllers. We develop IceClave with a full system simulator and evaluate IceClave with a variety of data-intensive applications. Compared to state-of-the-art in-storage computing approaches, IceClave introduces only 7.6% performance overhead, while enforcing security isolation in the SSD controller with minimal hardware cost. IceClave still keeps the performance benefit of in-storage computing by delivering up to 2.31$\times$ better performance than the conventional host-based trusted computing approach. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Comments: Extended abstract for IceClave. arXiv admin note: substantial text overlap with arXiv:2109.03373

On solvability of dissipative partial differential-algebraic equations

Authors: Birgit Jacob, Kirsten Morris

Abstract: In this article we investigate the solvability of infinite-dimensional differential algebraic equations. Such equations often arise as partial differential-algebraic equations (PDAEs). A decomposition of the state-space that leads to an extension of the Hille-Yosida Theorem on Hilbert spaces for these equations is described. For dissipative partial differential equations the famous Lumer-Phillips… ▽ More In this article we investigate the solvability of infinite-dimensional differential algebraic equations. Such equations often arise as partial differential-algebraic equations (PDAEs). A decomposition of the state-space that leads to an extension of the Hille-Yosida Theorem on Hilbert spaces for these equations is described. For dissipative partial differential equations the famous Lumer-Phillips generation theorem characterizes solvability and also boundedness of the associated semigroup. An extension of the Lumer-Phillips generation theorem to dissipative differential-algebraic equations is given. The results is illustrated by coupled systems and the Dzektser equation. △ Less

Submitted 22 April, 2022; originally announced April 2022.

Power domination reconfiguration

Authors: Beth Bjorkman, Chassidy Bozeman, Daniela Ferrero, Mary Flagg, Cheryl Grood, Leslie Hogben, Bonnie Jacob, Carolyn Reinhart

Abstract: The study of token addition and removal and token jum** reconfiguration graphs for power domination is initiated. Some results established here can be extended by applying the methods used for power domination to reconfiguration graphs for other parameters such as domination and zero forcing, so these results are first established in a universal framework. The study of token addition and removal and token jum** reconfiguration graphs for power domination is initiated. Some results established here can be extended by applying the methods used for power domination to reconfiguration graphs for other parameters such as domination and zero forcing, so these results are first established in a universal framework. △ Less

Submitted 5 January, 2022; originally announced January 2022.

MSC Class: 05C69; 68R10; 05C57

Characterization of Orlicz admissibility

Authors: René Hosfeld, Birgit Jacob, Felix L. Schwenninger

Abstract: In this note we extend two characterizations of admissible operators with respect to $\mathrm{L}^p$ to more general Orlicz spaces. The equivalent conditions are given by the property that an associated operator generates a strongly continuous semigroup and in terms of a resolvent estimate. In this note we extend two characterizations of admissible operators with respect to $\mathrm{L}^p$ to more general Orlicz spaces. The equivalent conditions are given by the property that an associated operator generates a strongly continuous semigroup and in terms of a resolvent estimate. △ Less

Submitted 29 July, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: 22 pages

MSC Class: 34G10; 47D06; 47N70

Laplace-Carleson embeddings and infinity-norm admissibility

Authors: Birgit Jacob, Jonathan R. Partington, Sandra Pott, Eskil Rydhe, Felix L. Schwenninger

Abstract: New results on the boundedness of Laplace-Carleson embeddings on $L^\infty$ and Orlicz spaces are proved. These findings are crucial for characterizing admissibility of control operators for linear diagonal semigroup systems in a variety of contexts. A particular focus is laid on essentially bounded inputs. New results on the boundedness of Laplace-Carleson embeddings on $L^\infty$ and Orlicz spaces are proved. These findings are crucial for characterizing admissibility of control operators for linear diagonal semigroup systems in a variety of contexts. A particular focus is laid on essentially bounded inputs. △ Less

Submitted 2 February, 2023; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 27 pages

MSC Class: 93D25; 93B28; 47D06; 46E15

IceClave: A Trusted Execution Environment for In-Storage Computing

Authors: Luyi Kang, Yuqi Xue, Weiwei Jia, Xiaohao Wang, Jongryool Kim, Changhwan Youn, Myeong Joon Kang, Hyung ** Lim, Bruce Jacob, Jian Huang

Abstract: In-storage computing with modern solid-state drives (SSDs) enables developers to offload programs from the host to the SSD. It has been proven to be an effective approach to alleviate the I/O bottleneck. To facilitate in-storage computing, many frameworks have been proposed. However, few of them treat the in-storage security as the first citizen. Specifically, since modern SSD controllers do not h… ▽ More In-storage computing with modern solid-state drives (SSDs) enables developers to offload programs from the host to the SSD. It has been proven to be an effective approach to alleviate the I/O bottleneck. To facilitate in-storage computing, many frameworks have been proposed. However, few of them treat the in-storage security as the first citizen. Specifically, since modern SSD controllers do not have a trusted execution environment, an offloaded (malicious) program could steal, modify, and even destroy the data stored in the SSD. In this paper, we first investigate the attacks that could be conducted by offloaded in-storage programs. To defend against these attacks, we build a lightweight trusted execution environment, named IceClave for in-storage computing. IceClave enables security isolation between in-storage programs and flash management functions that include flash address translation, data access control, and garbage collection, with TrustZone extensions. IceClave also achieves security isolation between in-storage programs by enforcing memory integrity verification of in-storage DRAM with low overhead. To protect data loaded from flash chips, IceClave develops a lightweight data encryption/decryption mechanism in flash controllers. We develop IceClave with a full system simulator. We evaluate IceClave with a variety of data-intensive applications such as databases. Compared to state-of-the-art in-storage computing approaches, IceClave introduces only 7.6% performance overhead, while enforcing security isolation in the SSD controller with minimal hardware cost. IceClave still keeps the performance benefit of in-storage computing by delivering up to 2.31$\times$ better performance than the conventional host-based trusted computing approach. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 11 pages. Accepted to MICRO'21

Observability for port-Hamiltonian systems

Authors: Birgit Jacob, Hans Zwart

Abstract: The class of port-Hamiltonian systems incorporates many physical models, such as mechanical systems in the finite-dimensional case and wave and beam equations in the infinite-dimensional case. In this paper we study a subclass of linear first order port-Hamiltonian systems. These systems are exactly observable when the energy is not dissipated internally and when sufficient observations are made a… ▽ More The class of port-Hamiltonian systems incorporates many physical models, such as mechanical systems in the finite-dimensional case and wave and beam equations in the infinite-dimensional case. In this paper we study a subclass of linear first order port-Hamiltonian systems. These systems are exactly observable when the energy is not dissipated internally and when sufficient observations are made at the boundary. In this article we study the observability properties for these systems when internal dissipation of energy is possible. We cannot show the exact observability, but we do show that the Hautus test is satisfied. In general, the Hautus test is weaker than exact observability, but stronger than approximate observability. Hence we conclude that these systems are approximately observable. △ Less

Submitted 26 April, 2021; originally announced April 2021.

Comments: European Control Conference (ECC 2021)

Stability of the multidimensional wave equation in port-Hamiltonian modelling

Authors: Birgit Jacob, Nathanael Skrepek

Abstract: We investigate the stability of the wave equation with spatial dependent coefficients on a bounded multidimensional domain. The system is stabilized via a scattering passive feedback law. We formulate the wave equation in a port-Hamiltonian fashion and show that the system is semi-uniform stable, which is a stability concept between exponential stability and strong stability. Hence, this also impl… ▽ More We investigate the stability of the wave equation with spatial dependent coefficients on a bounded multidimensional domain. The system is stabilized via a scattering passive feedback law. We formulate the wave equation in a port-Hamiltonian fashion and show that the system is semi-uniform stable, which is a stability concept between exponential stability and strong stability. Hence, this also implies strong stability of the system. In particular, classical solutions are uniformly stable. This will be achieved by showing that the spectrum of the port-Hamiltonian operator is contained in the left half plane $\mathbb{C}_{-}$ and the port-Hamiltonian operator generates a contraction semigroup. Moreover, we show that the spectrum consists of eigenvalues only and the port-Hamiltonian operator has a compact resolvent. △ Less

Submitted 7 April, 2021; originally announced April 2021.

MSC Class: 47D06; 35L05; 93D15

On Coercivity and the Frequency Domain Condition in Indefinite LQ-Control

Authors: Tobias Damm, Birgit Jacob

Abstract: We introduce a coercivity condition as a time domain analogue of the frequency criterion provided by the famous Kalman-Yakubovich-Popov lemma. For a simple stochastic linear quadratic control problem we show how the coercivity condition characterizes the solvability of Riccati equations. We introduce a coercivity condition as a time domain analogue of the frequency criterion provided by the famous Kalman-Yakubovich-Popov lemma. For a simple stochastic linear quadratic control problem we show how the coercivity condition characterizes the solvability of Riccati equations. △ Less

Submitted 22 September, 2022; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 11 pages

MSC Class: 93C80; 49N10; 15A24; 93E03

Journal ref: Ann. Acad. Rom. Sci. Ser. Math. Appl., Vol. 12, No. 1-2, 553-563 (2020)

Riesz bases of port-Hamiltonian systems

Authors: Birgit Jacob, Julia T. Kaiser, Hans Zwart

Abstract: The location of the spectrum and the Riesz basis property of well-posed homogeneous infinite-dimensional linear port-Hamiltonian systems on a 1D spatial domain are studied. It is shown that the Riesz basis property is equivalent to the fact that system operator generates a strongly continuous group. Moreover, in this situation the spectrum consists of eigenvalues only, located in a strip parallel… ▽ More The location of the spectrum and the Riesz basis property of well-posed homogeneous infinite-dimensional linear port-Hamiltonian systems on a 1D spatial domain are studied. It is shown that the Riesz basis property is equivalent to the fact that system operator generates a strongly continuous group. Moreover, in this situation the spectrum consists of eigenvalues only, located in a strip parallel to the imaginary axis and they can decomposed into finitely many sets having each a uniform gap. △ Less

Submitted 17 September, 2020; originally announced September 2020.

MSC Class: 35P10; 47B06; 47D06; 35L40

A refinement of Baillon's theorem on maximal regularity

Authors: Birgit Jacob, Felix Schwenninger, Jens Wintermayr

Abstract: By Baillon's result, it is known that maximal regularity with respect to the space of continuous functions is rare; it implies that either the involved semigroup generator is a bounded operator or the considered space contains $c_{0}$. We show that the latter alternative can be excluded under a refined condition resembling maximal regularity with respect to $\mathrm{L}^{\infty}$. By Baillon's result, it is known that maximal regularity with respect to the space of continuous functions is rare; it implies that either the involved semigroup generator is a bounded operator or the considered space contains $c_{0}$. We show that the latter alternative can be excluded under a refined condition resembling maximal regularity with respect to $\mathrm{L}^{\infty}$. △ Less

Submitted 10 May, 2021; v1 submitted 2 August, 2020; originally announced August 2020.

Comments: 17 pages, typos corrected, several references were added

MSC Class: 47D06; 35K90; 47B37

Journal ref: Journal of Mathematical Analysis and Applications, Volume 509, Issue 2, 15 May 2022, 125985

Dynamic iteration schemes and port-Hamiltonian formulation in coupled DAE circuit simulation

Authors: Michael Günther, Andreas Bartel, Birgit Jacob, Timo Reis

Abstract: Electric circuits are usually described by charge- and flux-oriented modified nodal analysis. In this paper, we derive models as port-Hamiltonian systems on several levels: overall systems, multiply coupled systems and systems within dynamic iteration procedures. To this end, we introduce new classes of port-Hamiltonian differential-algebraic equations. Thereby, we additionally allow for nonlinear… ▽ More Electric circuits are usually described by charge- and flux-oriented modified nodal analysis. In this paper, we derive models as port-Hamiltonian systems on several levels: overall systems, multiply coupled systems and systems within dynamic iteration procedures. To this end, we introduce new classes of port-Hamiltonian differential-algebraic equations. Thereby, we additionally allow for nonlinear dissipation on a subspace of the state space. Both, each subsystem and the overall system, possess a port-Hamiltonian structure. A structural analysis is performed for the new setups. Dynamic iteration schemes are investigated and we show that the Jacobi approach as well as an adapted Gauss-Seidel approach lead to port-Hamiltonian differential-algebraic equations. △ Less

Submitted 27 April, 2020; originally announced April 2020.

Comments: 33 pages, 1 figure

MSC Class: 34A09; 37J05; 65L80; 94C05; 94C15

Pseudospectrum enclosures by discretization

Authors: Andreas Frommer, Birgit Jacob, Lukas Vorberg, Christian Wyss, Ian Zwaan

Abstract: A new method to enclose the pseudospectrum via the numerical range of the inverse of a matrix or linear operator is presented. The method is applied to finite-dimensional discretizations of an operator on an infinite-dimensional Hilbert space, and convergence results for different approximation schemes are obtained, including finite element methods. We show that the pseudospectrum of the full oper… ▽ More A new method to enclose the pseudospectrum via the numerical range of the inverse of a matrix or linear operator is presented. The method is applied to finite-dimensional discretizations of an operator on an infinite-dimensional Hilbert space, and convergence results for different approximation schemes are obtained, including finite element methods. We show that the pseudospectrum of the full operator is contained in an intersection of sets which are expressed in terms of the numerical ranges of shifted inverses of the approximating matrices. The results are illustrated by means of two examples: the advection-diffusion operator and the Hain-Lüst operator. △ Less

Submitted 5 November, 2020; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: 29 pages

Remarks on input-to-state stability of collocated systems with saturated feedback

Authors: Birgit Jacob, Felix L. Schwenninger, Lukas A. Vorberg

Abstract: We investigate input-to-state stability (ISS) of infinite-dimensional collocated control systems subject to saturated feedback. Here, the unsaturated closed loop is dissipative and uniformly globally asymptotically stable. Under an additional assumption on the linear system, we show ISS for the saturated one. We discuss the sharpness of the conditions in light of existing results in the literature… ▽ More We investigate input-to-state stability (ISS) of infinite-dimensional collocated control systems subject to saturated feedback. Here, the unsaturated closed loop is dissipative and uniformly globally asymptotically stable. Under an additional assumption on the linear system, we show ISS for the saturated one. We discuss the sharpness of the conditions in light of existing results in the literature. △ Less

Submitted 31 August, 2020; v1 submitted 6 January, 2020; originally announced January 2020.

Comments: 12 pages

MSC Class: 37L15; 93D20; 93C20; 93C10

Krylov type methods exploiting the quadratic numerical range

Authors: Andreas Frommer, Birgit Jacob, Karsten Kahl, Christian Wyss, Ian Zwaan

Abstract: The quadratic numerical range $W^2(A)$ is a subset of the standard numerical range of a linear operator which still contains its spectrum. It arises naturally in operators which have a $2 \times 2$ block structure, and it consists of at most two connected components, none of which necessarily convex. The quadratic numerical range can thus reveal spectral gaps, and it can in particular indicate tha… ▽ More The quadratic numerical range $W^2(A)$ is a subset of the standard numerical range of a linear operator which still contains its spectrum. It arises naturally in operators which have a $2 \times 2$ block structure, and it consists of at most two connected components, none of which necessarily convex. The quadratic numerical range can thus reveal spectral gaps, and it can in particular indicate that the spectrum of an operator is bounded away from $0$. We exploit this property in the finite-dimensional setting to derive Krylov subspace type methods to solve the system $Ax = b$, in which the iterates arise as solutions of low-dimensional models of the operator whose quadratic numerical ranges is contained in $W^2(A)$. This implies that the iterates are always well-defined and that, as opposed to standard FOM, large variations in the approximation quality of consecutive iterates are avoided, although $0$ lies within the convex hull of the spectrum. We also consider GMRES variants which are obtained in a similar spirit. We derive theoretical results on basic properties of these methods, review methods on how to compute the required bases in a stable manner and present results of several numerical experiments illustrating improvements over standard FOM and GMRES. △ Less

Submitted 23 December, 2019; originally announced December 2019.

MSC Class: 65F10

Stability radius for infinite-dimensional interconnected systems

Authors: Birgit Jacob, Sebastian Möller, Christian Wyss

Abstract: The stability radius for finitely many interconnected linear exponentially stable well-posed systems with respect to static perturbations is studied. If the output space of each system is finite-dimensional, then a lower bound for the stability radius in terms of the norm of the corresponding transfer functions is given. Moreover, for regular linear systems with zero feedthrough operator and finit… ▽ More The stability radius for finitely many interconnected linear exponentially stable well-posed systems with respect to static perturbations is studied. If the output space of each system is finite-dimensional, then a lower bound for the stability radius in terms of the norm of the corresponding transfer functions is given. Moreover, for regular linear systems with zero feedthrough operator and finite-dimensional output spaces a formula for the stability radius is developed. △ Less

Submitted 4 December, 2019; v1 submitted 2 December, 2019; originally announced December 2019.

Failed zero forcing and critical sets on directed graphs

Authors: Alyssa Adams, Bonnie Jacob

Abstract: Let $D$ be a simple digraph (directed graph) with vertex set $V(D)$ and arc set $A(D)$ where $n=|V(D)|$, and each arc is an ordered pair of distinct vertices. If $(v,u) \in A(D)$, then $u$ is considered an \emph{out-neighbor} of $v$ in $D$. Initially, we designate each vertex to be either filled or empty. Then, the following color change rule (CCR) is applied: if a filled vertex $v$ has exactly on… ▽ More Let $D$ be a simple digraph (directed graph) with vertex set $V(D)$ and arc set $A(D)$ where $n=|V(D)|$, and each arc is an ordered pair of distinct vertices. If $(v,u) \in A(D)$, then $u$ is considered an \emph{out-neighbor} of $v$ in $D$. Initially, we designate each vertex to be either filled or empty. Then, the following color change rule (CCR) is applied: if a filled vertex $v$ has exactly one empty out-neighbor $u$, then $u$ will be filled. The process continues until the CCR does not allow any empty vertex to become filled. If all vertices in $V(D)$ are eventually filled, then the initial set is called a \emph{zero forcing set} (ZFS); if not, it is a \emph{failed zero forcing set} (FZFS). We introduce the \emph{failed zero forcing number} $F(D)$ on a digraph, which is the maximum cardinality of any FZFS. The \emph{zero forcing number}, $Z(D)$, is the minimum cardinality of any ZFS. We characterize digraphs that have $F(D)<Z(D)$ and determine $F(D)$ for several classes of digraphs including directed acyclic graphs, weak paths and cycles, and weakly connected line digraphs such as de Bruijn and Kautz digraphs. We also characterize digraphs with $F(D)=n-1$, $F(D)=n-2$, and $F(D)=0$, which leads to a characterization of digraphs in which any vertex is a ZFS. Finally, we show that for any integer $n \geq 3$ and any non-negative integer $k$ with $k <n$, there exists a weak cycle $D$ with $F(D)=k$. △ Less

Submitted 29 July, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

MSC Class: 05C50; 05C20

Noncoercive Lyapunov functions for input-to-state stability of infinite-dimensional systems

Authors: B. Jacob, A. Mironchenko, J. R. Partington, F. Wirth

Abstract: We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies norm-to-integral input-to-state stability. This property in turn is equivalent to input-to-state stability, if the system satisfies certain mild regularity assumptions.… ▽ More We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies norm-to-integral input-to-state stability. This property in turn is equivalent to input-to-state stability, if the system satisfies certain mild regularity assumptions. For a particular class of linear systems with unbounded admissible input operators, explicit constructions of noncoercive Lyapunov functions are provided. The theory is applied to a heat equation with Dirichlet boundary conditions. △ Less

Submitted 17 November, 2022; v1 submitted 4 November, 2019; originally announced November 2019.

Failed power domination on graphs

Authors: Abraham Glasser, Bonnie Jacob, Emily Lederman, Stanisław Radziszowski

Abstract: Let $G$ be a simple graph with vertex set $V$ and edge set $E$, and let $S \subseteq V$. The \emph{open neighborhood} of $v \in V$, $N(v)$, is the set of vertices adjacent to $v$; the \emph{closed neighborhood} is given by $N[v] = N(v) \cup \{v\}$. The \emph{open neighborhood} of $S$, $N(S)$, is the union of the open neighborhoods of vertices in $S$, and the \emph{closed neighborhood} of $S$ is… ▽ More Let $G$ be a simple graph with vertex set $V$ and edge set $E$, and let $S \subseteq V$. The \emph{open neighborhood} of $v \in V$, $N(v)$, is the set of vertices adjacent to $v$; the \emph{closed neighborhood} is given by $N[v] = N(v) \cup \{v\}$. The \emph{open neighborhood} of $S$, $N(S)$, is the union of the open neighborhoods of vertices in $S$, and the \emph{closed neighborhood} of $S$ is $N[S] = S \cup N(S)$. The sets $ \mathcal{P}^i(S), i \geq 0$, of vertices \emph{monitored} by $S$ at the $i^{\ {th}}$ step are given by $\mathcal{P}^0(S) = N[S]$ and $\mathcal{P}^{i+1}(S) = \mathcal{P}^i(S) \bigcup\left\{ w : \{ w \} = N[v] \backslash \mathcal{P}^i(S) \ { for some } v \in \mathcal{P}^i(S) \right\}$. If there exists $j$ such that $\mathcal{P}^j(S) = V$, then $S$ is called a \emph{power dominating set}, PDS, of $G$. We introduce and discuss the \emph{failed power domination number} of a graph $G$, $\barγ_p(G)$, the largest cardinality of a set that is not a PDS. We prove that $\barγ_p(G)$ is NP-hard to compute, determine graphs in which every vertex is a PDS, and compare $\barγ_p(G)$ to similar parameters. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Comments: 13 pages, 6 figures

Well-posedness of a class of hyperbolic partial differential equations on the semi-axis

Authors: Birgit Jacob, Sven-Ake Wegner

Abstract: In this article we study a class of hyperbolic partial differential equations of order one on the semi-axis. The so-called port-Hamiltonian systems cover for instance the wave equation and the transport equation, but also networks of the aforementioned equations fit into this framework. Our main results firstly characterize the boundary conditions which turn the corresponding linear operator into… ▽ More In this article we study a class of hyperbolic partial differential equations of order one on the semi-axis. The so-called port-Hamiltonian systems cover for instance the wave equation and the transport equation, but also networks of the aforementioned equations fit into this framework. Our main results firstly characterize the boundary conditions which turn the corresponding linear operator into the generator of a strongly continuous semigroup. Secondly, we equip the equation with inputs (control) and outputs (observation) at the boundary and prove that this leads to a well-posed boundary control system. We illustrate our results via an example of coupled transport equations on a network, that allows to model transport from and to infinity. Moreover, we study a vibrating string of infinite length with one endpoint. Here, we show that our results allow to treat cases where the physical constants of the string tend to zero at infinity. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Comments: 26 pages

MSC Class: 93D15 (Primary); 47D06 (Secondary)

Journal ref: Journal of Evolution Equations (2019) 19, no. 4, 1111-1147

On exact controllability of infinite-dimensional linear port-Hamiltonian systems

Authors: Birgit Jacob, Julia T. Kaiser

Abstract: Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain with full boundary control and without internal dam** are studied. This class of systems includes models of beams and waves as well as the transport equation and networks of nonhomogeneous transmission lines. The main result shows that well-posed port-Hamiltonian systems, with state space… ▽ More Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain with full boundary control and without internal dam** are studied. This class of systems includes models of beams and waves as well as the transport equation and networks of nonhomogeneous transmission lines. The main result shows that well-posed port-Hamiltonian systems, with state space $L^2((0,1);\mathbb C^n)$ and input space $\mathbb C^n$, are exactly controllable. △ Less

Submitted 15 May, 2019; v1 submitted 9 March, 2019; originally announced March 2019.

MSC Class: 93C20; 93B05; 35L40; 93B52

Journal ref: IEEE Control Systems Letters 2019

Lingvo: a Modular and Scalable Framework for Sequence-to-Sequence Modeling

Authors: Jonathan Shen, Patrick Nguyen, Yonghui Wu, Zhifeng Chen, Mia X. Chen, Ye Jia, Anjuli Kannan, Tara Sainath, Yuan Cao, Chung-Cheng Chiu, Yanzhang He, Jan Chorowski, Smit Hinsu, Stella Laurenzo, James Qin, Orhan Firat, Wolfgang Macherey, Suyog Gupta, Ankur Bapna, Shuyuan Zhang, Ruoming Pang, Ron J. Weiss, Rohit Prabhavalkar, Qiao Liang, Benoit Jacob , et al. (66 additional authors not shown)

Abstract: Lingvo is a Tensorflow framework offering a complete solution for collaborative deep learning research, with a particular focus towards sequence-to-sequence models. Lingvo models are composed of modular building blocks that are flexible and easily extensible, and experiment configurations are centralized and highly customizable. Distributed training and quantized inference are supported directly w… ▽ More Lingvo is a Tensorflow framework offering a complete solution for collaborative deep learning research, with a particular focus towards sequence-to-sequence models. Lingvo models are composed of modular building blocks that are flexible and easily extensible, and experiment configurations are centralized and highly customizable. Distributed training and quantized inference are supported directly within the framework, and it contains existing implementations of a large number of utilities, helper functions, and the newest research ideas. Lingvo has been used in collaboration by dozens of researchers in more than 20 papers over the last two years. This document outlines the underlying design of Lingvo and serves as an introduction to the various pieces of the framework, while also offering examples of advanced features that showcase the capabilities of the framework. △ Less

Submitted 21 February, 2019; originally announced February 2019.

Well-posedness of infinite-dimensional non-autonomous passive boundary control systems

Authors: Birgit Jacob, Hafida Laasri

Abstract: We study a class of non-autonomous boundary control and observation linear systems that are governed by non-autonomous multiplicative perturbations. This class is motivated by different fundamental partial differential equations, such as controlled wave equations and Timoshenko beams. Our main results give sufficient condition for well-posedness, existence and uniqueness of classical and mild solu… ▽ More We study a class of non-autonomous boundary control and observation linear systems that are governed by non-autonomous multiplicative perturbations. This class is motivated by different fundamental partial differential equations, such as controlled wave equations and Timoshenko beams. Our main results give sufficient condition for well-posedness, existence and uniqueness of classical and mild solutions. △ Less

Submitted 31 January, 2019; originally announced January 2019.

Integral input-to-state stability of unbounded bilinear control systems

Authors: René Hosfeld, Birgit Jacob, Felix Schwenninger

Abstract: We study input-to-state stability of bilinear control systems with possibly unbounded control operators. Natural sufficient conditions for integral input-to-state stability are given. The obtained results are applied to a bilinearly controlled Fokker-Planck equation. We study input-to-state stability of bilinear control systems with possibly unbounded control operators. Natural sufficient conditions for integral input-to-state stability are given. The obtained results are applied to a bilinearly controlled Fokker-Planck equation. △ Less

Submitted 7 April, 2021; v1 submitted 20 November, 2018; originally announced November 2018.

Comments: 17 pages, the manuscript has been thoroughly revised and streamlined. Furthermore, the main result could be significantly improved

Journal ref: Math. Control Signals Syst. (2022)

Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference

Authors: Benoit Jacob, Skirmantas Kligys, Bo Chen, Menglong Zhu, Matthew Tang, Andrew Howard, Hartwig Adam, Dmitry Kalenichenko

Abstract: The rising popularity of intelligent mobile devices and the daunting computational cost of deep learning-based models call for efficient and accurate on-device inference schemes. We propose a quantization scheme that allows inference to be carried out using integer-only arithmetic, which can be implemented more efficiently than floating point inference on commonly available integer-only hardware.… ▽ More The rising popularity of intelligent mobile devices and the daunting computational cost of deep learning-based models call for efficient and accurate on-device inference schemes. We propose a quantization scheme that allows inference to be carried out using integer-only arithmetic, which can be implemented more efficiently than floating point inference on commonly available integer-only hardware. We also co-design a training procedure to preserve end-to-end model accuracy post quantization. As a result, the proposed quantization scheme improves the tradeoff between accuracy and on-device latency. The improvements are significant even on MobileNets, a model family known for run-time efficiency, and are demonstrated in ImageNet classification and COCO detection on popular CPUs. △ Less

Submitted 15 December, 2017; originally announced December 2017.

Comments: 14 pages, 12 figures

Zero Dynamics for Port-Hamiltonian Systems

Authors: Birgit Jacob, Kirsten A. Morris, Hans Zwart

Abstract: The zero dynamics of infinite-dimensional systems can be difficult to characterize. The zero dynamics of boundary control systems are particularly problematic. In this paper the zero dynamics of port-Hamiltonian systems are studied. A complete characterization of the zero dynamics for a port-Hamiltonian systems with invertible feedthrough as another port-Hamiltonian system on the same state space… ▽ More The zero dynamics of infinite-dimensional systems can be difficult to characterize. The zero dynamics of boundary control systems are particularly problematic. In this paper the zero dynamics of port-Hamiltonian systems are studied. A complete characterization of the zero dynamics for a port-Hamiltonian systems with invertible feedthrough as another port-Hamiltonian system on the same state space is given. It is shown that the zero dynamics for any port-Hamiltonian system with commensurate wave speeds are well-defined, and are also a port-Hamiltonian system. Examples include wave equations with uniform wave speed on a network. A constructive procedure for calculation of the zero dynamics, that can be used for very large system order, is provided. △ Less

Submitted 19 November, 2017; originally announced November 2017.

Comments: 17 pages

A Review on Realization Theory for Infinite-Dimensional Systems

Authors: Birgit Jacob, Hans Zwart

Abstract: We give an introduction to the realisation theory for infinite-dimensional systems. That is, we show that for any function $G$, analytic and bounded in the right half of the complex plane, there exists operators $A,B,C$ such that $G(s_1)-G(s_2) = (s_2-s_1) C(s_1 I-A)^{-1}(s_2 I-A)^{-1}B$. Here $A$ is the infinitesimal generator of a strongly continuous semigroup on a Hilbert space, and $B$ and… ▽ More We give an introduction to the realisation theory for infinite-dimensional systems. That is, we show that for any function $G$, analytic and bounded in the right half of the complex plane, there exists operators $A,B,C$ such that $G(s_1)-G(s_2) = (s_2-s_1) C(s_1 I-A)^{-1}(s_2 I-A)^{-1}B$. Here $A$ is the infinitesimal generator of a strongly continuous semigroup on a Hilbert space, and $B$ and $C$ are admissible input and output operators, respectively. Our results summarise and clarify the results as found in the literature, starting more than 40 years ago. △ Less

Submitted 20 November, 2017; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: 15 pages

MSC Class: 93A05; 93B15

On continuity of solutions for parabolic control systems and input-to-state stability

Authors: Birgit Jacob, Felix Schwenninger, Hans Zwart

Abstract: We study minimal conditions under which mild solutions of linear evolutionary control systems are continuous for arbitrary bounded input functions. This question naturally appears when working with boundary controlled, linear partial differential equations. Here, we focus on parabolic equations which allow for operator-theoretic methods such as the holomorphic functional calculus. Moreover, we inv… ▽ More We study minimal conditions under which mild solutions of linear evolutionary control systems are continuous for arbitrary bounded input functions. This question naturally appears when working with boundary controlled, linear partial differential equations. Here, we focus on parabolic equations which allow for operator-theoretic methods such as the holomorphic functional calculus. Moreover, we investigate stronger conditions than continuity leading to input-to-state stability with respect to Orlicz spaces. This also implies that the notions of input-to-state stability and integral-input-to-state stability coincide if additionally the uncontrolled equation is dissipative and the input space is finite-dimensional. △ Less

Submitted 20 November, 2018; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: 19 pages, final version of preprint, Prop. 6 and Thm 7 have been generalised to arbitrary Banach spaces, the assumption of boundedness of the semigroup in Thm 10 could be dropped

MSC Class: 47D06; 93C20; 93D20; 35K90