Related papers: Geometric Complexity Theory II: Towards explicit o…
The problem of interpreting a set of ${\cal W}$-algebra constraints constructed in terms of an arbitrarily twisted scalar field as the recursion relations of a topological theory is addressed. In this picture, the conventional models of…
The work is devoted to the variety of $2$-dimensional algebras over an algebraically closed field. Firstly, we classify such algebras modulo isomorphism. Then we describe the degenerations and the closures of principal algebra series in the…
Let $\mathbb{F}_q$ be the finite field with $q = p^f$ elements. We study the restriction of two classes of mod $p$ representations of $G_q = \text{GL}_2({\mathbb{F}_q})$ to $G_p = \text{GL}_2(\mathbb{F}_p)$. We first study the restrictions…
In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems (nowadays usually called Boolean constraint satisfaction problems) and…
We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi-algebraic proof systems, the classical constructions of…
This note gives a uniform, self-contained, and fairly direct approach to a variety of obstruction-theoretic problems on 8-manifolds. We give necessary and sufficient cohomological critera for the existence of almost complex and almost…
We compute a primary cohomological obstruction to the existence of an equipartition for j mass distributions in R^d by two hyperplanes in the case 2d-3j = 1. The central new result is that such an equipartition always exists if d=6 2^k +2…
Two well studied invariants of a complex projective variety are the unit Euclidean distance degree and the generic Euclidean distance degree. These numbers give a measure of the algebraic complexity for "nearest" point problems of the…
We introduce a new family of invariants of real algebraic sets defined in terms of the topology of their complexifications and compute some of these invariants for spheres. This allows us to completely classify topological isomorphism…
In the representation theory of reductive $p$-adic groups $G$, the issue of reducibility of induced representations is an issue of great intricacy. It is our contention, expressed as a conjecture in [3], that there exists a simple geometric…
Many NP-hard graph problems become easy for some classes of graphs. For example, coloring is easy for bipartite graphs, but NP-hard in general. So we can ask question like when does a hard problem become easy? What is the minimum…
We survey the recent results and current issues on the topological rigidity problem for closed aspherical manifolds, i.e., connected closed manifolds whose universal coverings are contractible. A number of open problems and conjectures are…
Theoretical complexity is a vital subfield of computer science that enables us to mathematically investigate computation and answer many interesting queries about the nature of computational problems. It provides theoretical tools to assess…
In this thesis we deal with two different classes of variational problems: 1) the problem of closed curves with prescribed curvature, or $H$-loop problem; 2) the study of the nodal solutions of the fractional Brezis-Nirenberg problem. In…
Proving that there are problems in $\mathsf{P}^\mathsf{NP}$ that require boolean circuits of super-linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only…
This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition…
Using constructions of Voisin, we exhibit a smooth projective variety defined over a number field k and two complex embeddings of k, such that the two complex manifolds induced by these embeddings have non isomorphic cohomology algebras…
For non-abelian simple objects in a unitary modular category, the density of their braid group representations, the #P-hard evaluation of their associated link invariants, and the BQP-completeness of their anyonic quantum computing models…
We define an invariant for the existence of r pointwise linearly independent sections in the tangent bundle of a closed manifold. For low values of r, explicit computations of the homotopy groups of certain Thom spectra combined with…
A deep conjecture on torsion anomalous varieties states that if $V$ is a weak-transverse variety in an abelian variety, then the complement $V^{ta}$ of all $V$-torsion anomalous varieties is open and dense in $V$. We prove some cases of…