Related papers: The Boolean SATisfiability Problem and the orthogo…
We prove an equivariant implicit function theorem for variational problems that are invariant under a varying symmetry group (corresponding to a bundle of Lie groups). Motivated by applications to families of geometric variational problems…
A computational problem exhibits a "gap property" when there is no tractable boundary between two disjoint sets of instances. We establish a Gap Trichotomy Theorem for a family of constraint problem variants, completely classifying the…
If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes…
The 4-dimensional effective theory arising from an induced gravity action for a co-dimension greater than one brane consists of multiple galileon fields pi^I, I=1...N, invariant under separate Galilean transformations for each scalar, and…
Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier…
This is the latest in a series of articles aimed at exploring the relationship between the complexity classes of P and NP. In the previous papers, we have proved that the sat CNF problem is polynomially reduced to the problem of finding a…
Boolean satisfiability ({\SAT}) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical problem of checking boolean satisfiability, the…
A variant of Li-Tam theory, which associates to each end of a complete Riemannian manifold a positive solution of a given Schr\"odinger equation on the manifold, is developed. It is demonstrated that such positive solutions must be of…
Two different constructions of an invariant of an odd dimensional hyperbolic manifold in the K-group $K_{2n-1}(\bar \Bbb Q)\otimes \Bbb Q$ are given. The volume of the manifold is equal to the value of the Borel regulator on that element.…
It is shown that a smooth n dimensional manifold with a boundary in R^n admits a Boolean representation in terms of closed half spaces defined by the tangent hyperplanes at the points on its boundary. A similar result is established for…
We propose an approach for decomposing Boolean satisfiability problems while extending recent results of \cite{sul2} on solving Boolean systems of equations. Developments in \cite{sul2} were aimed at the expansion of functions $f$ in…
We address two fundamental and well-known problems of Gromov and Lyndon: \demo{Problem A} (Gromov, see [5]). Consider a category $M_n$ of closed manifolds of dimension $n$ with nonzero-degree ways as morphisms. Study a partial order $M \ge…
We prove that the pseudoisotopy stable range for manifolds of dimension 2n can be no better than (2n-2). In order to do so, we define new characteristic classes for block bundles, extending our earlier work with Ebert, and prove their…
Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \colon \Omega \to P$ such that $\Omega \subseteq P$ and $c(B) \subseteq B$ for all menus $B \in \Omega$. A choice is total if…
Mermin and Peres showed that there are boolean constraint systems (BCSs) which are not satisfiable, but which are satisfiable with quantum observables. This has led to a burgeoning theory of quantum satisfiability for constraint systems,…
Classes of coordinate-invariant omnibus goodness-of-fit tests on compact Riemannian manifolds are proposed. The tests are based on Gin\'{e}'s Sobolev tests of uniformity. A condition for consistency is given. The tests are illustrated by an…
We propose a new encoding of the first-order connection method as a Boolean satisfiability problem. The encoding eschews tree-like presentations of the connection method in favour of matrices, as we show that tree-like calculi have a number…
We study quantitative stability results for different classes of Sobolev inequalities on general compact Riemannian manifolds. We prove that, up to constants depending on the manifold, a function that nearly saturates a critical Sobolev…
In this paper we show that for a connected compact Lie group to be acceptable it is necessary and sufficient that its derived subgroup is isomorphic to a direct product of the groups $\SU(n)$, $\Sp(n)$, $\SO(2n+1)$, $\G_2$, $\SO(4)$. We…
Let C_n(M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H_i(C_n(M); Q) are representation stable in the sense of [Church-Farb].…