Related papers: On the existence of a strong minimal pair

Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure…

We call an $\alpha \in \mathbb{R}$ regainingly approximable if there exists a computable nondecreasing sequence $(a_n)_n$ of rational numbers converging to $\alpha$ with $\alpha - a_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$. We…

We prove the two theorems of the title, settling two long standing questions in the local theory of singular minimal hypersurfaces. The sharpness of either result is with respect to its hypothesis on the size of the allowable singular sets.…

A graph is path-pairable if for any pairing of its vertices there exist edge-disjoint paths joining the vertices in each pair. We investigate the behaviour of the maximum degree in path-pairable planar graphs. We show that any $n$-vertex…

We describe the Turing Machine, list some of its many influences on the theory of computation and complexity of computations, and illustrate its importance.

We investigate properties of group gradings on matrix rings $M_n(R)$, where $R$ is an associative unital ring and $n$ is a positive integer. More precisely, we introduce very good gradings and show that any very good grading on $M_n(R)$ is…

We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove…

C. Thomassen in \cite{[11]} suggested (see also \cite{[2]}, J. C.Bermond, C. Thomassen, Cycles in Digraphs - A survey, J. Graph Theory 5 (1981) 1-43, Conjectures 1.6.7 and 1.6.8) the following conjectures : 1. Every 3-strongly connected…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension 0.

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.

We prove that for any toric ideal of a graph the degree of any element of Graver basis is bounded above by an exponential function of the maximal degree of a circuit.

In this paper we investigate complex uniruled varieties $X$ whose rational curves of minimal degree satisfy a special property. Namely, we assume that the tangent directions to such curves at a general point $x\in X$ form a linear subspace…

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

We give a counterexample to Theorem 9 in [T.K. Subrahmonian Moothathu, Syndetically proximal pairs, J. Math. Anal. Appl. 379 (2011) 656--663]. We also provide sufficient conditions for the conclusion of Theorem 9 to hold.

We give a proof of the Howe duality conjecture for the (almost) equal rank dual pairs in full generality. For arbitrary dual pairs, we prove the irreducibility of the (small) theta lifts for all tempered representations. Our proof works for…

In a previous paper, the author proved the existence of extremal function for the Moser-Trudinger inequality on a compact manifold. In the this paper, we will give a new proof of one of the key proposition.

We introduce the notion of strong test module and show that a large number of such modules appear in the tight closure theory of complete domains: the test ideal (this has already been known), the parameter test module, and the module of…

In this article, we prove a strong relative Novikov conjecture for any pair of groups that are coarsely embeddable into Hilbert space.