Related papers: Derived system and dual sequence of a barypolygona…
We present a theorem about irreducibility of a polynomial that is the resultant of two others polynomials. The proof of this fact is based on the field theory. We also consider the converse theorem and some examples.
We obtain sufficient conditions ensuring the topological equivalence of two perturbed difference linear systems whose linear part has a property of generalized exponential dichotomy. When the exponential dichotomy is verified, we obtain a…
We prove that the play and the stop operator possess Newton and Bouligand derivatives, and exhibit formulas for those derivatives. The remainder estimate is given in a strenghtened form, and a corresponding chain rule is developed. The…
We formulate conditions on a set of log-concave sequences, under which any linear combination of those sequences is log-concave, and further, of conditions under which linear combinations of log-concave sequences that have been transformed…
The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and…
This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…
We present a new analysis of the stability of the first and second barycentric formulae for interpolation at the Chebyshev points of the second kind. Our theory shows that the second formula is more stable than previously thought and our…
The aim of this article is to show that systems of linear partial differential equations on filtered manifolds, which are of weighted finite type, can be canonically rewritten as first order systems of a certain type. This leads immediately…
The classical 1991 result by Brightwell and Winkler states that the number of linear extensions of a poset is #P-complete. We extend this result to posets with certain restrictions. First, we prove that the number of linear extension for…
For earlier considered our sequence A166944 in [4] we prove three statements of its connection with twin primes. We also give a sufficient condition for the infinity of twin primes and pose several new conjectures; among them we propose a…
We find a two-parameter family of ordinary differential systems in dimension five with the affine Weyl group symmetry of type $D_3^{(2)}$. We show its symmetry and holomorphy conditions. This is the second example which gave higher order…
A bilateralist take on proof-theoretic semantics can be understood as demanding of a proof system to display not only rules giving the connectives' provability conditions but also their refutability conditions. On such a view, then, a…
Let A be a finite set of integers. For a polynomial f(x_1,...,x_n) with integer coefficients, let f(A) = {f(a_1,...,a_n) : a_1,...,a_n \in A}. In this paper it is proved that for every pair of normalized binary linear forms f(x,y)=u_1x+v_1y…
In this paper, we investigate a system composed of two degenerate wave equations which are connected at one point. By introducing some inequalities on the weighted spaces and employing the frequency domain method, we prove that the system…
We classify those rational maps $f: \mathbb{P}^1 \to \mathbb{P}^1$ for which there exists a contravariant tensor $q$ which is parallel, i.e. such that $f^*q // q$, by proving that such maps preserve a parabolic orbifold.
I review the proposal of Berenstein-Douglas for a completely general definition of Seiberg duality. To give evidence for their conjecture I present the first example of a physical dual pair and explicitly check that it satisfies the…
We describe Gauss-type maps as geometric realizations of certain codes in the monoid of nonnegative matrices in the extended modular group. Each such code, together with an appropriate choice of unimodular intervals in P^1R, determines a…
Let $S$ be a sequence of points in ${\mathbb{D}}^{n}.$ Suppose that $S$ is $H^{p}$ interpolating. Then we prove that the sequence $S$ is Carleson, provided that $p>2.$ We also give a sufficient condition, in terms of dual boundedness and…
In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…
We show that on a generic curve, a bundle obtained by successive extensions is stable. We compute the dimension of the set of such extensions. We use degeneration methods specializing the curve to a chain of elliptic components