Related papers: Mitschke's Theorem is sharp

We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that…

Let $M^n(n\geq3)$ be an $n$-dimensional compact Riemannian manifold with harmonic curvature and positive scalar curvature. Assume that $M^n$ satisfies some integral pinching conditions. We give some rigidity theorems on compact manifolds…

We generalise Uspensky's theorem characterising eventual exact (e.e.) covers of the positive integers by homogeneous Beatty sequences, to e.e. m-covers, for any m \in \N, by homogeneous sequences with irrational moduli. We also consider…

This is the first of three papers motivated by the author's desire to understand and explain "algebraically" one aspect of Dmitriy Zhuk's proof of the CSP Dichotomy Theorem. In this paper we study abelian congruences in varieties having a…

Let $V$ be a symmetric convex body in $\R^m$. We prove sharp Bernstein-type inequalities for entire functions of exponential type with the spectrum in $V$ and discuss certain properties of the extremal functions. Markov-type inequalities…

We give an example of a finitely based locally finite variety which has uncountably many term clones. (Such varieties were known before.)

We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional…

We investigate several questions related to the notion of recognizable morphism. The main result is a new proof of Moss\'e's theorem and actually of a generalization to non primitive morphisms due to Berth\'e et al. We actually prove the…

We use discrete Morse theory to give a new proof of the Degree Theorem in Auter space A_n. There is a filtration of A_n into subspaces A_{n,k} using the degree of a graph, and the Degree Theorem says that each A_{n,k} is (k-1)-connected.…

We prove a conjecture of Courcelle, which states that a graph property is definable in MSO with modular counting predicates on graphs of constant treewidth if, and only if it is recognizable in the following sense: constant-width tree…

We prove that every $n$-letter word over $k$-letter alphabet contains some word as a subsequence in at least $k^{n/4k(1+o(1))}$ many ways, and that this is sharp as $k\to\infty$. For fixed $k$, we show that the analogous number deviates…

This is a mathematical commentary on Teichm{\"u}ller's paper ``Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Fl{\"a}chen'' (Determination of extremal quasiconformal maps of closed oriented…

We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that…

We make two contributions to the study of theory combination in satisfiability modulo theories. The first is a table of examples for the combinations of the most common model-theoretic properties in theory combination, namely stable…

The study of extensions realizing affine datum is specialized to central extensions in varieties with a difference term which leads to generalizations of several classical theorems on central extensions from group theory. We establish a…

For a given cluster-tilted algebra $A$ of tame type, it is proved that different indecomposable $\tau$-rigid $A$-modules have different dimension vectors. This is motivated by Fomin-Zelevinsky's denominator conjecture for cluster algebras.…

Odifreddi asked whether every non-irreducible many-one degree must contain an infinite antichain of one-one degrees. Positive answers are known for computably enumerable many-one degrees (Degtev) and, more recently, for many-one degrees…

In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras.…

In a recent article we introduced and studied conical energies. We used them to prove three results: a characterization of rectifiable measures, a characterization of sets with big pieces of Lipschitz graphs, and a sufficient condition for…

We prove that every smooth CR manifold $M\subset\subset \C^n$, of hypersurface type, has a complex strip-manifold extension in $\C^n$. If $M$ is, in addition, pseudoconvex-oriented, it is the "exterior" boundary of the strip. In turn, the…