Related papers: Second order arithmetic means in operator ideals
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
We introduce mixed Segre numbers of ideals which generalize the notion of mixed multiplicities of ideals of finite colength and show how many results on mixed multiplicities can be extended to results on mixed Segre numbers. In particular,…
Two-stage superposition choice procedures, which sequentially apply two choice procedures so that the result of the first choice procedure is the input for the second choice procedure, are studied. We define which of them satisfy given…
We consider optimization problems with a disjunctive structure of the constraints. Prominent examples of such problems are mathematical programs with equilibrium constraints or vanishing constraints. Based on the concepts of directional…
In this paper we introduce a very general setting dealing with the superposition of operators of any positive order and provide a systematic study of them. We also provide examples and counterexamples, as well as characterizing properties…
In this article, we study the vanishing order of solutions to second order elliptic equations with singular lower order terms in the plane. In particular, we derive lower bounds for solutions on arbitrarily small balls in terms of the…
For any semiring, the concept of k-congruences is introduced, criteria for k-congruences are established, it is proved that there is an inclusion-preserving bijection between k-congruences and k-ideals, and an equivalent condition for the…
We show that the apolar ideal to the determinant of a generic symmetric matrix is generated in degree two, and the apolar ideal to the permanent of a generic symmetric matrix is generated in degrees two and three. In each case we specify…
The consideration of nonstandard models of the real numbers and the definition of a qualitative ordering on those models provides a generalization of the principle of maximization of expected utility. It enables the decider to assign…
It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian categories collapses a cartesian category into a preorder. An…
This paper provides a general mathematical optimization based framework to incorporate fairness measures from the facilities' perspective to Discrete and Continuous Maximal Covering Location Problems. The main ingredients to construct a…
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…
There are two basic ways of weakening the definition of the well-known metric regularity property by fixing one of the points involved in the definition. The first resulting property is called metric subregularity and has attracted a lot of…
Operator-type estimates of homogenization are obtained for elliptic operators of arbitrary even order equal or greater than two. Operators under consideration are non-selfadjoint with lower-order terms.
Two types of explanations have been receiving increased attention in the literature when analyzing the decisions made by classifiers. The first type explains why a decision was made and is known as a sufficient reason for the decision, also…
We present an illative system I_s of classical higher-order logic with subtyping and basic inductive types. The system I_s allows for direct definitions of partial and general recursive functions, and provides means for handling functions…
In this paper we use some results related to regularity, Betti numbers and reduction of generic initial ideals, showing their stability in passing from an ideal to its initial ideal if the last has some simple properties.
In this paper, we present a new method to derive formulas for the generating functions of interval orders, counted with respect to their size, magnitude, and number of minimal and maximal elements. Our method allows us not only to…
The limiting absorption principle in two-dimensional space is justified for a second-order elliptic operators. Necessary and sufficient conditions for the right-hand side are given for this principle to be valid.
We prove when a Banach ideal of linear operators defined, or characterized, by the transformation of vector-valued sequences is maximal. Known results are recovered as particular cases and new information is obtained. To accomplish this…