Related papers: On geometric complexity theory: Multiplicity obstr…

This article describes a formal strategy of geometric complexity theory (GCT) to resolve the {\em self referential paradox} in the $P$ vs. $NP$ and related problems. The strategy, called the {\em flip}, is to go for {\em explicit proofs} of…

Goerss--Hopkins obstruction theory is a powerful tool for constructing structured ring spectra from purely algebraic data. Using the formalism of model $\infty$-categories, we provide a generalization that applies in an arbitrary…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…

Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large…

Recently, the covariant formulation of the geometric bifurcation theory, developed in a previous paper, has been applied to two elementary problems: the study of limit cycles of dynamical systems and the second part of Hilbert's sixteenth…

The class in the Brauer group of a quaternion algebra over a field is 2-torsion. We study the following question: Which 2-torsion elements of the Brauer group of a complex function field are representable by quaternion algebras? Using…

We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…

We study the problem of conjunctive query evaluation relative to a class of queries; this problem is formulated here as the relational homomorphism problem relative to a class of structures A, wherein each instance must be a pair of…

Let $F$ be a $p$-adic field. Let $\mathcal{R}$ be the Grothendieck ring of complex smooth finite-length representations of the groups $\{GL_n(F)\}_{n=0}^\infty$ taken together, with multiplication defined in the sense of parabolic…

Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse…

Treating a conjecture, P^#P != NP, on the separation of complexity classes as an axiom, an implication is found in three manifold topology with little obvious connection to complexity theory. This is reminiscent of Harvey Friedman's work on…

We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic…

Let ${\mathcal H}_{q}(d)$ be the Iwahori-Hecke algebra for the symmetric group, where $q$ is a primitive $l$th root of unity. In this paper we develop a theory of support varieties which detects natural homological properties such as the…

In this paper we suggest that, under suitable conditions, supervised learning can provide the basis to formulate at the microscopic level quantitative questions on the phenotype structure of multicellular organisms. The problem of…

Let $A$ be a regular ring over a field $k$, with $1/2\in k$ and dimension $d$. We discuss the Homotopy Conjecture of Madhav V. Nori, in the complete intersection case (meaning when the projective module in question if free, of rank at least…

The Massively Parallel Computation (MPC) model serves as a common abstraction of many modern large-scale data processing frameworks, and has been receiving increasingly more attention over the past few years, especially in the context of…

Relying upon the division-algebra classification of Clifford algebras and spinors, a classification of generalized supersymmetries (or, with a slight abuse of language,"generalized supertranslations") is provided. In each given space-time…

These are notes for a short course and some talks gave at Departament of Mathematics and at Departament of Physics of Federal University of Minas Gerais, based on the author's paper arXiv:1808.09249. Some new information and results are…

This paper studies the form and complexity of inference in graphical models using the abstraction offered by algebraic structures. In particular, we broadly formalize inference problems in graphical models by viewing them as a sequence of…