Related papers: The Complexity of the Core Model

There are three main components to this article: (i) A formula for the eta invariant of the signature complex for any finite subgroup of ${\rm{SO}}(4)$ acting freely on $S^3$ is given. An application of this is a non-existence result for…

We introduce a method of rigorous analysis of the location and type of complex singularities for nonlinear higher order PDEs as a function of the initial data. The method is applied to determine rigorously the asymptotic structure of…

Let \Omega be a set of unsatisfiable clauses, an implicit resolution refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the statement "\beta describes a correct tree-like resolution refutation of \Omega". We show…

We consider a normal complete rational variety with a torus action of complexity one. In the main results, we determine the roots of the automorphism group and give an explicit description of the root system of its semisimple part. The…

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce…

We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…

This paper investigates the effective categoricity of ultrahomogeneous structures. It is shown that any computable ultrahomogeneous structure is $\Delta^0_2$ categorical. A structure A is said to be weakly ultrahomogeneous if there is a…

We extend rotation theory of circle maps to tiling spaces. Specifically, we consider a 1-dimensional tiling space $\Omega$ with finite local complexity and study self-maps $F$ that are homotopic to the identity and whose displacements are…

We study the isometry groups of compact spherical orientable $3$-orbifolds $S^3/G$, where $G$ is a finite subgroup of $\mathrm{SO}(4)$, by determining their isomorphism type. Moreover, we prove that the inclusion of $\mbox{Isom}(S^3/G)$…

Here we consider the set $\Sigma_S$ of roots of power series whose coefficients lie in a given set $S$ and how such sets of roots vary as the set $S$ varies. We give an estimate of the depth that complex roots can reach into the disc, offer…

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

In this paper we take the first step toward a classification of the approximation complexity of the six-vertex model, an object of extensive research in statistical physics. Our complexity results conform to the phase transition phenomenon…

We put into a general setting a technique of Rene' David (see "A Very Absolute Pi^1_2 Singleton, Annals of Pure and Applied Logic, 1982) to show that for S a Sigma^1_1 statement quantifying over subclasses of V of a special form, there is a…

We apply the results of singularity analysis to the isotropic cosmological models in general relativity and string theory with a variety of matter terms. For some of these models the standard Painlev\'{e} test is sufficient to demonstrate…

Let $X$ be a finite, 2-dimensional cell complex. The curvature invariants $\rho_\pm(X)$ and $\sigma_\pm(X)$ were defined in [13], and a programme of conjectures was outlined. Here, we prove the foundational result that the quantities…

Constraint Satisfaction Problems (CSPs, for short) make up a class of problems with applications in many areas of computer science. The first classification of these problems was given by Schaeffer who showed that every CSP over the domain…

We improve and generalize in several accounts the recent rigorous proof of convergence of delta expansion - order dependent mappings (variational perturbation expansion) for the energy eigenvalues of anharmonic oscillator. For the…

Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to…

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…