Related papers: The Range of a Steiner Operation

We establish the following results on higher order $\mathcal{S}^p$-differentiability, $1<p<\infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert…

We use model-theoretic tools originating from stability theory to derive a result we call the Finitary Substitute Lemma, which intuitively says the following. Suppose we work in a stable graph class C, and using a first-order formula {\phi}…

Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerned with finding an isomorphism between a planning instance…

The fixed-point spectrum of a locally compact second countable group G on lp is defined to be the set of real numbers p such that every action by affine isometries of G on lp admits a fixed-point. We show that this set is either empty, or…

Stanley's theory of $(P,\omega)$-partitions is a standard tool in combinatorics. It can be extended to allow for the presence of a restriction, that is a given maximal value for partitions at each vertex of the poset, as was shown by Assaf…

A (control) network over a finite ring is proposed. Using semi-tensor product (STP) of matrices, a set of algebraic equations are provided to verify whether a finite set with two binary operators is a ring. It is then shown that the…

Let $n\geq 1$, and let $\Omega\subset \mathbb{R}^n$ be an open and connected set with finite Lebesgue measure. Among functions of bounded variation in $\Omega$ we introduce the class of \emph{minimally singular} functions. Inspired by the…

We present a set of integer programs (IPs) for the Steiner tree problem with the property that the best solution obtained by solving all, provides an optimal Steiner tree. Each IP is polynomial in the size of the underlying graph and our…

Qualitative and quantitative aspects for variational inequalities governed by strongly pseudomonotone operators on Hilbert space are investigated in this paper. First, we establish a global error bound for the solution set of the given…

We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…

For a continuous map $f$ on a compact metric space we study the geometry and entropy of the generalized rotation set $\R(\Phi)$. Here $\Phi=(\phi_1,...,\phi_m)$ is a $m$-dimensional continuous potential and $\R(\Phi)$ is the set of all…

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in…

A reduction $\varphi$ of an ordered group $(G,P)$ to another ordered group is an order homomorphism which maps each interval $[1,p]$ bijectively onto $[1, \varphi(p)]$. We show that if $(G,P)$ is weakly quasi-lattice ordered and reduces to…

A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$…

We prove explicit linear stable ranges for the $\mathsf{FI}$-modules $\mathrm{Hom}(\pi_p \mathrm{Conf} M, \mathbb Z)$ and $\mathrm{Ext}(\pi_p \mathrm{Conf} M, \mathbb Z)$ with $\mathrm{Conf} M$ being the configuration co$\mathsf{FI}$-space…

Covering ill-posed problems with compact and non-compact operators regarding the degree of ill-posedness is a never ending story written by many authors in the inverse problems literature. This paper tries to add a new narrative and some…

The construction of stable, conservative, and accurate volume dissipation is extended to discretizations that possess a generalized summation-by-parts (SBP) property within a tensor-product framework. The dissipation operators can be…

This paper deals with the exponential stability of a drilling pipe controlled by a PI controller. The model used leads to a coupled ODE / PDE and is consequently of infinite dimension. Using recent advances in time-delay systems, we derive…

PI controllers are the most widespread type of controllers and there is an intuitive understanding that if their gains are sufficiently small and of the correct sign, then they always work. In this paper we try to give some rigorous backing…

Necessary and sufficient conditions are presented for a measure to be the spectral measure of a finite range perturbation of a Jacobi or CMV operator from a finite gap isospectral torus. The special case of eventually periodic operators…