Related papers: Second order arithmetic means in operator ideals
The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences x and y that converge to 0, there exists a compact operator A with eigenvalue list y and diagonal…
In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notion of evaluation. We investigate properties of such…
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
Let $B \subseteq A$ be an inclusion of C$^*$-algebras. We study the relationship between the regular ideals of $B$ and regular ideals of $A$. We show that if $B \subseteq A$ is a regular C$^*$-inclusion and there is a faithful invariant…
We show that the regularity of monomial ideals whose associated prime ideals are totally ordered by inclusion is linearly bounded.
We show that given a nonvanishing particular solution of the equation (divpgrad+q)u=0 (1) the corresponding differential operator can be factorized into a product of two first order operators. The factorization allows us to reduce the…
Motivated by previous work leveraging factorizations of second- and fourth-order differential operators, a general integral inequality involving higher order derivatives is proven by elementary means. It is then shown how this framework…
For a large class of integral operators or second order differential operators, their isospectral (or cospectral) operators are constructed explicitly in terms of $h$-transform (duality). This provides us a simple way to extend the known…
We estimate the number of principal ideals $ I $ of norm $ \mathrm{N}(I) \leq x $ in the family of the simplest cubic fields. The advantage of our result is that it provides the correct order of magnitude for arbitrary $ x \geq 1 $, even…
We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements about identities of morphisms in preadditive semicategories…
We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This…
The classical rearrangement inequality provides bounds for the sum of products of two sequences under permutations of terms and show that similarly ordered sequences provide the largest value whereas opposite ordered sequences provide the…
The powerful concept of an operator ideal on the class of all Banach spaces makes sense in the real and in the complex case. In both settings we may, for example, consider compact, nuclear, or $2$--summing operators, where the definitions…
In this work we present necessary cancellation conditions for the continuity of linear operators in $h^p(\mathbb{R}^n)$, $0<p\leq 1$, that map atoms into pseudo-molecules. Our necessary condition, expressed in terms of the $T^{\ast}$…
We consider a combinatorial property isolated in the field of ideal convergence, a P-property for two ideals on natural numbers. We show that among selected ideals induced by disjoint families, not all pairs satisfy P-property for two…
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…
In Boij-Soderberg theory, it is known that for any degree sequence $\mathbf{d}$, there exists a finitely generated module that has a pure resolution of type $\mathbf{d}$. On the other hand, in the case of ideal, there are two necessary…
We give new equivalent characterizations for ideals of Borel type. Also, we prove that the regularity of a product of ideals of Borel type is bounded by the sum of the regularities of those ideals.
We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obtained from specializing the hierarchical superposition…