Related papers: On two conjectures regarding generalized sequence …
In this paper we establish effective lower bounds on the degrees of the Debarre and Kobayashi conjectures. Then we study a more general conjecture proposed by Diverio-Trapani on the ampleness of jet bundles of general complete intersections…
We describe a very general abstract form of sieve based on a large sieve inequality which generalizes both the classical sieve inequality of Montgomery (and its higher-dimensional variants), and our recent sieve for Frobenius over function…
In this survey we summarize properties of pseudorandomness and non-randomness of some number-theoretic sequences and present results on their behaviour under the following measures of pseudorandomness: balance, linear complexity,…
A derangement is a permutation with no fixed point, and a nonderangement is a permutation with at least one fixed point. There is a one-term recurrence for the number of derangements of $n$ elements, and we describe a bijective proof of…
A behavior of one class of mappings with finite distortion at a neighborhood of the origin is investigated. There is proved a lower estimate of distortion of a distance under mappings mentioned above.
In our previous work, we introduced the Generalised Nonvanishing Conjecture, which generalises several central conjectures in algebraic geometry. In this paper, we derive some surprising nonvanishing results for pluricanonical bundles which…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
Considering the sets of subsums of series (or achievement sets) we show that for conditionally convergent series the multidimensional case is much more complicated than that of the real line. Although we are far from the full topological…
In this work we deal with dicritical divisors, curvettes and polynomials. These objects have been one of the main research interests of S.S. Abhyankar during his last years. In this work we provide some elementary proofs of some S.S.…
We develop techniques to deal with monotonicity of sequences z_{n+1}/z_n and \sqrt[n]{z_n}. A series of conjectures of Zhi-Wei Sun and of Amdeberhan et al. are verified in certain unified approaches.
In this paper we formulate two generalizations of Agoh's conjecture. We also formulate conjectures involving congruence modulo primes about hyperbolic secant, hyperbolic tangent, N\"orlund numbers, as well as about coefficients of…
Seymour's distance two conjecture states that in any digraph there exists a vertex (a "Seymour vertex") that has at least as many neighbors at distance two as it does at distance one. We explore the validity of probabilistic statements…
In this work we prove the undecidability (and $\Sigma^0_1$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic methods, namely the technique of effective…
We introduce decomposition complexes of posets, which generalize order complexes. The main advantage of our construction is that decomposition complexes are closed under taking products. Other special instances of this theory include nested…
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…
In this paper we prove Conjecture \ref{conj1} for a set of representations of the group $GL_n({\bf A})$. This Conjecture is stated in complete generality as Conjecture 1 in \cite{G2}, and here we prove it for various cases. See Conjecture…
A widely believed conjecture predicts that curves of bounded geometric genus lying on a variety of general type form a bounded family. One may even ask whether the canonical degree of a curve $C$ in a variety of general type is bounded from…
It is proved that the Continuum Hypothesis implies that any sequence of rapid P-points of length $<{\mathfrak c}^{+}$ which is increasing with respect to the Rudin-Keisler ordering is bounded above by a rapid P-point. This is an improvement…
In this note, we present two new identities for derangements. As a corollary, we have a combinatorial proof of the irreducibility of the standard representation of symmetric groups.
The first author introduced a sequence of polynomials (\cite{8}, sequence A174531) defined recursively. One of the main results of this study is proof of the integrality of its coefficients.