Related papers: The maximal linear extension theorem in second ord…

An ideal I in a polynomial ring S has linear powers if all the powers I^k of I have a linear free resolution. We show that the ideal of maximal minors of a sufficiently general matrix with linear entries has linear powers. The required…

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…

Based on ideas of L. Al\'ias, D. Impera and M. Rigoli developed in "Hypersurfaces of constant higher order mean curvature in warped products", we develope a fairly general weak/Omori-Yau maximum principle for trace operators. We apply this…

In this note, we revisit the algorithm of Har-Peled et. al. [HRZ07] for computing a linear maximum margin classifier. Our presentation is self contained, and the algorithm itself is slightly simpler than the original algorithm. The…

Let $A$ be an amenable separable \CA and $B$ be a non-unital but $\sigma$-unital simple \CA with continuous scale. We show that two essential extensions $\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately unitarily equivalent if and only…

We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…

We present two algorithms for computing what we call the absolute factorization of a difference operator. We also give an algorithm to solve third order difference equations in terms of second order equations, together with applications to…

A seminal result of Kamp is that over the reals Linear Temporal Logic (LTL) has the same expressive power as first-order logic with binary order relation < and monadic predicates. A key question is whether there exists an analogue of Kamp's…

We extend the preorder on k-tuples of dominant weights of a simple complex Lie algebra g of classical type adding up to a fixed weight $\lambda$ defined by V. Chari, D. Sagaki and the author. We show that the induced extended partial order…

We prove several basic extension theorems for reductive group schemes. We also prove that each Lie algebra with a perfect Killing form over a commutative $\dbZ$-algebra, is the Lie algebra of an adjoint group scheme.

Certain constructs allowed in Mizar articles cannot be represented in first-order logic but can be represented in higher-order logic. We describe a way to obtain higher-order theorem proving problems from Mizar articles that make use of…

We investigate the relation between degree sequences of trees and the majorization order using the Muirhead theorem. In this way, we prove a theorem that provides a necessary and sufficient condition for delta sequences of trees to be…

In this work, firstly the maximal sectorial linear relations are described. Later on, the discreteness of the spectrum of the linear maximal sectorial operators and asymptotical behaviour of the eigenvalues of such operators in terms of the…

In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…

The multidimensional chain rule formula for analytic functions and its generalisation to higher derivatives perfectly work in the algebraic setting in characteristic zero. In positive characteristic one runs into problems due to…

We show that Brown's lemma is equivalent to Sigma02-induction over RCA0* and that the finite version of Brown's lemma is provable in RCA0 but not in RCA0*.

For a second order linear differential equation $f''+A(z)f'+B(z)f=0$, with $ A(z)$ and $B(z)$ being transcendental entire functions under some restriction, we have established that all non-trivial solutions are of infinite order. In…

We prove that every finite distributive lattice $D$ can be represented as the congruence lattice of a rectangular lattice $K$ in which all congruences are principal. We verify this result in a stronger form as an extension theorem.

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…

Some nonlinear extensions of the vector maximality statement established by Goepfert, Tammer and Zalinescu [Nonl. Anal., 39 (2000), 909-922] are given. Basic instruments for these are the Brezis-Browder ordering principle [Advances Math.,…