Related papers: Geometric complexity theory and matrix powering
The realization space of geometric constraint systems is given by the vanishing locus of polynomials corresponding to natural geometric constraints. Such geometric constraint systems arise in many real-world scenarios such as structural…
This thesis proposes a combinatorial generalization of a nilpotent operator on a vector space. The resulting object is highly natural, with basic connections to a variety of fields in pure mathematics, engineering, and the sciences. For the…
According to the pioneering work of Nielsen and collaborators, the length of the minimal geodesic in a geometric realization of a suitable operator space provides a measure of the quantum complexity of an operation. Compared with the…
Exhibiting a deep connection between purely geometric problems and real algebra, the complexity class $\exists \mathbb{R}$ plays a crucial role in the study of geometric problems. Sometimes $\exists \mathbb{R}$ is referred to as the 'real…
We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in…
In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec…
We use algebraic geometry to study matrix rigidity, and more generally, the complexity of computing a matrix-vector product, continuing a study initiated by Kumar, et. al. We (i) exhibit many non-obvious equations testing for (border)…
We present a gravitational theory that interpolates between JT gravity, and a gravity theory with a fixed boundary Hamiltonian. For this, we consider a matrix integral with the insertion of a Gaussian with variance $\sigma^2$, centered…
We present a geometric scalar theory of gravity. Our proposal will be described using the "background field method" introduced by Gupta, Feynman and others as a field theory formulation of general relativity. We analyze previous criticisms…
Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued…
We prove the bivariate Cayley-Hamilton theorem, a powerful generalization of the classical Cayley-Hamilton theorem. The bivariate Cayley-Hamilton theorem has three direct corollaries that are usually proved independently: The classical…
When three-dimensional bodies contain thin features, non-trivial topology, or scan-derived surfaces, volumetric meshing can become the dominant bottleneck in simulation workflows. We replace this step with a learned geometric…
An important conjecture within the AdS/CFT correspondence relates holographic spacetime to the quantum computational complexity of the dual quantum field theory. However, the quantitative understanding of this relation is still an open…
We identify a fundamental obstruction to any theory of the beginning of the universe, formulated as a semiclassical path integral. Hartle and Hawking's no boundary proposal and Vilenkin's tunneling proposal are examples of such theories.…
A fundamental problem in computational algebraic geometry is the computation of the resultant. A central question is when and how to compute it as the determinant of a matrix. whose elements are the coefficients of the input polynomials…
The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…
The possible role of gravity in a noncommutative geometry is investigated. Due to the Moyal *-product of fields in noncommutative geometry, it is necessary to complexify the metric tensor of gravity. We first consider the possibility of a…
Generalized complex geometry, as developed by Hitchin, contains complex and symplectic geometry as its extremal special cases. In this thesis, we explore novel phenomena exhibited by this geometry, such as the natural action of a B-field.…
Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into the Hilbert space $\ell^2$. Such maps are a…
We prove a compactness theorem for holomorphic curves in 4-dimensional symplectizations that have embedded projections to the underlying 3-manifold. It strengthens the cylindrical case of the SFT compactness theorem by using intersection…