Related papers: Uninorms via two comparable closure operators on b…
We study the problem of enumerating Tarski fixed points on finite lattices. We derive query complexity lower bounds for finding three or more Tarski fixed points of isotone maps and the subclasses of increasing and decreasing isotone maps.…
We introduce and analyze a model for self-reconfigurable robots made up of unit-cube modules. Compared to past models, our model aims to newly capture two important practical aspects of real-world robots. First, modules often do not occupy…
Making use of the method of subordination chains, we obtain some sufficient conditions for the univalence of an integral operator. In particular, as special cases, our results imply certain known univalence criteria. A refinement to a…
Inverse methods of statistical mechanics have facilitated the discovery of pair potentials that stabilize a wide variety of targeted lattices at zero temperature. However, such methods are complicated by the need to compare, within the…
Building on techniques used in the case of the disc, we use a variety of methods to develop formulae for the adjoints of composition operators on Hardy spaces of the upper half-plane. In doing so, we prove a slight extension of a known…
In this paper we provide an axiomatic characterization of the idempotent discrete uninorms by means of three conditions only: conservativeness, symmetry, and nondecreasing monotonicity. We also provide an alternative characterization…
We consider the question of, given operators $A$, $Z$ and a sequence of invertible operators $U_n\to Z$, whether the sequence $U_nAU_n^{-1}$ is bounded in norm, as well as generalizations of this where $U_nAU_n^{-1}$ is modified by some…
We prove two results concerning an Ulam-type stability problem for homomorphisms between lattices. One of them involves estimates by quite general error functions; the other deals with approximate (join) homomorphisms in terms of certain…
This article establishes a bilinear embedding for second-order divergence-form operators with complex coefficients, characterized by the simultaneous presence of first-order terms and negative potentials. This work provides a further…
We construct embeddings of boundary algebras B into ZF algebras A. Since it is known that these algebras are the relevant ones for the study of quantum integrable systems (with boundaries for B and without for A), this connection allows to…
This paper is concerned with linear parameter-dependent systems and considers the notion uniform ensemble reachability. The focus of this work is on constructive methods to compute suitable parameter-independent open-loop inputs for such…
A linear operator $T$ between two lattice-normed spaces is said to be $p$-compact if, for any $p$-bounded net $x_\alpha$, the net $Tx_\alpha$ has a $p$-convergent subnet. $p$-Compact operators generalize several known classes of operators…
In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed…
We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open…
Finding the Lie-algebraic closure of a handful of matrices has important applications in quantum computing and quantum control. For most realistic cases, the closure cannot be determined analytically, necessitating an explicit numerical…
Suppose $X$ is a locally solid vector lattice. It is known that there are several non-equivalent spaces of bounded operators on $X$. In this paper, we consider some situations under which these classes of bounded operators form locally…
The ordinal sum construction provides a very effective way to generate a new triangular norm on the real unit interval from existing ones. One of the most prominent theorems concerning the ordinal sum of triangular norms on the real unit…
We introduce a structured approach to the construction of linear BGK-type collision operators ensuring that the resulting Lattice-Boltzmann methods are stable with respect to a weighted $L^2$-norm. The results hold for particular boundary…
The one matrix model is known to reproduce in the continuum limit the (2,2p+1) minimal Liouville gravity. Recently, two of the authors have shown how to construct arbitrary critical boundary conditions within this matrix model. So far,…
We obtain a complete characterization of the norm attainment set of a bounded linear functional on a normed space, in terms of a semi-inner-product defined on the space. Motivated by this result, we further apply the concept of…