Related papers: A remark on finite type conditions
For the existence of strong duality in convex optimization regularity conditions play an indisputable role. We mainly deal in this paper with regularity conditions formulated by means of different generalizations of the notion of interior…
In this paper, we study the symmetric rank of products of linear forms and an irreducible quadratic form. The main result presents a new, non-trivial lower bound for the rank, and the arguments rely on the apolarity lemma. In the special…
We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong…
We give a complete classification of all nonuniform congruences on orthogonal rook monoids and symplectic rook monoids. We find that there are four kinds of nonuniform congruences on the orthogonal rook monoids ${OR}_n$ for even $n\ne 4$,…
In this paper we present four necessary and sufficient conditions for a natural number to be prime.
We consider linear recurrences with polynomial coefficients of Poincar\'e type and with a unique simple dominant eigenvalue. We give an algorithm that proves or disproves positivity of solutions provided the initial conditions satisfy a…
Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.
Recently the author used certain quaternion orders to demonstrate the universality of some quaternary quadratic forms. Here a further study is done on one of these orders analogous to Hurwitz's proof of the formula for the number of…
When we investigate a type system, it is helpful if we can establish the well-foundedness of types or terms with respect to a certain hierarchy, and the Extended Calculus of Constructions (called $ECC$, defined and studied comprehensively…
We prove that if a contact 3-manifold admits an open book decomposition of genus 0, a certain intersection pattern cannot appear in the homology of any of its minimal symplectic fillings, and moreover, fillings cannot contain symplectic…
A long standing conjecture in Hamiltonian Dynamics states that every contact form on the standard contact sphere $S^{2n+1}$ has at least $n+1$ simple periodic Reeb orbits. In this work, we consider a refinement of this problem when the…
Motivated by set estimation problems, we consider three closely related shape conditions for compact sets: positive reach, r-convexity and rolling condition. First, the relations between these shape conditions are analyzed. Second, we…
Actual individual preferences are neither complete (=total) nor antisymmetric in general, so that at least every quasi-order must be an admissible input to a satisfactory choice rule. It is argued that the traditional notion of…
Motivated by quantum thermodynamics we first investigate the notion of strict positivity, that is, linear maps which map positive definite states to something positive definite again. We show that strict positivity is decided by the action…
The condition number of a differentiable convex function, namely the ratio of its smoothness to strong convexity constants, is closely tied to fundamental properties of the function. In particular, the condition number of a quadratic convex…
We present some necessary and/or sufficient conditions for the positivity problem of three-term recurrence sequences. As applications we show the positivity of diagonal Taylor coefficients of some rational functions in a unified approach.…
In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be…
We prove that the generalized symplectic capacities recognize objects in symplectic categories whose objects are of the form $(M, \omega)$, such that $M$ is a compact and 1-connected manifold, $\omega$ is an exact symplectic form on $M$,…
We prove compactness of solutions to some fourth order equations with exponential nonlinearities on four manifolds. The proof is based on a refined bubbling analysis, for which the main estimates are given in integral form. Our result is…
We provide a sufficient geometric condition for $\mathbb{R}^n$ to be countably $(\mu,m)$ rectifiable of class $\mathscr{C}^{1,\alpha}$ (using the terminology of Federer), where $\mu$ is a Radon measure having positive lower density and…