Related papers: Hyperpfaffians and Geometric Complexity Theory
We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates…
The concept of the quantum Pfaffian is rigorously examined and refurbished using the new method of quantum exterior algebras. We derive a complete family of Pl\"ucker relations for the quantum linear transformations, and then use them to…
We provide a short proof of the theorem that every real multivariate polynomial has a symmetric determinantal representation, which was first proved in J. W. Helton, S. A. McCullough, and V. Vinnikov, Noncommutative convexity arises from…
Penrose's two-spinor notation for $4$-dimensional Lorentzian manifolds can be extended to two-component notation for quaternionic manifolds, which is a very useful tool for calculation. We construct a family of quaternionic complexes over…
Khovanov homology is a topological knot invariant that categorifies the Jones polynomial, recognizes the unknot, and is conjectured to appear as an observable in $4D$ supersymmetric Yang--Mills theory. Despite its rich mathematical and…
We introduce the concept of morphism of pseudogroups generalizing the \'etal\'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem…
This paper reinterprets the symmetries of equivariant Khovanov homology, discovered by Khovanov and Sano, within the Batalin-Vilkovisky (BV) formalism. We identify the Shumakovitch operator $\hat{\nu}$ as a BV Laplacian whose nilpotency, a…
The problem of computing the integral cohomology ring of the symmetric square of a topological space has been of interest since the 1930s, but limited progress has been made on the general case until recently. In this work we offer a…
The existence of string functions, which are not polynomial time computable, but whose graph is checkable in polynomial time, is a basic assumption in cryptography. We prove that in the framework of algebraic complexity, there are no such…
We construct a natural conformally invariant one-form of weight $-2k$ on any $2k$-dimensional pseudo-Riemannian manifold which is closely related to the Pfaffian of the Weyl tensor. On oriented manifolds, we also construct natural…
We introduce the notion of "hypergeometric" polynomials with respect to Newtonian bases. These polynomials are eigenfunctions ($L P_n(x) = \lambda_n P_n(x)$) of some abstract operator $L$ which is 2-diagonal in the Newtonian basis…
We investigate the computational complexity of tensor rank, a concept that plays fundamental role in different topics of modern applied mathematics. For tensors over any integral domain, we prove that the rank problem is polynomial time…
Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the…
Recently it was shown that the (Ooguri-Vafa) generating function of HOMFLY polynomials is the Hurwitz partition function, i.e. that the dependence of the HOMFLY polynomials on representation R is naturally captured by symmetric group…
Let H be any reductive p-adic group. We introduce a notion of cuspidality for enhanced Langlands parameters for H, which conjecturally puts supercuspidal H-representations in bijection with such L-parameters. We also define a cuspidal…
We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup…
Motivated by problems in algebraic complexity theory (e.g., matrix multiplication) and extremal combinatorics (e.g., the cap set problem and the sunflower problem), we introduce the geometric rank as a new tool in the study of tensors and…
We rederive in a simplified version the Lehmann-Sommers eigenvalue distribution for the Gaussian ensemble of asymmetric real matrices, invariant under real orthogonal transformations, as a basis for a detailed derivation of a Pfaffian…
We present a unified ring theoretic approach, based on properties of the Casimir element of a symmetric algebra, to a variety of known divisibility results for the degrees of irreducible representations of semisimple Hopf algebras in…
A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras,…