On Degenerate Doubly Nonnegative Projection Problems

The doubly nonnegative (DNN) cone, being the set of all positive semidefinite matrices whose elements are nonnegative, is a popular approximation of the computationally intractable completely positive cone. The major difficulty for implementing a Newton-type method to compute the projection of a given large-scale matrix onto the DNN cone lies in the possible failure of the constraint nondegeneracy, a generalization of the linear independence constraint qualification for nonlinear programming. Such a failure results in the singularity of the Jacobian of the nonsmooth equation representing the Karush–Kuhn–Tucker optimality condition that prevents the semismooth Newton–conjugate gradient method from solving it with a desirable convergence rate. In this paper, we overcome the aforementioned difficulty by solving a sequence of better conditioned nonsmooth equations generated by the augmented Lagrangian method (ALM) instead of solving one aforementioned singular equation. By leveraging the metric subregularity of the normal cone associated with the positive semidefinite cone, we derive sufficient conditions to ensure the dual quadratic growth condition of the underlying problem, which further leads to the asymptotically superlinear convergence of the proposed ALM. Numerical results on difficult randomly generated instances and from the semidefinite programming library are presented to demonstrate the efficiency of the algorithm for computing the DNN projection to a very high accuracy.

Effect of density dependence on coinfection dynamics: part 2

In this paper we continue the stability analysis of the model for coinfection with density dependent susceptible population introduced in Andersson et al. (Effect of density dependence on coinfection dynamics. arXiv:2008.09987, 2020). We consider the remaining parameter values left out from Andersson et al. (Effect of density dependence on coinfection dynamics. arXiv:2008.09987, 2020). We look for coexistence equilibrium points, their stability and dependence on the carrying capacity K. Two sets of parameter value are determined, each giving rise to different scenarios for the equilibrium branch parametrized by K. In both scenarios the branch includes coexistence points implying that both coinfection and single infection of both diseases can exist together in a stable state. There are no simple explicit expression for these equilibrium points and we will require a more delicate analysis of these points with a new bifurcation technique adapted to such epidemic related problems. The first scenario is described by the branch of stable equilibrium points which includes a continuum of coexistence points starting at a bifurcation equilibrium point with zero single infection strain #1 and finishing at another bifurcation point with zero single infection strain #2. In the second scenario the branch also includes a section of coexistence equilibrium points with the same type of starting point but the branch stays inside the positive cone after this. The coexistence equilibrium points are stable at the start of the section. It stays stable as long as the product of K and the rate $${\bar{\gamma }}$$ γ ¯ of coinfection resulting from two single infections is small but, after this it can reach a Hopf bifurcation and periodic orbits will appear.

Stability criteria for positive linear discrete-time systems

We prove new characterisations of exponential stability for positive linear discrete-time systems in ordered Banach spaces, in terms of small-gain conditions. Such conditions have played an important role in the finite-dimensional systems theory, but are relatively unexplored in the infinite-dimensional setting, yet. Our results are applicable to discrete-time systems in ordered Banach spaces that have a normal and generating positive cone. Moreover, we show that our stability criteria can be considerably simplified if the cone has non-empty interior or if the operator under consideration is quasi-compact. To place our results into context we include an overview of known stability criteria for linear (and not necessarily positive) operators and provide full proofs for several folklore characterizations from this domain.

On Markov Moment Problem and Related Results

We prove new results and complete our recently published theorems on the vector-valued Markov moment problem, by means of polynomial approximation on unbounded subsets, also applying an extension of the positive linear operators’ result. The domain is the Banach lattice of continuous real-valued functions on a compact subset or an space, where is a positive moment determinate measure on a closed unbounded set. The existence and uniqueness of the operator solution are proved. Our solutions satisfy the interpolation moment conditions and are between two given linear operators on the positive cone of the domain space. The norm controlling of the solution is emphasized. The most part of the results are stated and proved in terms of quadratic forms. This type of result represents the first aim of the paper. Secondly, we construct a polynomial solution for a truncated multidimensional moment problem.

Non-Free Surgical Margins After LLETZ-LEEP

Large Loop Excision of the Transformation Zone (LLETZ) is thought to be the treatment of choice for the high-grade precancerous lesions. The cone is also the “gold standard” specimen for the diagnosis of the underlying cervical disease once it includes the entire area of carcinogenesis for the squamous epithelium (transformation zone). In most research studies, therapeutic success after conization is a term generally assigned for disease clearance, that is, absence of residual high grade/CIN2+ histology by the end of a reasonable follow-up period, aiming at risk reduction for future recurrence and development of invasion. Conversely, positive cone margins as a reflection of an incomplete excision may, to some extent, represent a negative prognostic factor. Therefore, margin status may also be regarded as an indicator for the quality of a clinical service. The chapter summarizes all current evidence regarding optimal treatment of positive margins after LEEP.

Congruences on bicyclic extensions of a linearly ordered group

In the paper we study inverse semigroups B(G), B^+(G), \overline{B}(G) and \overline{B}^+(G) which are generated by partial monotone injective translations of a positive cone of a linearly ordered group G. We describe Green’s relations on the semigroups B(G), B^+(G), \overline{B}(G) and \overline{B}^+(G), their bands and show that they are simple, and moreover, the semigroups B(G) and B^+(G) are bisimple. We show that for a commutative linearly ordered group G all non-trivial congruences on the semigroup B(G) (and B^+(G)) are group congruences if and only if the group G is archimedean. Also we describe the structure of group congruences on the semigroups B(G), B^+(G), \overline{B}(G) and \overline{B}^+(G).

Formal language convexity in left-orderable groups

We propose a criterion for preserving the regularity of a formal language representation when passing from groups to subgroups. We use this criterion to show that the regularity of a positive cone language in a left-orderable group passes to its finite index subgroups, and to show that there exists no left order on a finitely generated acylindrically hyperbolic group such that the corresponding positive cone is represented by a quasi-geodesic regular language. We also answer one of Navas’ questions by giving an example of an infinite family of groups which admit a positive cone that is generated by exactly [Formula: see text] generators, for every [Formula: see text]. As a special case of our construction, we obtain a finitely generated positive cone for [Formula: see text].

From Hahn–Banach Type Theorems to the Markov Moment Problem, Sandwich Theorems and Further Applications

The aim of this review paper is to recall known solutions for two Markov moment problems, which can be formulated as Hahn–Banach extension theorems, in order to emphasize their relationship with the following problems: (1) pointing out a previously published sandwich theorem of the type f ≤ h ≤ g, where f, −g are convex functionals and h is an affine functional, over a finite-simplicial set X, and proving a topological version for this result; (2) characterizing isotonicity of convex operators over arbitrary convex cones; giving a sharp direct proof for one of the generalizations of Hahn–Banach theorem applied to the isotonicity; (3) extending inequalities assumed to be valid on a small subset, to the entire positive cone of the domain space, via Krein–Milman or Carathéodory’s theorem. Thus, we point out some earlier, as well as new applications of the Hahn–Banach type theorems, emphasizing the topological versions of these applications.

Positive coincidence points for a class of nonlinear operators and their applications to matrix equations

Consider an ordered Banach space and f,g two self-operators defined on the interior of its positive cone. In this article, we prove that the equation f(X)=g(X) has a positive solution, whenever f is strictly \alpha -concave g-monotone or strictly (-\alpha ) -convex g-antitone with g super-homogeneous and surjective. As applications, we show the existence of positive definite solutions to new classes of nonlinear matrix equations.

Estimation of Factors that Affect the Metrological Characteristics of Target Flow Meters

The article is devoted to the effective system crea­tion for recording liquids and gases flows. There is extremely relevant for creating metering units of fuel and energy resources. The aim of the work is to determine the influence of the flowed body geometric configuration of the sensitive element and its orientation relative to the direction of the flow on the hydrodynamic flow meter metrological characteristics, as well as determining the instruments’ rational location in the technological line Based on the example of the hydrodynamic class measuring transducers factors that have a significant impact on their metrological characteristics are determined, the degree of the transducers sensitivity to the measured medium flows asymmetry is revealed. The flows asymmetry is simulated by hydraulic resistan­ces of different spatial configurations (spatial elbow, elbow, double elbow, contraction, abrupt contraction). Simulation modeling of the operation of such devices is performed. Sensitive elements of different Gaussian curvatures such as zero (cylinder), positive (cone) and negative (hollow hemisphere) were studied. The value of the registration result uncertainty depends on the flow asymmetry and the instrument spatial orientation relative to the vertical axis in the technological network. The obtained results make it possible to clearly determine the instrument installation place in the technological network under conditions of maximum accuracy and minimal impact on the measured medium. This allows effectively using transducers in places of the technological network, taking into account the specific conditions for the metering units creation. There is no ne­cessary to make straight pipeline sections before and after the instruments. The researches results show that measuring instruments with flow bodies in the shape of a cone oriented the apex toward the flow are the best.